[1] 
[[群]]の[DFN[生成元]]とは、それ [WEAK[(とその[[逆元]])]]
の[[積]]によってその群のすべての[[元]]を表現できるような[[元]]をいいます。