Cat::RightModule
-- the
category of right R
-modules
represents the
caregory of right Cat::RightModule
(R)R
-modules.
Cat::RightModule(R)
R |
- | A domain which must be from the category Cat::Ring . |
Cat::AbelianGroup
Cat::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
.