Ring endomorphism (source code)

= Ring endomorphism
{title2=$f:R\to R$}

A <ring homomorphism> from a ring to itself. Surjectivity need not imply injectivity in general, but a surjective <ring endomorphism> of a <Noetherian ring> is a <ring automorphism>.