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 \).