갈루아 이론

갈루아 이론

정리 1

$K$ 가 $F$ 의 유한정규확대체고 $F \le E \le K$ 라 하자. 고정된 $E$ 를 남기는 $G ( K / F )$ 의 부분군을 $\lambda (E)$ 와 같이 나타내자. 그러면 사상 $\lambda$ 은 $F$ 와 $K$ 사이의 모든 $E$ 를 $G ( K / F )$ 의 모든 부분군으로 대응시키는 동형사상이 된다. $\lambda$ 는 다음의 성질들을 가진다.

  1. $\lambda ( E ) = G ( K / E )$
  2. $E = K_{ G ( K / E ) } = K_{ \lambda (E) }$
  3. $H \le G ( K / F )$ 에 대해 $\lambda ( K_{H} ) = H$
  4. $[K : E] = | \lambda (E) |$ 이고 $[ E : F ] = \left( G ( K / F ) : \lambda (E) \right)$
  5. $E$ 가 $F$ 의 정규확대체 $\iff$ $\lambda (E)$ 이 $G (K / F)$ 의 정규부분군이다.
  6. $\lambda (E)$ 가 $G ( K / F )$ 의 정규부분군이면 $G (E / F) \simeq G ( K / F ) / G ( K / E )$


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

댓글