dedekind::category::IsAbelianGroup Concept Reference

A Commutative Group. More...

Concept definition

template<typename T, typename Op>
concept dedekind::category::IsAbelianGroup =  IsGroup<T, Op> && IsCommutative<T, Op>

Detailed Description

A Commutative Group.

unsigned int with addition (Z/2ⁿZ) is the canonical example: addition wraps, every element has a modular inverse, and a + b = b + a.