% abelian groups

zero*X1=X1.
minus(X1)*X1=zero.
X1*X2*X3=X1*(X2*X3).
X*Y=Y*X.