Defines an automorphism of an algebraic structure.
The algebraic structure which is both the domain and codomain of the morphism
The bijective function that takes an element from the structure and maps it to another element in the same structure
Defines an automorphism of an algebraic structure.