Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is it possible to have a finitely generated lattice - ordered group has rational rank bigger than the number of generators of the group?

share|cite|improve this question
Is the group abelian? Otherwise I don´t know the definition of rational rank. – Giovanni De Gaetano Feb 7 '12 at 9:27

This answer suppose, given the tag, that we are dealing with an Abelian ordered group $G$. (Actually the fact that $G$ is ordered does not come into play once supposed the abelianity)

Then we can suppose, without loss of generality, $G$ to be torsion free. Indeed if $T(G)$ is the torsion group of $G$ then $r(G)=r(G/T(G))$. So we can suppose $G=G/T(G)$ which has equal rank and maybe a smaller set of generators.

But then $G$ is abelian, finitely generated and torsion free, so it is an abelian free group with $n$ generators and it has rank $n$.

In conclusion it is impossible to have such a group.

share|cite|improve this answer
Thank you Student 73. The group here is abelian group. Because of lattice -ordered group, the group is torsion free. I found the people using the statement as "finitely generated lattice-ordred abelian group of finite rational rank". This statement makes me curious is that, if the group is finitely generated why do we need to worry about finite rational rank, this is by defult should be finite rational rank but I could not convinced myself and I posted this question. In general the definition of rational rank is maximal number of rationally independent elements of the torsion free group G. – Rajesh Feb 7 '12 at 14:25
Ok! It´s nice to know for the next time, thank you! If you are satisfied with the answer can I ask you to accept it? And, by the way, welcome to Math.SE! – Giovanni De Gaetano Feb 7 '12 at 14:30

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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