A cyclic abelian group: the honest concept name for \(\mathbb{Z}/n\mathbb{Z}\) carriers and their machine-backed cousins. More...

Concept definition

template<typename T, typename Op>

concept dedekind::category::IsCyclicGroup = IsAbelianGroup<T, Op> && is_cyclic_group_v<T, Op>

dedekind::category::IsAbelianGroup

A Commutative Group.

Definition total.cppm:638

dedekind::category::IsCyclicGroup

A cyclic abelian group: the honest concept name for carriers and their machine-backed cousins.

Definition total.cppm:698

dedekind::category::is_cyclic_group_v

constexpr bool is_cyclic_group_v

Shorthand access to the is_cyclic_group trait.

Definition total.cppm:667

Detailed Description

A cyclic abelian group: the honest concept name for \(\mathbb{Z}/n\mathbb{Z}\) carriers and their machine-backed cousins.

Composes IsAbelianGroup with the finite-cyclicity opt-in is_cyclic_group_v. Does \emph{not} require cyclic_order_v > 0 — that would exclude the infinite cyclic case \(\mathbb{Z}\), which is also genuinely cyclic (generated by 1).