In abstract algebra, given a module and a submodule, one can construct their quotient module. This construction, described below, is analogous to how one obtains the ring of integers modulo an integer n, see modular arithmetic. It is the same construction used for quotient groups and quotient rings.