The natural homomorphism where is a ring and an ideal of is the map . Coset operations, e.g guarantee this will be a homomorphism. Natural homomorphisms for groups can be defined similarly.