エミー・ネーター
Kronecker's proof was generalized to "finitely generated" abelian groups by Emmy Noether in .