Finite unital ring
On one complete finite carrier, this unital-ring protocol requires an additive abelian group, associative multiplication, both distributive laws and a multiplicative identity different from zero.
atlas-finite-unital-ring · canonical_mko