Submodule of a module

Depends on

• Unital left and right modules over a ring; unqualified module means left module
• Subgroup

Used by

• Artinian modules by the descending chain condition Definition
• Composition series and length of a module Definition
• Generated submodule, cyclic and finitely generated modules, module basis and free module Definition
• Noetherian commutative rings and modules Definition
• Noetherian modules: every submodule is finitely generated Definition
• Quotient module M/N with scalar multiplication on additive cosets Definition
• Simple module: a nonzero module with no proper nonzero submodule Definition
• The direct sum of an indexed family of modules Definition
• The socle as the sum of all simple submodules Definition
• Left ideals are exactly the submodules of the regular left module _RR Example
• Finite modules over Noetherian rings are Noetherian Lemma
• The one-step submodule criterion; intersections and sums of submodules are submodules Lemma
• Abelian groups and ℤ-modules have the same objects and morphisms Proposition
• The canonical map M→ M/N is a surjective module homomorphism with kernel N; thus every submodule is a kernel Proposition
• Torsion elements and p-primary elements form submodules over a domain Proposition
• A commutative ring is Noetherian exactly when every ideal is finitely generated, exactly when its ideals satisfy the ascending chain condition, and exactly when every nonempty set of ideals has a maximal member Theorem
• A module-finite algebra over a Noetherian ring is a Noetherian ring, and so is every ring between the two Theorem
• A module-valued coend is the direct sum of the diagonal values modulo the dinaturality submodule Theorem
• For every ring R, the category R-Mod is complete and cocomplete Theorem
• The quotient action is well defined and makes M/N a module Theorem
• Under Choice, every finitely generated nonzero module has a maximal proper submodule Theorem

Dependency tree · two levels

7 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources

• McGerty, Algebra II: Rings and Modules, Section 3 (standard reference, not scraped)