Cat::RightModule -- the
category of right R-modules
Introduction represents the
caregory of right Cat::RightModule(R)R-modules.
Generating
the categoryCat::RightModule(R)
ParametersR |
- | A domain which must be from the category Cat::Ring. |
Cat::AbelianGroup
DetailsCat::RightModule is an abelian group together with a
ring R and a right multiplication *
(_mult).R and a module element and returning a module
element.* (_mult). The method "_mult"
must handle the situation if a right module is also a non-abelian
semi-group. In such a case it must both implement the group operation
and the right multiplication by elements of the ring._mult(dom x, R
r)x by the ring
element r.