群論の入門書の最初の3分の1に書かれてるような内容でここまで長文でやり取りできるのも凄いな