Abelian group
덧셈 아벨 군 formula_8 위에서, 다음과 같은 항등식들이 성립한다.