generated at
アーベル群
可換群のこと