An Abelian Group participating in a Linear Action by a Ring. More...

Concept definition

template<typename M, typename S, typename AddM std::plus<M>, typename AddS std::plus<S>, typename MultS std::multiplies<S>, typename Act std::multiplies<>>
concept dedekind::algebra::IsModule =  dedekind::category::IsAbelianGroup<M, AddM> &&
                   dedekind::category::IsRing<S, AddS, MultS> &&
                   IsSemimodule<M, S, AddM, AddS, MultS, Act>

Detailed Description

An Abelian Group participating in a Linear Action by a Ring.

Template Parameters

M	The module carrier.
S	The scalar carrier.
AddM	Additive law on M (defaults to std::plus<M>).
AddS	Additive law on S (defaults to std::plus<S>).
MultS	Multiplicative law on S (defaults to std::multiplies<S>).
Act	External action witness S x M -> M (defaults to std::multiplies<>).