Definition:Ring Automorphism