Quotient module (source code)

= Quotient module
{wiki}

For a submodule $N\leq M$, the quotient module $M/N$ consists of additive cosets with scalar multiplication $r(m+N)=rm+N$.