まず、可換群なのか?