0
$\begingroup$

Does there exist a lattice-ordered, not totally ordered, group of rational rank $1$?

Rational rank 1 means isomorphic to a nonzero subgroup of $\mathbb{Q}$. There exist totally ordered groups of rational rank 1.

$\endgroup$
7
  • 2
    $\begingroup$ Totally ordered groups are in particular lattice-ordered ones. $\endgroup$
    – boumol
    Jan 11, 2013 at 2:24
  • $\begingroup$ @ Boumol, thanks. Sorry, I did not mention in question but I am looking lattice ordered but not the totally ordered. $\endgroup$
    – Rajnish
    Jan 11, 2013 at 2:47
  • 1
    $\begingroup$ Have you thought about considering the following? Take the group structure of your totally ordered group, and as lattice structure take some non total order (compatible with the group operation). This has to work. $\endgroup$
    – boumol
    Jan 11, 2013 at 3:13
  • 1
    $\begingroup$ By "rational rank 1", do you simply mean that the underlying group is isomorphic to $\mathbb{Q}$? $\endgroup$
    – Todd Trimble
    Jan 13, 2013 at 2:39
  • 1
    $\begingroup$ For abelian groups, I'd expect "rational rank 1" to mean that the group is isomorphic to a non-zero subgroup of $\mathbb Q$. For non-abelian groups, I won't make a guess. $\endgroup$ Jan 13, 2013 at 21:16

1 Answer 1

3
$\begingroup$

If "rational rank 1" simply means that the underlying group is isomorphic to $\mathbb{Q}$, then every such lattice-ordered group structure $(\mathbb{Q}, \preceq)$ is totally ordered, in fact isomorphic to $\mathbb{Q}$ with its usual order $\leq$.

By a classical result (see the first sentence here), any abelian lattice-ordered group ($l$-group) $G$ can be embedded (by an $l$-group homomorphism) into a direct product of totally ordered non-trivial abelian groups. By projecting to any one of the factors, there exists a totally ordered $l$-group $G'$ and a non-trivial $l$-group homomorphism $f: G \to G'$. By an epi-mono factorization, we may assume $f$ is surjective.

In the case $G = \mathbb{Q}$, any group quotient $G'$ is divisible, and it is well-known that an $l$-group $G'$ is torsionfree (see e.g. here, corollary 1.2.6 page 16). But divisible torsionfree abelian groups are rational vector spaces, so in this situation the quotient $G'$ is isomorphic to $\mathbb{Q}$ and $f: G \to G'$ is a group isomorphism. But $f$ is also a lattice homomorphism. Since bijective lattice homomorphisms are lattice isomorphisms, $f: G \to G'$ is a lattice isomorphism, and hence $G$ is totally ordered, as desired.

Finally, a totally ordered $l$-group structure $(\mathbb{Q}, \preceq)$ is given by two submonoids $P, N = -P$ whose intersection is $\{0\}$ and whose union is $\mathbb{Q}$. To show $(\mathbb{Q}, \preceq)$ is isomorphic to $(\mathbb{Q}, \leq)$, we need only show that $P$ contains every multiple $\frac{m}{n}p$ where $p \in P$ is any chosen non-zero element and $0 < m, n$. But clearly the submonoid generated by $\frac{m}{n}p$ contains $0 \neq mp \in P$. Thus $\frac{m}{n}p \in N$ is impossible. This completes the proof.

Edit: Following on Andreas's first interpretation of "rational rank 1" (subgroup $B \subseteq \mathbb{Q}$), the same results hold. For again, we have a surjective $l$-group homomorphism $f: B \to B'$ to a totally ordered $l$-group $B'$, where $B'$ is nontrivial and torsionfree. If $A = \ker(f)$, we have $\mathrm{rank}(B) = \mathrm{rank}(A) + \mathrm{rank}(B')$, where $\mathrm{rank}(B') = 1$ since $B'$ is torsionfree. Thus $\mathrm{rank}(A) = 0$, meaning $A$ is a torsion subgroup of a torsionfree group, meaning $A = 0$. Thus $f: B \to B'$ is a group isomorphism, and we deduce as before it is a lattice isomorphism, so $B$ is totally ordered. We deduce that $B$ is isomorphic to $B$ with its standard lattice structure, by essentially the same argument as in the last paragraph before this edit.

$\endgroup$
3
  • $\begingroup$ @Trimble, thank you for the nice idea. $\endgroup$
    – Rajnish
    Jan 13, 2013 at 23:04
  • $\begingroup$ Is there ordered structure on the group of rational numbers $\mathbb Q$ which is not totally ordered? If the answer is yes, is that torsion free or not? $\endgroup$
    – Rajnish
    Jan 14, 2013 at 2:30
  • 2
    $\begingroup$ Certainly there are many partial orders on $\mathbb{Q}$ compatible with the group structure; all you need is a submonoid $P \subseteq \mathbb{Q}$ with the property that $x \in P$ and $-x \in P$ implies $x = 0$. For example, $P = \mathbb{N}$ would work: define $x \leq y$ to mean there is a nonnegative integer $n$ such that $y = n + x$. "Torsion free" refers only to group structure, not order structure; $\mathbb{Q}$ is of course torsion free. $\endgroup$
    – Todd Trimble
    Jan 14, 2013 at 2:41

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.