 The image of φ is then "R""p", the subring of "R" consisting of "p"-th powers.In some important cases, for example finite fields, φ is surjective.Otherwise φ is an endomorphism but not a ring "automorphism".