개념
방정식이 근호로 풀리는지를 근들의 대칭 구조로 판별하는 이론. 만 20세의 갈루아가 남긴 연구에서 출발해 현대 대수학의 핵심 언어가 되었다.
한 호흡으로 이해하기
방정식의 풀이 가능성을 근들의 대칭 구조로 옮긴 관점. 이차·삼차·사차에는 근호로 된 일반 공식이 있지만 일반 5차 방정식에는 그런 공식이 없다. 갈루아는 근들을 서로 바꾸어도 보존되는 관계를 군으로 묶고, 그 군이 가해군인지가 근호 풀이 가능성을 판별한다는 길을 열었다. 결투 전날 슈발리에에게 보낸 편지는 이미 진행한 연구 결과와 남은 질문을 요약했으며, 리우빌은 1843년 원고의 중요성을 알린 뒤 1846년에 주요 논문을 출판했다.
한눈에 보기
차수 n | 갈루아군 | 근의 공식 | 가해군? |
|---|---|---|---|
2 (이차) | S₂ ≅ ℤ/2 | √판별식 | ✓ |
3 (삼차) | S₃ | 카르다노 공식 | ✓ (가해) |
4 (사차) | S₄ | 페라리 공식 | ✓ (가해) |
일반 5차 | S₅ (단순군 A₅ 포함) | 일반식 없음 | ✗ |
S₅는 가해군이 아니므로 일반 5차 방정식에는 근호로 된 일반해가 없다. 다만 갈루아군이 가해군인 특별한 5차 방정식은 근호로 풀릴 수 있다.
핵심 식
방정식이 근호로 풀린다 ⟺ 갈루아군이 가해군이다
핵심 순간
아벨 — 5차 일반 해 불가능
노르웨이의 아벨이 5차 일반 방정식의 근의 공식이 존재하지 않음을 증명. 그러나 왜 그런지 설명은 못함.
갈루아 — 연구를 요약한 유언 편지
만 20세의 갈루아가 결투 전날 약 7쪽의 편지에 이미 진행한 연구 결과와 남은 질문을 요약했다. 이론 전체를 그날 밤 처음 만든 것은 아니다.
리우빌 — 갈루아 원고 출판
리우빌은 1843년 원고의 중요성을 알렸고, 1846년 주요 논문을 자신의 학술지에 출판해 더 넓은 수학계에 소개했다.
와일즈 — 페르마 증명과 갈루아 표현
타원곡선과 모듈러 형식을 연결하는 과정에서 갈루아 표현이 중요한 도구로 쓰였고, 이 연결은 페르마의 마지막 정리 증명의 핵심 경로가 되었다.
오늘날의 응용
대수기하학, 정수론(페르마의 마지막 정리 증명에 사용), 코딩 이론, 양자컴퓨팅.
MathVoyage 너머로
불러오는 중…