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

Suppose a no trivial totally ordered group .This group has maximum element?

A totally ordered group is a totally ordered structure (G,∘,≤) such that (G,∘) is a group.I couldnt find a more exact definition

share|cite|improve this question
thanks for any help !! – art Mar 22 '13 at 14:47
Does $(\mathbb Z,{+},{\le})$ satisfy your assumption? That certainly doesn't have a maximal element. (But it looks strange that your assumption doesn't relate the order to the group operation at all). – Henning Makholm Mar 22 '13 at 14:51
up vote 1 down vote accepted

I assume you want the ordering to be compatible with the group operation, such that if $a \geq b$ and $c\geq d$ then $ac\geq bd$.

In this case, the group cannot have a maximal element, which we can see as follows: Assume $g$ is such a maximal element and let $h\in G$ with $h\geq 1$.

Now we have that $g\geq g$ and $h\geq 1$ so $gh\geq g$ which by maximality would mean $gh = g$ so $h = 1$.

But if $G$ is not trivial, it has an element $h$ with $h\geq 1$ and $h\neq 1$, which gives us our contradiction.

share|cite|improve this answer
Yes Tobias Kildetoft i agree with your observation . Thanks again to all the help! :) – art Mar 22 '13 at 15:16
@art: If you found Tobias’s answer useful, you should accept it; for information on why and how to accept answers, see this. – Brian M. Scott Mar 22 '13 at 17:35

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.