The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Quotient Ring
Let be a Ring and an Ideal.
Then the Quotient Group extends to a ring
(by defining multiplication appropriately)