可換群
アーベル群とも
xy=yx　交換法則を満たす群を可換群という
可換群