加法群
加法の数学的構造を持つ集合
結合法則を満たす。
交換法則を満たす。
零元を持つ。
群
#数学的構造