LZ今天纠结一道抽象代数题， 我先把题目翻译过来： G是有限阿贝尔群，H是G的任意子群，则存在G的某个子群同构与商群G/H .
我的想法是用有限生成阿贝尔群里的基本定理，把G表示有限多个循环群. 再由Lagrange定理 [G/H]||G| 将商群也进行同构分解，但接下来证明就不清楚该怎样...
大家能给个证明吗？ 谢谢！