The image of a principal ideal under a ring homomorphism is principal, generated by the image of the generator.

Initializing...

The image of a principal ideal under a ring homomorphism is principal, generated by the image of the generator. · Prove2Me