有限生成 のバックアップ(No.1)


仮定

  • \( G \) は群

定義

\( G \)有限生成であるとは、ある部分集合 \( S \) があって、

\[ <S> = G \]

を満たすこと。

\( (G, \cdot) = (\mathbb{Z}, +) \) について、 \( S = \{1\} \) をとると \( <S> = G \) となるので、 \( G \)有限生成