・単位元がある
・逆元がある
・結合則が成り立つ
・積に関して閉じている

並進群の定義はわかりません…。