(a+b)+c=a+(b+c)	associative
a+b=b+a	commutative addition
a⋅(b+c)=a⋅b+a⋅c	distributive
a+0=a	identity
a+(-a)=0	inverse
a⋅b=b⋅a	commutative multiplication