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