Commutative & associative for +++ and ×\times×. Distributive: a(b+c)=ab+aca(b+c) = ab+aca(b+c)=ab+ac. Zero is additive identity; one is multiplicative identity.