Prove properties about rings, ideals, and quotient rings. Work with prime and maximal ideals, quotient constructions, and ring homomorphisms. Triggers on "ideal", "quotient ring", "prime ideal", "maximal ideal", "ring homomorphism", "R/I", "principal ideal"