>>332
単位元 0 と a から始めて 演算によって出てくる全ての元の集合が
aの生成する部分群 < a >