>>215
G=Zの加法群、S={1}
�@Sを含む最小の部分群はGだからSはGの生成系
�A∪(n∈N)S^n=N≠GだからSはGの生成系でない
(S={±1}とすれば生成系になる)
ちゃんちゃん♪