自同構

定義

在數學中，自同構（automorphism）是一個數學對象對其本身的一個同構。從某種意義上講，是對對象本身的一種對稱鏡像，一種把對象映射到自身的同時保持其全部結構的一種方式。對象的所有自同構體構成一個集合，稱為自同構群。或者籠統地稱為該對象的對稱群。

自同構的準確定義取決於問題里“數序對象”的類型，準確地講，是什麼構成了那個對象的“同構”。這些名詞用的最多的是在一個稱為範疇論的抽象數學分支。範疇論處理抽象對象以及這些對象之間的同態性。

在範疇論里，自同構就是自同態( 既一個對象對自身的同態）。其也是一個同構（以範疇論的術語來講）。

在抽象代數里，一個數學對象是一個代數結構，比如群，環，向量空間。一個同構就是一個簡單的雙射同態（ bijective homomorphism)。(一個同態的定義取決於代數結構的類型，比如群同態，環同態，線性運算元）

單一同態（單一映射）在一些地方稱為平常自同構。相應的，其他的（非單）的自同構稱為非常自同構。

例子

例，設A={1，2，3}，代數運算○ 由下表決定：

○	1	2	3
1	3	3	3
2	3	3	3
3	3	3	3

那么

φ：A —> A

1 |—>2，2 |—>1，3 |—>3

因為對於任意a，b∈A，都有φ(a○b)=φ(a)○φ(b)；同樣的道理也可以找出其他關於○的A的自同構。

自同構群

自同構群(group of automorphisms)重要的幾何變換群，是幾何學分類的依據，指群自身的映射所構成的群。群G的所有自同構在映射的合成運算下構成的一個群，稱為群G的自同構群，常記為Aut(G)。

設S是給定的空間，U是S上的一個圖形，若S到自身的一個變換g把U變到U自身，則稱g是關於U的自同構變換，簡稱關於U的自同構。S上關於U的自同構變換的全體構成一個變換群，稱它為關於U的自同構群。在變換中保持不變的這個圖形U稱為絕對形。例如，在射影平面上取一條直線作無窮遠直線，則在射影平面上保持無窮遠直線不變的自同構射影變換構成一個變換群，它是關於無窮遠直線的自同構群，同時它也是二維射影變換群的子群，即仿射變換群。