Cat::Rng
-- the category of rings
without unitCat::Rng
represents the category of rings without
unit.
Cat::Rng()
Cat::AbelianGroup
Cat::Rng
is a ring without a unit, i.e. an abelian
group according to the operation +
(_plus
) and a non-abelian semi-group
according to the operation *
(_mult
) where in addition the two
distributive laws a (b + c) = a b + a c and (a + b) c =
a c + b c hold.Ax::noZeroDivisors
to state that
there are no zero divisors according to *
, i.e. that the
product of non-zero elements never is zero.