引理 3.2（临时概念）

临时概念 · 机器入库 · 未经人工审阅

由运行 e2e-v20-05--run 自动建立，尚未与书库的正式概念核对；页面内容全部来自机器入库的作者陈述。

原文用语：lemma 3.2

按作者与版本查阅

Nakahara · second-edition-local

• 回指：引理 3.2 断言，若适当选取生成元，则 $\ker f\cong k_1\mathbb{Z}\oplus \cdots \oplus k_p\mathbb{Z}$。

来源与记录

建立于 Nakahara · second-edition-local 的书内身份 c-5b443f225b71474fdf42。

永久标识：urn:uuid:95ebb456-47d2-4a59-9bfe-62680b9ea384；机器入库总览