Cat::LeftModule
-- the
category of left R
-modules
represents the category
of left Cat::LeftModule
(R)R
-modules.
Cat::LeftModule(R)
R |
- | A domain which must be from the category Cat::Rng . |
Cat::AbelianGroup
Cat::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
.