Quotient module (source code)

= Quotient module
{wiki=Quotient_module}

In abstract algebra, the quotient module (also known as the factor module) is a construction that generalizes the notion of quotient spaces in linear algebra and topology. It is used in the context of modules over a ring, similar to how quotient groups are formed in group theory. \#\#\# Definition Let \\( M \\) be a module over a ring \\( R \\), and let \\( N \\) be a submodule of \\( M \\).