MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

I have seen this question in I.N.Herstein, that if |G|>2 then G has a non-trivial automorphism.

The converse seems to be true. How to answer this question: That is G has a non-trivial automorphism, then prove that |G|>2.

share|cite|improve this question

closed as too localized by Anton Geraschenko Nov 4 '09 at 21:35

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

The contrapositive statement is "If |G| <= 2, then G has no automorphisms." From this perspective, it should be obvious. – David Speyer Nov 4 '09 at 20:37
This is elementary enough that I don't think there should be any more discussion about it than there already has been (the question has been completely answered in both directions), so I'm closing the question. – Anton Geraschenko Nov 4 '09 at 21:41
up vote 6 down vote accepted

Which direction are you asking for a proof for?

The converse is very easy, as one only has to show that Z/2 (the only group of order 2) has no non-trivial automorphisms. This is obvious.

It's not too hard to prove the other direction either, but I can't tell whether you're interested in that or not.

share|cite|improve this answer
To clarify, a quick sketch of the other direction: Non-abelian groups are easily seen to have to have a non-trivial inner automorphism; abelian groups have the automorphism which takes x to -x. The latter is trivial iff your group is a vector space over Z/2Z, in which case you have a bunch of other automorphisms if it has dimension > 1. – Harrison Brown Nov 4 '09 at 20:58

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