Def/Ring automorphism

 =Metadata=