23

Let $G=G_1 \times G_2 \times \cdots \times G_n$ where $G_i$ are abelian groups. Prove that Aut$G$ is isomorphic with the group of all invertible $n \times n$ matrices whose $(i,j)$ entries belong to Hom$(G_i,G_j)$, the usual matrix product being the group operation.

Given the structure of abelian groups, it can be supposed that every $G_i$ is cyclic, infinite or of prime power order. As $G_i$ and $G_j$ are cyclic, it is not hard to determine the homomorphism group between the two. But how to combine all the homomorphism groups together to get a matrix group? Moreover, let $\phi = (\phi_{ij})_{n \times n}$ be an automorphism of $G$, why is its inverse $\phi' = \phi^{-1}$ also of the form $(\phi'_{ij})_{n \times n}$. What's the relation between $\phi_{ij}$ and $\phi'_{ij}$?

I am trapped in this problem and I appreciate your help. Many thanks.

ShinyaSakai
  • 7,846
  • The question gives you a direct product decomposition; you aren't allowed to choose one, and in any case 2) you aren't given that the $G_i$ are finitely generated. 3) The magic word here is "biproduct," but I'm sure Arturo will give a thorough explanation on a more appropriate level.
  • – Qiaochu Yuan Aug 03 '11 at 05:33
  • @Qiaochu: Thank you very much for reminding me. I didn't see the essence of the problem and wrongly simplified it to the finitely generated case. – ShinyaSakai Aug 04 '11 at 03:44