-
interface
Group with a commutative binary operation.
interface
An extension to the concept of monoid.
interface
A division ring is a set R equipped with two binary operations + and ·, where (R, +) is an abelian group
and (R, ·) is a commutative monoid.
interface
A division ring is a set R equipped with two binary operations + and ·, where (R, +) is an abelian group and (R, ·) is a group.
interface
A a commutative division ring (i.e.
interface
A ring is a set R equipped with two binary operations + and ·, where (R, +) is an abelian group and (R, ·) is a monoid.