waarin R,+ een commutatieve groep is 1) de optelling is inwendig en overal gedefinieerd 2) de optelling is associatief 3) er is een neutraal element voor de optelling in R 4) elk element heeft een invers of tegengesteld element voor de optelling in R 5) de optelling is commutatief
Bovendien is R,. eveneens een commutatieve groep
en de laatste eigenschap is de distributiviteit van de optelling ten opzichte van de vermenigvuldiging a.(b+c)=a.b+a.c