Library
▹
Algebra
▹
Rings
▹
Modules
▹
Left modules
left
R
-module
LMod
(
R
)
(left
R
-modules)
(
M
)
+
0
M
−
x
−
[
M
, +]
⋅
∑
M
Homomorphisms
Submodules
Coordinates
Examples