Graded module

Graded submodule

Let be a graded module over a -graded ring. A submodule is said to be graded iff #m/def/module

where for . In this case the inclusion is a homomorphism of graded modules and one may construct the quotient graded module.

#state/tidy | #lang/en | #SemBr