dedekind::category::IsCommutativeRing Concept Reference

A Ring whose multiplication is commutative. More...

Concept definition

template<typename T, typename Add, typename Mult>
concept dedekind::category::IsCommutativeRing =  IsRing<T, Add, Mult> && IsCommutative<T, Mult>

Detailed Description

A Ring whose multiplication is commutative.

Every commutative ring satisfies all of IsRing plus the requirement that a * b == b * a for all a, b. The rationals ℚ, reals ℝ, Gaussian rationals ℚ(i), and Modular<N> for every N are commutative rings; M_2(ℝ) (2×2 real matrices) is a ring but @emph{not} commutative.