Let be a Ring and an Ideal. Then the Quotient Group extends to a ring (by defining multiplication appropriately)