4
$\begingroup$

This is problem of Rotman's Exercise 7.9(i).

If $G$ is finite abelian group with $|G| >2$, then $\operatorname{Aut}(G)$ has even order.

How can I approach to this problem? Could you suggest some hints?

$\endgroup$

1 Answer 1

7
$\begingroup$

Hint: By Lagrange's theorem, it suffices to find an element of $\operatorname{Aut}(G)$ with even order, or order $2$. Since $G$ is abelian, what do you know about inversion?

$\endgroup$
9
  • $\begingroup$ What you mean is that I should show that there is some element $k \in Aut(G)$ such that $|k|=2$. Yes, I know it by lagrange theorem. However, how can I show element of order 2 is? $\endgroup$
    – user124697
    Feb 24, 2014 at 4:22
  • $\begingroup$ Think about the inversion map $g \mapsto g^{-1}$. $\endgroup$
    – user61527
    Feb 24, 2014 at 4:23
  • 1
    $\begingroup$ Hmm but I think this map doesn't ensure existence of nonidentity automorphism which has order 2. $\endgroup$
    – user124697
    Feb 24, 2014 at 4:25
  • 1
    $\begingroup$ @user12469 Why not? There are three things to verify: It needs to be an automorphism (do you see why abelian is important here?), it needs to not be the identity (do you see why the group order not being $1$ or $2$ is important here?), and it needs to have order $2$. $\endgroup$
    – user61527
    Feb 24, 2014 at 4:27
  • 4
    $\begingroup$ In the extreme case that $G$ is an $\mathbb F_2$-vector-space, taking (additive) inverse is identity; in this case you need a special argument. $\endgroup$
    – Lubin
    Feb 24, 2014 at 4:28

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .