群の生成系
抽象代数学において、群の生成系、生成集合 (generating set of a group) は部分集合であって群のすべての元が(群演算のもとで)その部分集合の有限個の元とそれらの逆元の結合として表現できるものである。
言い換えると、S が群 G の部分集合であれば、<S>、S で生成される部分群 (subgroup generated by S)、は S のすべての元を含む G の最小の部分群である、すなわち S のすべての元を含む部分群すべてに渡る共通部分である。同じことだが、<S> は S の元とそれらの逆元の有限積として書ける G のすべての元からなる部分群である。
⟨ S ⟩ = { s 1 e 1 ⋯ s n e n ∈ G ∣ n ∈ N , s i ∈ S , e i = ± 1 } {\displaystyle \langle S\rangle =\{\,s_{1}^{e_{1}}\dotsb s_{n}^{e_{n}}\in G\mid n\in \mathbb {N} ,\ s_{i}\in S,\ e_{i}=\pm 1\,\}}