Si $G$ es un generado finitamente grupo abeliano, entonces $G \cong \mathbb{Z}^n\oplus\mathbb{Z}_{p_1^{n_1}}\oplus\dots\mathbb{Z}_{p_k^{n_k}}$ para algunos primos (no necesariamente distintos) $p_1, \dots, p_n$ y enteros no negativos $n, n_1, \dots, n_k$ . Si $G$ también es libre de torsión, entonces tenemos $G \cong \mathbb{Z}^n$ y por lo tanto $\operatorname{Aut}(G) \cong GL(n, \mathbb{Z})$ . Tenga en cuenta que $GL(1, \mathbb{Z}) = \{-1, 1\}$ que es finito, pero $GL(n, \mathbb{Z})$ es infinito para $n \geq 2$ . Por lo tanto, el único grupo abeliano finitamente generado y sin torsión con grupo de automorfismo finito es $\mathbb{Z}$ .
No estoy seguro sobre el caso de que no se genere infinitamente.
4 votos
Véase math.stackexchange.com/questions/1300715/ y en particular "J. T. Hallet y K. T. Hirsch. Grupos sin torsión con grupos de automorfismo finitos I y II "