dedekind::category::IsRng Concept Reference

A Ring without Identity (Multiplication is a Semigroup). More...

Concept definition

template<typename T, typename Add, typename Mult>
concept dedekind::category::IsRng =  IsAbelianGroup<T, Add> && IsSemigroup<T, Mult> &&
                IsDistributive<T, Mult, Add>

Detailed Description

A Ring without Identity (Multiplication is a Semigroup).

Provides an Abelian Group for addition and a Semigroup for multiplication, with distribution. Called "Rng" (Ring without the multiplicative identity "i").

Textbook note: This is also commonly described as a "ring without unity".