>>402
そもそも群自体最初から定義されていたわけではなく
巡回群の研究からスタートして抽象化していったものだと群論の本に書いてあった気がする
だったら逆に名前から決めていくのも面白いんじゃないか?