# Definition:Automorphism (Abstract Algebra)

*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

- Results about
**automorphisms**in the context of**abstract algebra**can be found**here**.

## 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

- 1965: Seth Warner:
*Modern Algebra*... (previous) ... (next): Chapter $\text I$: Algebraic Structures: $\S 6$: Isomorphisms of Algebraic Structures - 1972: A.G. Howson:
*A Handbook of Terms used in Algebra and Analysis*... (previous) ... (next): $\S 7$: Homomorphisms and quotient algebras - 1998: David Nelson:
*The Penguin Dictionary of Mathematics*(2nd ed.) ... (previous) ... (next):**automorphism** - 2008: David Nelson:
*The Penguin Dictionary of Mathematics*(4th ed.) ... (previous) ... (next):**automorphism** - 2014: Christopher Clapham and James Nicholson:
*The Concise Oxford Dictionary of Mathematics*(5th ed.) ... (previous) ... (next):**automorphism**