Category:Ring Operations on Coset Space of Ideal