Direct limit of an $\ell$-group - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T09:10:36Z http://mathoverflow.net/feeds/question/118941 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/118941/direct-limit-of-an-ell-group Direct limit of an $\ell$-group Rajnish 2013-01-15T03:58:49Z 2013-01-15T14:52:52Z <p>In general, any abelian group can be expressed as a direct limit of its f.g. subgroups? For the case of $\ell$-group is that true or not. As an abelian group we do not have problem but the question is with the ordered structure.</p> http://mathoverflow.net/questions/118941/direct-limit-of-an-ell-group/118973#118973 Answer by Andreas Blass for Direct limit of an $\ell$-group Andreas Blass 2013-01-15T13:59:56Z 2013-01-15T13:59:56Z <p>I assume "$\ell$-group" abbreviates "lattice-ordered group"; actually, all I need is that it means algebras in some variety. In any variety, every algebra is the direct limit of its finitely generated subalgebras.</p> http://mathoverflow.net/questions/118941/direct-limit-of-an-ell-group/118975#118975 Answer by Todd Trimble for Direct limit of an $\ell$-group Todd Trimble 2013-01-15T14:52:52Z 2013-01-15T14:52:52Z <p>Andreas is right that structures defined by finitary operations (such as here, where $l$-groups are defined by group operations and lattice operations $\wedge$, $\vee$) have this property: any structure is a directed colimit (in fact the union) of its finitely generated substructures. (Beware that "direct limit" just means "colimit"; "directed colimit" means a colimit of a functor $J \to C$ where $J$ is a directed poset.) </p> <p>Anticipating another question, this property holds even for partially ordered groups where the partial order is not a lattice. A catchphrase is that the category of partially ordered groups is <em>locally finitely presentable</em>. </p> <p>One difference between $l$-groups and partially ordered groups is that $l$-group homomorphisms that are bijections (at the underlying set level) are $l$-group isomorphisms. This is true for any variety (any class of structures defined by finitary operations). But for partially ordered groups, it need not be true that bijective homomorphisms are isomorphisms. </p>