Definition:Automorphism (Abstract Algebra)

From ProofWiki
Jump to navigation Jump to search

This page is about automorphism in the context of abstract algebra. For other uses, see automorphism.

Definition

An automorphism is an isomorphism from an algebraic structure to itself.

This applies to the term isomorphism as used both in the sense of bijective homomorphism as well as that of an order isomorphism.


Hence an automorphism is a permutation which is either a homomorphism or an order isomorphism, depending on context.


Semigroup Automorphism

Let $\struct {S, \circ}$ be a semigroup.

Let $\phi: S \to S$ be a (semigroup) isomorphism from $S$ to itself.


Then $\phi$ is a semigroup automorphism.


Group Automorphism

Let $\struct {G, \circ}$ be a group.

Let $\phi: G \to G$ be a (group) isomorphism from $G$ to itself.


Then $\phi$ is a group automorphism.


Ring Automorphism

Let $\struct {R, +, \circ}$ be a ring.

Let $\phi: R \to R$ be a (ring) isomorphism.


Then $\phi$ is a ring automorphism.


Field Automorphism

Let $\struct {F, +, \circ}$ be a field.

Let $\phi: F \to F$ be a (field) isomorphism from $F$ to itself.


Then $\phi$ is a field automorphism.


$R$-Algebraic Structure Automorphism

Let $\struct {S, \ast_1, \ast_2, \ldots, \ast_n, \circ}_R$ be an $R$-algebraic structure.

Let $\phi: S \to S$ be an $R$-algebraic structure isomorphism from $S$ to itself.


Then $\phi$ is an $R$-algebraic structure automorphism.


This definition continues to apply when $S$ is a module, and also when it is a vector space.


Ordered Structure Automorphism

Let $\struct {S, \circ, \preceq}$ be an ordered structures.

Let $\phi: S \to S$ be an ordered structure isomorphism from $S$ to itself.


Then $\phi$ is an ordered structure automorphism.


Also see


Linguistic Note

The word automorphism derives from the Greek morphe (μορφή) meaning form or structure, with the prefix iso- meaning equal.

Thus automorphism means self structure.


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Automorphism_(Abstract_Algebra)&oldid=729446"