체의 자기동형사상

체의 자기동형사상

정의 1

$E$ 가 $F$ 의 확대체라고 하자.

  1. 체 $E$ 에 대해 동형사상 $\sigma : E \to E$ 을 자기동형사상Automorphism이라 하고, $E$ 의 자기동형사상의 집합을 $\text{Auto} (E)$ 와 같이 나타낸다.
  2. $\sigma \in \text{Auto} (E)$ 에 대해 $\sigma ( a ) = a$ 면 $\sigma$ 가 고정된 $a$ 를 남긴다고 한다.
  3. $S \subset \text{Auto} (E)$ 라고 하자. 모든 $a \in F$ 에 대해 모든 $\sigma \in S$ 가 고정된 $a$ 를 남기면 $S$ 가 고정된 부분 $F$ 를 남긴다고 한다.
  4. $\left\{ \sigma \right\} \subset \text{Auto} (E)$ 가 고정된 $F$ 를 남기면 $\sigma$ 가 고정된 $F$ 를 남긴다고 한다.
  5. $\left\{ \sigma \right\} \subset \text{Auto} (E)$ 가 고정된 체 $E_{ \left\{ \sigma \right\} }$ 를 남기면 $\sigma$ 가 고정된 체 $E_{\sigma}$ 를 남긴다고 한다.
  6. $F$ 를 남기는 $E$ 의 모든 자기동형사상의 집합을 $G ( E / F )$ 와 같이 나타내고 $F$ 상에서 $E$ 의 군이라 한다.

정리

예시

말이 몹시 어렵고 복잡해서 그보다는 예시를 통해 개념적으로 이해하는 편이 낫다.

$$ F = \mathbb{Q} ( \sqrt{2} ) \le \mathbb{Q} ( \sqrt{2} , \sqrt{3} ) = E $$ 이라고 하면 $(x^2 - 3) \in F [ x ]$ 는 $F$ 상에서 기약원이므로 $\sqrt{3} , \sqrt{-3}$ 은 $E$ 상에서 켤레다. 켤레 동형사상 정리에 의해 $\psi_{ \sqrt{3} , - \sqrt{3} } : E \to E$ 는 동형사상이고, 따라서 $ \psi_{ \sqrt{3} , - \sqrt{3} } \in \text{Auto} (E) $ 임을 알 수 있다.

실제로 함수 $\psi_{ \sqrt{3} , - \sqrt{3} }$ 를 취해보자. $a,b,c,d \in \mathbb{Q}$ 에 대해 $$ \psi_{ \sqrt{3} , - \sqrt{3} } ( a+ b \sqrt{2} + c \sqrt{3} + d \sqrt{6} ) = a+ b \sqrt{2} - c \sqrt{3} - c \sqrt{2} \sqrt{3} $$ 인데, 모든 $( x + y \sqrt{2} ) \in \mathbb{Q} ( \sqrt{2} )$ 에 대해서는

$$ \psi_{ \sqrt{3} , - \sqrt{3} } ( x + y \sqrt{2} ) = x + y \sqrt{2} $$ 이므로 $\psi_{ \sqrt{3} , - \sqrt{3} }$ 는 고정된 $\mathbb{Q} ( \sqrt{2} )$ 를 남긴다고 할 수 있다. 쉽게 말해 $\mathbb{Q} ( \sqrt{2} )$ 는 $\psi_{ \sqrt{3} , - \sqrt{3} }$ 에 영향을 받지 않는 부분체라고 볼 수 있다. 이런 센스에서 ‘고정’이라든가 ‘남긴다’라는 표을 사용하는 것이다.

한편 항등사상 $I$ 와 함수의 합성연산 $\circ$ 에 대해 $$ \left( \psi_{ \alpha , - \alpha } \circ \psi_{ \alpha , - \alpha } \right) = I $$ 이므로 $$ \left< \left\{ I, \psi_{ \sqrt{2} , - \sqrt{2} }, \psi_{ \sqrt{3} , - \sqrt{3} } , ( \psi_{ \sqrt{2} , - \sqrt{2} } \circ \psi_{ \sqrt{3} , - \sqrt{3} } ) \right\} , \circ \right> $$ 은 군을 이룰뿐만 아니라 특히 클라인 사원군과 동형이 된다.

증명

[1]

[2]


  1. Fraleigh. (2003). A first course in abstract algebra(7th Edition): p418. ↩︎

댓글