자기 동형

대수 구조에서의 자기 동형은 주어진 대수 구조를 자기 자신으로 대응시키는 동형 사상이다. 즉, 대수 구조의 집합 위에서 정의된 전단사 함수로서, 그 구조를 보존하는 사상을 의미한다. 예를 들어, 군의 경우, 군의 연산을 보존하는 전단사 함수가 군의 자기 동형이 된다. 이 개념은 환, 체, 가군 등 다양한 대수적 대상에 적용된다.

구체적으로, 어떤 대수 구조 $X$가 주어졌을 때, $X$에서 $X$로 가는 동형 사상 $\phi: X \to X$를 $X$의 자기 동형이라고 한다. 이는 다음 두 조건을 만족한다: 첫째, $\phi$는 전사 함수이자 단사 함수인 전단사 함수이다. 둘째, $X$에 정의된 모든 대수적 연산(예: 덧셈, 곱셈, 합성 등)을 보존한다. 즉, $X$의 임의의 원소 $a$, $b$와 임의의 연산 $\ast$에 대해 $\phi(a \ast b) = \phi(a) \ast \phi(b)$가 성립한다.

자기 동형의 모임은 함수의 합성 연산 아래에서 군을 이루며, 이를 자기 동형군 $\operatorname{Aut}(X)$라고 한다. 자기 동형군은 원래 대수 구조의 대칭성을 연구하는 핵심 도구가 된다. 예를 들어, 자명군의 자기 동형군은 자명군이고, 순환군의 자기 동형군은 그 위수에 따라 결정된다.

이 개념은 범주론의 관점에서도 자연스럽게 설명된다. 대수 구조들의 범주에서, 자기 동형은 그 대상 $X$에서 $X$로 가는 가역 사상이다. 따라서 자기 동형군 $\operatorname{Aut}(X)$는 범주에서의 $X$의 자기 사상 모노이드 $\operatorname{End}(X)$ 내의 가역원들의 군으로 볼 수 있다.

위상 공간에서의 자기 동형은 위상 공간 X에서 자기 자신으로 가는 위상 동형 사상을 의미한다. 이는 전단사인 연속 함수로서, 그 역함수 또한 연속인 사상이다. 즉, 위상적 구조를 완전히 보존하는 X의 변환이다.

구체적으로, 함수 f: X → X가 위상 공간의 자기 동형이 되기 위해서는 f가 전사이고 단사인 연속 함수이며, f의 역함수 f⁻¹도 연속이어야 한다. 이 조건은 X의 모든 열린 집합 U에 대해, 그 상 f(U)와 원상 f⁻¹(U)가 모두 X에서 열린 집합이 됨을 의미한다. 따라서 자기 동형은 공간의 점들 사이의 연결성, 근방 구조, 콤팩트성, 연결성 등 모든 위상적 성질을 보존한다.

위상 공간의 자기 동형들의 모임은 함수의 합성 연산 아래에서 군을 이루며, 이를 X의 자기 동형군 Aut(X)라 부른다. 이 군은 위상 공간의 대칭성을 연구하는 핵심 도구가 된다. 예를 들어, 유클리드 공간 Rⁿ에서의 자기 동형군은 모든 등거리 변환들(평행 이동, 회전, 반사 등)의 군과 일치한다.

위상수학에서 자기 동형의 개념은 대수적 위상수학에서 호모토피 동치와 구별되는 점이 중요하다. 호모토피 동치는 위상적 성질을 연속적으로 변형시켜 보존하지만, 자기 동형은 점별 대응을 통해 구조를 정확하게 유지한다. 또한, 리 군이나 매끄러운 다양체와 같은 더 풍부한 구조를 가진 공간에서는 미분 동형 사상으로 개념이 일반화된다.

군에서의 자기 동형은 군 구조를 보존하면서 군 자신에게로 가는 전단사 함수이다. 구체적으로, 군 (G, *)에 대해 함수 f: G → G가 모든 a, b ∈ G에 대해 f(a * b) = f(a) * f(b)를 만족하고, 전단사일 때, f를 군 G의 자기 동형이라고 한다. 이는 군의 연산 구조를 완전히 보존하는 대칭성을 의미한다.

가장 간단한 예로, 모든 군은 항등 함수를 자기 동형으로 가진다. 다른 예로, 정수군 Z는 덧셈에 대해, 함수 f(n) = -n이 자기 동형이 된다. 대칭군 S₃에서는 원소들을 그 켤레로 보내는 함수가 자기 동형을 이룬다. 순환군의 경우, 생성원을 그 거듭제곱으로 보내는 함수가 자기 동형이 된다.

군의 모든 자기 동형들의 집합은 함수의 합성 연산 아래에서 다시 하나의 군을 이루며, 이를 자기 동형군 Aut(G)라고 한다. 자기 동형군의 구조를 연구하는 것은 원래 군 G의 대칭성과 내부 구조를 이해하는 데 중요한 도구가 된다. 특히, 내부 자기 동형은 군의 원소에 의한 켤레화로 정의되며, 이들은 항상 자기 동형군의 정규 부분군을 이룬다.

체의 자기 동형은 체를 자기 자신으로 대응시키는 동형 사상이다. 즉, 체 K에서 K로 가는 전단사 함수 f: K → K가 존재하여, 체의 두 기본 연산인 덧셈과 곱셈을 보존할 때, f를 체 K의 자기 동형이라고 한다. 이는 모든 a, b ∈ K에 대해 f(a+b) = f(a) + f(b)와 f(ab) = f(a)f(b)가 성립함을 의미한다. 이러한 자기 동형은 체의 구조를 완전히 보존하면서 원소들을 재배열하는 대칭성을 나타낸다.

가장 간단한 예로, 복소수체 C에서 켤레 복소수를 취하는 사상, 즉 a+bi를 a-bi로 보내는 사상은 체의 자기 동형이다. 이 사상은 덧셈과 곱셈을 보존하며, 자기 자신으로의 전단사 사상이기 때문이다. 또 다른 중요한 예는 유리수체 Q의 경우, 모든 자기 동형은 항등 사상 뿐이다. 이는 유리수의 구조가 매우 단단하여 재배열할 여지가 없음을 보여준다.

체의 자기 동형은 갈루아 이론의 핵심 구성 요소이다. 어떤 체의 확대 L/K가 주어졌을 때, K의 원소들을 고정시키는 L의 모든 자기 동형들은 군을 이루며, 이를 갈루아 군이라고 한다. 갈루아 군의 구조를 연구함으로써 다항식의 근을 체의 확대를 통해 표현할 수 있는지 여부와 같은 대수적 문제들을 해결할 수 있다.

체의 자기 동형들은 또한 수학의 다른 분야에서도 등장한다. 예를 들어, 유한체의 자기 동형은 프로베니우스 자기 동형으로 알려져 있으며, 이는 유한체의 성질을 연구하는 데 필수적이다. 일반적으로, 주어진 체 K의 모든 자기 동형들의 집합은 자기 동형군 Aut(K)를 이루며, 이 군의 성질은 체 K의 대칭성과 구조에 대한 깊은 통찰을 제공한다.

그래프의 자기 동형은 그래프 이론에서, 그래프를 자기 자신으로 대응시키는 동형 사상이다. 즉, 그래프의 정점 집합에서 자기 자신으로 가는 전단사 함수로서, 두 정점이 변으로 연결되어 있을 때 그 상도 변으로 연결되어 있는 성질을 보존하는 사상을 의미한다. 이는 그래프의 대칭성을 수학적으로 기술하는 핵심 도구로, 그래프의 구조적 특성을 이해하는 데 중요하게 사용된다.

그래프의 자기 동형은 군을 이루며, 이를 자기 동형군이라고 부른다. 예를 들어, 완전 그래프나 정다각형의 그래프는 높은 수준의 대칭성을 가지므로 그 자기 동형군의 크기도 크다. 반면, 비대칭적인 그래프는 자명한 자기 동형, 즉 항등 함수만을 자기 동형으로 가질 수 있다. 이러한 자기 동형의 연구는 화학에서 분자의 구조 분석이나 네트워크 과학에서 복잡계의 패턴 인식 등 다양한 분야에 응용된다.

자기 동형군은 주어진 수학적 구조를 보존하는 모든 자기 동형 사상들의 집합이 군을 이루는 것을 말한다. 이 군은 구조의 대칭성을 나타내는 핵심적인 개념이다. 예를 들어, 어떤 대수 구조나 위상 공간의 자기 동형군은 그 구조의 모든 자기 동형 사상들로 구성되며, 이들의 합성 연산에 대해 닫혀 있고, 항등 사상이 항등원 역할을 하며, 각 자기 동형의 역함수도 다시 자기 동형이 되어 군의 공리를 만족시킨다.

구체적으로, 대상 X의 자기 동형군은 일반적으로 Aut(X)로 표기한다. 이는 X에서 X로 가는 모든 동형 사상들의 모임이다. 예를 들어, 군 G가 주어졌을 때, 그 자기 동형군 Aut(G)는 G의 구조, 즉 군 연산을 보존하는 모든 전단사 함수들로 이루어진 군이다. 마찬가지로, 체 F의 자기 동형군 Aut(F)는 체의 덧셈과 곱셈을 보존하는 전단사 사상들의 군이며, 이는 갈루아 이론에서 핵심적인 갈루아 군의 기초가 된다.

자기 동형군의 크기와 구조는 원래 대상의 대칭성의 정도를 보여준다. 자기 동형군이 자명군, 즉 항등 사상만을 원소로 가질 경우, 그 구조는 비대칭적이라고 할 수 있다. 반대로, 자기 동형군이 매우 크고 복잡할수록 그 구조는 풍부한 대칭성을 지니고 있다고 해석할 수 있다. 그래프 이론에서 그래프의 자기 동형군은 정점들을 서로 맞바꾸면서 변의 연결 관계를 보존하는 모든 순열들로 구성되며, 이는 그래프의 대칭성을 연구하는 데 사용된다.

이 개념은 범주론에서도 자연스럽게 일반화된다. 어떤 범주에서 대상 X의 자기 동형군은 그 범주에서 X에서 X로 가는 모든 동형 사상들의 모임으로 정의된다. 이는 해당 범주 내에서 X의 대칭성을 포착한다. 자기 동형군의 연구는 대수학, 기하학, 위상수학 등 다양한 수학 분야에서 구조의 분류와 이해에 중요한 도구로 활용된다.

군에서, 내부 자기 동형(inner automorphism)은 군의 원소에 의해 유도되는 특별한 종류의 자기 동형이다. 구체적으로, 군 G와 그 원소 g가 주어졌을 때, 사상 φ_g: G → G를 φ_g(x) = g x g⁻¹로 정의한다. 이 사상은 G에서 G로 가는 동형 사상이며, 따라서 자기 동형이 된다. 이러한 형태의 자기 동형을 내부 자기 동형이라 부른다. 모든 내부 자기 동형들의 집합은 자기 동형군 Aut(G)의 정규 부분군을 이루며, 이를 내부 자기 동형군 Inn(G)라고 한다.

내부 자기 동형이 아닌 자기 동형은 외부 자기 동형(outer automorphism)이라 한다. 엄밀히 말하면, 외부 자기 동형군 Out(G)는 자기 동형군 Aut(G)를 내부 자기 동형군 Inn(G)로 나눈 몫군으로 정의된다. 즉, Out(G) = Aut(G) / Inn(G)이다. 외부 자기 동형은 군의 구조를 바꾸지 않는 대칭성 중에서도 군의 원소들의 켤레에 의해 설명될 수 없는 것을 의미한다.

내부 자기 동형과 외부 자기 동형의 구분은 군의 구조를 이해하는 데 중요한 도구가 된다. 예를 들어, 아벨 군에서는 모든 내부 자기 동형이 항등 함수이므로, 자명하지 않은 자기 동형이 존재한다면 그것은 모두 외부 자기 동형이다. 반면, 대칭군 S_n (n≠6)의 경우, 모든 자기 동형이 내부 자기 동형임이 알려져 있어 Out(S_n)이 자명한 군이 된다. n=6인 경우는 유일하게 외부 자기 동형이 존재하는 특이한 경우이다.

이 개념은 리 대수와 같은 다른 대수 구조에도 유사하게 확장되어 적용된다. 리 대수에서도 아벨 리 대수의 경우와 같이 내부 유도 사상에 해당하는 개념과 외부 자기 동형을 구분하여 연구한다.

동형 사상은 두 수학적 구조 사이의 구조를 보존하는 사상이다. 즉, 두 구조가 본질적으로 동일함을 보여주는 매핑이다. 대수학에서 동형 사상은 연산을 보존하는 전단사 함수이며, 위상수학에서는 열린 집합을 보존하는 전단사 연속 함수인 위상동형사상을 의미한다. 이 개념은 군, 환, 체, 벡터 공간 등 다양한 대수 구조와 위상 공간에 적용된다.

동형 사상이 존재하는 두 대상은 그 구조적 성질이 완전히 같다고 간주할 수 있어, 복잡한 대상을 더 잘 알려진 대상과 동일시하여 연구하는 강력한 도구가 된다. 예를 들어, 모든 순환군은 정수군의 어떤 부분군과 동형이며, 모든 n차원 실수 벡터 공간은 유클리드 공간 R^n과 동형이다. 이렇게 동형 사상을 통해 서로 다른 대상들을 분류하고 비교하는 것이 현대 수학의 기본 방법론 중 하나이다.

동형 사상의 특별한 경우로, 하나의 대상에서 자기 자신으로 가는 동형 사상을 자기 동형이라고 한다. 모든 자기 동형의 집합은 합성 연산 아래 군을 이루며, 이를 자기 동형군이라고 한다. 자기 동형군은 대상의 대칭성을 나타내는 중요한 불변량이다. 한편, 구조를 보존하지만 전단사일 필요는 없는 사상은 준동형 사상이라고 하며, 자기 사상은 하나의 대상에서 자기 자신으로 가는 준동형 사상을 의미한다.

자기 준동형은 수학적 구조를 자기 자신으로 보내는 동형 사상이다. 즉, 주어진 구조를 보존하면서 그 구조 자체로 가는 사상을 의미한다. 이 개념은 추상대수학과 범주론에서 핵심적으로 다루어지며, 군, 환, 체, 벡터 공간 등 다양한 대수 구조에 대해 정의된다. 자기 준동형은 구조를 변형시키지 않고 내부의 대칭성을 연구하는 데 중요한 도구로 사용된다.

보다 엄밀하게, 어떤 수학적 구조 X가 주어졌을 때, X에서 X로 가는 모든 동형 사상들의 모임은 자기 동형군 Aut(X)를 이룬다. 여기서 자기 준동형은 이 군의 원소에 해당한다. 한편, 자기 자신으로 가는 모든 사상(반드시 동형일 필요는 없는)의 모임은 자기 사상 모노이드 End(X)를 구성하는데, 자기 동형군은 이 모노이드의 가역원들의 부분군이다. 따라서 모든 자기 동형은 자기 준동형의 특별한 경우, 즉 가역적인 자기 준동형이라고 볼 수 있다.

이 개념의 중요한 예로 갈루아 군을 들 수 있다. 갈루아 이론에서, 어떤 체의 확대에 대한 자기 동형 가운데 작은 체를 고정하는 것들로 구성된 군이 바로 갈루아 군이다. 이는 방정식의 근들의 대칭성을 나타내며, 방정식의 가해성 문제를 연구하는 데 결정적인 역할을 한다. 또한, 그래프 이론에서 그래프의 자기 동형은 꼭짓점들의 재배열 중에서 변의 연결 관계를 보존하는 것을 말하며, 그래프의 대칭성을 나타낸다.

갈루아 군은 체의 자기 동형 중에서 특정 부분체를 고정시키는 것들로 구성된 군이다. 이 개념은 에바리스트 갈루아의 이름을 따서 명명되었으며, 갈루아 이론의 핵심적인 연구 대상이다. 갈루아 군은 주어진 다항식의 근들이 이루는 체의 확대의 대칭성을 나타내며, 이 대칭성의 구조를 통해 방정식의 가해성 여부를 판별할 수 있다.

구체적으로, 체의 확대 L/K가 주어졌을 때, L의 자기 동형 중에서 K의 모든 원소를 고정시키는 동형 사상들의 모임은 군을 이루며, 이를 확대 L/K의 갈루아 군이라고 하고 Gal(L/K)로 표기한다. 갈루아 군의 크기는 확대의 차수와 깊은 관련이 있으며, 갈루아 대응을 통해 확대체의 중간체들과 갈루아 군의 부분군 사이에 일대일 대응이 성립한다.

갈루아 군은 군론과 체론을 연결하는 강력한 도구로, 아벨 군이나 순환군과 같은 특정 구조를 가질 때 해당 체 확대나 다항식에 대한 중요한 정보를 제공한다. 예를 들어, 유한체의 확대나 원분체 위에서의 갈루아 군은 항상 순환군이 된다. 또한, 5차 이상의 일반 방정식이 대수적으로 풀리지 않는다는 아벨-루피니 정리는 그 갈루아 군이 대칭군 S_n이며 n>=5일 때 가해군이 아니라는 사실에서 비롯된다.