El teorema fundamental de finitely generado abelian grupos (o tal vez sólo finito abelian grupos) es bien conocida y se puede encontrar en cualquier texto sobre la teoría de grupos o álgebra abstracta. Cualquier finitely generado grupo abelian $A$ tiene un principal de descomposición: $$A \simeq \mathbb{Z}^{n}\oplus\bigoplus_{k=1}^{m}\mathbb{Z}_{q_{k}} ,$$ en el que el $q_{k}$ son los principales poderes. También tiene un invariante factor de descomposición: $$A\simeq \mathbb{Z}^n\oplus\bigoplus_{k=1}^{s}\mathbb{Z}_{f_{k}},$$ en que $f_{1}\mid f_{2}\mid\cdots\mid f_{s}$.
Mi pregunta es: ¿Quién demostró por primera vez estos resultados?
Miré en varios textos estándar, y un montón de resultados en línea, pero sólo he encontrado un confuso indicación de que se estableció en estas. Tanto Robinson como Rotman indica que el principal de la descomposición se debe a Frobenius-Stickelberger, pero podría (en parte?) fecha de regreso a Gauss, mientras que algunas fuentes en línea (por ejemplo, MathWorld, suelen ser bastante fiables) llamar a un Kronecker de descomposición, lo que sugiere tal vez una historia diferente. No he visto ninguna indicación de que resultó el invariante factor de descomposición, o que (si no ha funcionado de forma simultánea) llegó primero.
