>11 群とはある集合に演算が定義されていてさらにその演算に関して単位元や逆元がそんざいし、結合法則みたすもの