# Finding the order of the automorphism group of the abelian group of order 8.

So I am given an abelian group of order $8$ such that for all non-identity elements $x^2 = e$ (all elements have order two). So I know the answer is gonna be $168$, but I gotta prove this.

So far I have that there are exactly $7$ subgroups of order $4$, and each one has $6$ automorphisms. That gives me a total of $42$ automorphisms. Now there must be a justification for multiplying this number by $4$ to get the $168$. But I can't seem to find a justification for this.

-
Note that since all elements have order $2$, the group is a vector space over the field with $2$ elements, so the automorphism group consists of invertible linear transformations, ie, invertible matrices over the field with $2$ elements. – Tobias Kildetoft Mar 13 '13 at 1:20
Dear Geano: Welcome! Thank you for posting a good question: one which you clearly specify, and in which you address what you've figured out so far, where you're stuck, etc. For any post, that's refreshing for us to see. And for being your first post here, that is really nice to see. +1 – amWhy Mar 13 '13 at 1:37
Yeah! Hope you stay @Geono. – Alexander Gruber Mar 13 '13 at 1:46
i just discovered this web page, and i am definitely staying:) – Geano Mar 13 '13 at 1:56

If you are familiar with finite fields, it's easiest to see this by viewing $G=\mathbb{Z}_2\times \mathbb{Z}_2 \times \mathbb{Z}_2$ as a vector space of dimension $3$ over $\mathbb{F}_2$. In this way, we see that the automorphism group of $G$ is $GL_3(\mathbb{F}_2)$, the group of $3 \times 3$ invertible matrices over $\mathbb{F}_2$. By counting the ways to make three linearly independent vectors, we see that $$|\operatorname{Aut}(G)|=(2^3-1)(2^3-2)(2^3-2^2)=168.$$ If you don't know what a finite field is, this isn't as easy. Finite fields are easy to understand if they have prime order, though - just add and multiply the numbers $0,\ldots, p-1$ modulo $p$. (As it turns out, finite fields always have prime power order, but things get more complicated when the power is greater than $1$.)
@Geano This really is the best way to understand it. The finite field $\mathbb{F}_2$ is really easy: it only has two elements, $0$ and $1$, with the operations $0+1=1$, $1+1=0$, $1\cdot 1=1$, $0\cdot 1 = 0$. – Alexander Gruber Mar 13 '13 at 1:29
@Geano The multiplication by $4$ comes exactly from the possibilities for the third column in the linear transformations. Perhaps you can think of the subgroups of order $4$ as permutable subspaces. – Alexander Gruber Mar 13 '13 at 1:32