群の生成系
他方、 n > 2 に対して、n 次対称群は巡回群でないので、どんな 1 つの元によっても生成されない。しかしながら、それは2つの置換 (1 2) と (1 2 3 ... n) によって生成される。例えば、S3 に対して、
e = (1 2)(1 2)
(1 2) = (1 2)
(2 3) = (1 2)(1 2 3)
(1 3) = (1 2 3)(1 2)
(1 2 3) = (1 2 3)
(1 3 2) = (1 2)(1 2 3)(1 2)
無限群が有限の生成集合をもつことがある。整数全体のなす加法群は 1 を生成集合としてもつ。元 2 は生成集合ではない、なぜならば奇数がいないからだ。2元部分集合 {3, 5} は生成集合である、なぜならば (−5) + 3 + 3 = 1 だからである(実は、互いに素な数の任意のペアはベズーの等式の結果として生成集合である)。