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