|
|
|
Viewing Version
6
of
'automorphism'
|
[ view 'automorphism'
|
back to history
]
| Title of object: |
automorphism |
| Canonical Name: |
Automorphism4 |
| Type: |
Definition |
| Created on: |
2003-07-28 18:54:08 |
| Modified on: |
2006-12-09 10:38:30 |
| Classification: |
msc:18A05 |
| Keywords: |
morphism, isomorphism, endomorphism, epimorphism, monomorphism |
Revision comment (for changes between this and next version):
| Changes for correction #11033 ('Typo, Def. of Automorphism (http://planetmath.org/encyclopedia/Automorphism4.html)'). |
Preamble:
% this is the default PlanetMath preamble. as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.
% almost certainly you want these
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
%\usepackage{graphicx}
% for neatly defining theorems and propositions
%\usepackage{amsthm}
% making logically defined graphics
%\usepackage{xypic}
% there are many more packages, add them here as you need them
% define commands here |
Content:
Roughly, an automorphism is a map from a mathematical object onto itself such that: 1. There exists an ``inverse'' map such that the composition of the two is the identity map of the object, and 2. any relevant structure related to the object in question is preserved.
In category theory, an automorphism of an object $A$ in a category $\mathcal{C}$ is a morphism $\psi \in Mor(A, A)$ such that there exists another morphism $\phi \in Mor(A, A)$ and $\psi \circ \phi = \phi \circ \psi = id_{A}$.
For example in the category of groups an automorphism is just a bijective (inverse exists and composition gives the identity) group homomorphism (group structure is preserved). Concretely, the map: $x \mapsto -x$ is an automorphism of the additive group of real numbers. In the category of topological spaces an automorphism would be a bijective, continuous map such that its inverse map is also continuous (not guaranteed as in the group case). Concretely, the map $\psi: S^1 \to S^1$ where $\psi(\alpha) = \alpha + \theta$ for some fixed angle $\theta$ is an automorphism of the topological space that is the circle. |
|
|
|
|
|
