two operators need studied important rings fields ring two binary operations distributive first operator forms ''abelian group'' second operator associative need identity inverse division required additive identity element written additive inverse ''a'' written ''a'' distributivity generalises ' 'distributive law'' numbers integers said
Formal science Mathematics Pure mathematics Algebra