추상대수학에서 갈루아 이론(Galois理論, 영어: Galois theory)은 체의 확대를 그 자기동형군을 통해 연구하는 이론이다. 체의 확대 가운데 갈루아 확대들은 그 자기동형군에 의하여 완전히 결정되며, 이 경우 자기동형군을 갈루아 군이라고 한다.
갈루아 이론은 체
의 갈루아 확대를 다룬다. 가장 큰 갈루아 확대는 분해 가능 폐포
이며, 모든 갈루아 확대는
의 부분 확대이다.
갈루아 확대
에 대하여, 그 부분 확대들의 격자
및 갈루아 부분 확대들의 격자
![{\displaystyle \operatorname {Sub_{Gal}} (L/K)\subset \operatorname {Sub} (L/K)}](//wikimedia.org/api/rest_v1/media/math/render/svg/38fc409ab66714c6e44c4f63df218f064fcfd2fd)
를 정의할 수 있다. 또한, 갈루아 군
는 사유한군
![{\displaystyle \operatorname {Gal} (L/K)=\varprojlim _{M\in \operatorname {Sub_{Gal}} (L/K)}^{[M:K]<\aleph _{0}}\operatorname {Gal} (M/K)}](//wikimedia.org/api/rest_v1/media/math/render/svg/33fbb0b14fdba0951c48b4b57c64d9b6b9f55e6e)
이므로, 사유한 위상을 주어 위상군으로 만들 수 있다. 갈루아 군의 사유한 위상을 크룰 위상(영어: Krull topology)이라고 한다. 그렇다면,
의 닫힌 부분군들의 격자
![{\displaystyle \operatorname {Sub} (\operatorname {Gal} (L/K))}](//wikimedia.org/api/rest_v1/media/math/render/svg/18654277ae33f73bf11f12c5a513abeddd615b7c)
및 닫힌 정규 부분군들의 격자
![{\displaystyle \operatorname {Sub} _{\vartriangleleft }(\operatorname {Gal} (L/K))\subset \operatorname {Sub} (\operatorname {Gal} (L/K))}](//wikimedia.org/api/rest_v1/media/math/render/svg/3a1d5605fec92a0292dfaf3a43664d2ace267f6b)
를 정의할 수 있다.
갈루아 이론의 기본 정리(영어: fundamental theorem of Galois theory)에 따르면, 다음과 같은 격자의 동형이 존재한다.
![{\displaystyle \operatorname {Sub} (L/K)\cong \left(\operatorname {Sub} (\operatorname {Gal} (L/K)\right)^{\operatorname {op} }}](//wikimedia.org/api/rest_v1/media/math/render/svg/f4382995b9773dabf8502a697e8b7b4a30c63e66)
![{\displaystyle \operatorname {Sub_{Gal}} (L/K)\cong \left(\operatorname {Sub} _{\vartriangleleft }(\operatorname {Gal} (L/K)\right)^{\operatorname {op} }}](//wikimedia.org/api/rest_v1/media/math/render/svg/eed1a97e30d420cf14fdb1f2ec34a342babb2e90)
또한, 둘째 동형사상은 첫째 동형사상의 국한이다. 이 동형사상을 갈루아 접속(영어: Galois connection)이라고 하며, 구체적으로
![{\displaystyle \operatorname {Aut} (L/\cdot )\colon \operatorname {Sub} (L/K)\to \left(\operatorname {Sub} (\operatorname {Gal} (L/K)\right)^{\operatorname {op} }}](//wikimedia.org/api/rest_v1/media/math/render/svg/dacfce4e0db3c37f2e47f4c268e42b99883785cc)
![{\displaystyle M\mapsto \operatorname {Aut} (L/M)}](//wikimedia.org/api/rest_v1/media/math/render/svg/0bc89b8cfb662589cc298051260af8e4b04c348f)
에 의하여 주어진다. 또한, 모든
에 대하여
![{\displaystyle [M:M']=|\operatorname {Aut} (L/M'):\operatorname {Aut} (L/M)|}](//wikimedia.org/api/rest_v1/media/math/render/svg/533f296256495a54f06e080ed58ba718d176cbaf)
이다.
절대 갈루아 이론
모든 갈루아 확대는 분해 가능 폐포
의 부분 확대이므로, 모든 갈루아 군은 분해 가능 폐포의 갈루아 군
![{\displaystyle \operatorname {Gal} (K)=\operatorname {Gal} (K^{\operatorname {sep} }/K)}](//wikimedia.org/api/rest_v1/media/math/render/svg/8cc10daf502cb2f14026eb4834bc2af9009bee60)
의 부분군이다. 이를 절대 갈루아 군(영어: absolute Galois group)이라고 한다.
아벨 갈루아 군의 예
유리수체의 갈루아 확대
을 생각해 보자. 이 확대의 갈루아 군은 클라인 4원군이다.
![{\displaystyle \operatorname {Gal} (\mathbb {Q} ({\sqrt {2}},{\sqrt {3}})/\mathbb {Q} )\cong \mathbb {Z} /2\oplus \mathbb {Z} /2\cong \langle f,g|[f,g],f^{2},g^{2}\rangle }](//wikimedia.org/api/rest_v1/media/math/render/svg/ff4aac5228cbf56a4a526af9f1e4e4bad4bba683)
이 경우, 두 생성원
는
에 다음과 같이 작용한다.
![{\displaystyle f\colon a+b{\sqrt {2}}+c{\sqrt {3}}+d{\sqrt {6}}\mapsto a-b{\sqrt {2}}+c{\sqrt {3}}-d{\sqrt {2}}{\sqrt {3}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/7f456ece2961ed9cecd111a3711525f71c32ba63)
![{\displaystyle g\colon a+b{\sqrt {2}}+c{\sqrt {3}}+d{\sqrt {6}}\mapsto a+b{\sqrt {2}}-c{\sqrt {3}}-d{\sqrt {2}}{\sqrt {3}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/d6e7afdafcd741fdbce3ea6c9a5237201461a80f)
이 경우, 부분 확대들의 격자와 갈루아 군의 부분군의 반대 격자는 다음과 같다. 두 격자가 서로 동형인 것을 알 수 있다.
![Thumb](//upload.wikimedia.org/wikipedia/commons/thumb/a/ad/Lattice_diagram_of_Q_adjoin_the_positive_square_roots_of_2_and_3%2C_its_subfields%2C_and_Galois_groups.svg/320px-Lattice_diagram_of_Q_adjoin_the_positive_square_roots_of_2_and_3%2C_its_subfields%2C_and_Galois_groups.svg.png)
비아벨 갈루아 군의 예
갈루아 군이 아벨 군이 아닌 가장 단순한 경우는 다음과 같다.
이며
이라고 하자. 그렇다면 갈루아 확대
의 갈루아 군은 3차 대칭군과 동형이며, 다음과 같다.
![{\displaystyle \operatorname {Gal} (\mathbb {Q} (\theta ,\omega )/\mathbb {Q} )=\{1,f,f^{2},g,gf,gf^{2}\}\cong \operatorname {Sym} (3)}](//wikimedia.org/api/rest_v1/media/math/render/svg/55b6de118f512e9a8e0aa5a54e993ebacd581bfd)
이 경우, 두 생성원의 작용은 다음과 같다.
![{\displaystyle f\colon \theta \mapsto \omega \theta ,\quad \omega \mapsto \omega }](//wikimedia.org/api/rest_v1/media/math/render/svg/5a54f418a6d4c4aef966cbc2920124babd7f5b83)
![{\displaystyle g\colon \theta \mapsto \theta ,\quad \omega \mapsto \omega ^{2}}](//wikimedia.org/api/rest_v1/media/math/render/svg/162ad996c466486c85cf1392db72b58e156f984b)
이 경우, 부분 확대들의 격자와 갈루아 군의 부분군의 반대 격자는 다음과 같다.
![Thumb](//upload.wikimedia.org/wikipedia/commons/thumb/b/b6/Lattice_diagram_of_Q_adjoin_a_cube_root_of_2_and_a_primitive_cube_root_of_1%2C_its_subfields%2C_and_Galois_groups.svg/320px-Lattice_diagram_of_Q_adjoin_a_cube_root_of_2_and_a_primitive_cube_root_of_1%2C_its_subfields%2C_and_Galois_groups.svg.png)
여기서 갈루아 확대들은
,
,
이며, 이들은 갈루아 군의 정규 부분군에 대응한다. 나머지 확대들은 분해 가능 확대이지만 정규 확대가 아니므로 갈루아 확대가 아니며, 이에 대응하는 부분군들은 정규 부분군이 아닌 부분군이다.
방정식의 대수적 해의 존재
갈루아 이론을 통해, 방정식을 거듭 제곱근만을 사용하여 풀 수 있는지 결정할 수 있다. 역사적으로, 갈루아 이론은 이 문제를 해결하기 위해 도입되었다.
유리수체에 대한 다항식
을 풀 수 있는지 여부는 그 분해체
의 구조를 분석하여 알 수 있다. 체
에 거듭 제곱근
를 추가하여 확장시키는 경우, 그 갈루아 군은 순환군
이다. 즉, 거듭 제곱근을 계속하여 추가하여 얻는 체의 확대는 그 갈루아 군을 일련의 아벨 군들로 분해할 수 있는 경우다. 이렇게, 아벨 군들로 분해할 수 있는 군을 가해군이라고 하며, 다항식의 근을 거듭 제곱근으로 나타낼 수 있는지 여부는 그 다항식이 가해군인지와 동치이다.
유리수체에 대하여, 일반적인 (즉, 해가 겹치지 않는)
차 다항식의 분해체의 갈루아 군은
차 대칭군
이다.
일 경우
은 가해군이지만,
일 경우
은 가해군이 아니다. 즉, 일반적인 5차 이상의 방정식의 근은 거듭제곱근만으로 나타낼 수 없다. 이를 아벨-루피니 정리(영어: Abel–Ruffini theorem)라고 한다. 그러나 특수한 5차 이상 방정식의 경우 그 분해체의 갈루아 군이 가해군일 수 있으며, 이 경우 거듭제곱근으로 풀 수 있다.
작도 가능성
고전 기하학의 작도는 오직 직선과 원만을 사용한다. 원은 이차 곡선이므로, 이는 이차 방정식을 푸는 것과 같다. 기약 이차 방정식의 근을 추가하는 확대는 차수가 2인 확대이므로,, 고전적 작도로서 작도할 수 있는 두 선분의 길이의 비는 항상 유리수체의 이차 확대들
![{\displaystyle \mathbb {Q} =K_{0}\subset K_{1}\subset K_{2}\subset \cdots \subset K_{n}}](//wikimedia.org/api/rest_v1/media/math/render/svg/adfe835460d096c4e3f194a6ba4c0622903e152a)
![{\displaystyle [K_{i+1}/K_{i}]=2}](//wikimedia.org/api/rest_v1/media/math/render/svg/9d76f3216c545a3bdd22f10db1bfc1973be1ac11)
가운데 하나에 속해야 한다. 이러한 수를 작도 가능한 수라고 한다.
이를 사용하여, 여러 고전적 작도 문제의 (불)가능성을 쉽게 보일 수 있다. 예를 들어, 입방 배적 문제는
가 작도 가능한지 여부인데,
![{\displaystyle \mathbb {Q} ({\sqrt[{3}]{2}})=\mathbb {Q} \oplus {\sqrt[{3}]{2}}\mathbb {Q} \oplus {\sqrt[{3}]{4}}\mathbb {Q} }](//wikimedia.org/api/rest_v1/media/math/render/svg/52c1b6416071d4b431a3f688f18e4c14021f9cb2)
이므로
![{\displaystyle [\mathbb {Q} ({\sqrt[{3}]{2}}):\mathbb {Q} ]=3}](//wikimedia.org/api/rest_v1/media/math/render/svg/ff6145819ff3b6438065d066033f25a3012a7f63)
이며, 따라서
는 작도할 수 없다. 마찬가지로, 원주율은 초월수이므로 원적문제는 풀 수 없고, 각의 3등분 문제 역시 3차 방정식의 근이 필요하므로 풀 수 없다.
프랑스의 수학자 에바리스트 갈루아가 제창하였다. 갈루아는 유한 차수 갈루아 확대의 경우, 치환군을 이용해서 주어진 방정식의 다양한 해들이 서로 어떻게 대응되는가를 기술하였고, 이 과정에서 군의 개념을 도입하였다.
이후 갈루아 이론은 리하르트 데데킨트, 레오폴트 크로네커, 에밀 아르틴 등에 의해 추상화되었고, 무한한 차수의 갈루아 확대의 경우가 사유한군 이론의 도입으로 완성되었다. 알렉산더 그로텐디크는 갈루아 이론을 대수기하학을 사용하여 임의의 스킴의 에탈 기본군에 대한 이론으로 일반화시켰다.