페르마의 마지막 정리

페르마의 마지막 정리는 n이 2보다 큰 정수일 때, 세 양의 정수 a, b, c가 방정식 aⁿ + bⁿ = cⁿ을 만족하지 않는다는 주장입니다. 이 주장은 타원 곡선의 모듈성(modularity)을 통해 증명되기 전까지 3세기 이상 미해결 상태로 남아 있었습니다.

Definition

페르마의 마지막 정리는 정수 지수 n이 2보다 클 때, 양의 정수 x, y, z에 대해 방정식 xⁿ + yⁿ = zⁿ이 해를 갖지 않는다는 진술입니다.

Scope

이 주제는 페르마의 마지막 정리의 진술, 소수 지수 및 페르마 곡선으로의 환원, 이상수(ideal numbers)와 정규 소수(regular primes)를 이용한 쿠머(Kummer)의 19세기 진전, 가설적 해와 관련된 프레이 곡선(Frey curve), 모듈성과의 연관성을 증명한 리베(Ribet)의 엡실론 추측(epsilon conjecture), 그리고 논증을 완성한 와일즈(Wiles)의 준안정(semistable) 타원 곡선 모듈성 증명을 다룹니다.

Core questions

• 정리를 소수 지수와 지수 4에 대해 증명하는 것으로 충분한 이유는 무엇인가요?
• 고전적인 방법, 특히 쿠머의 이상수 이론과 정규 소수 이론은 이 문제를 얼마나 진전시켰나요?
• 프레이 곡선은 가설적인 페르마 해를 불가능한 속성을 가진 타원 곡선으로 어떻게 변환시키나요?
• 리베의 정리와 모듈성 정리는 어떻게 결합하여 증명을 완성하나요?

Key theories

쿠머의 정규 소수

쿠머는 이상수를 사용하여 모든 정규 소수 지수에 대해 페르마의 마지막 정리를 증명했으며, 이 과정에서 대수적 수론의 유수군(class group) 기법을 도입했습니다.

프레이 곡선과 리베의 정리

자명하지 않은 페르마 해는 프레이 타원 곡선을 생성할 것이며, 리베는 이러한 곡선이 모듈러(modular)일 수 없음을 증명했습니다. 따라서 그러한 곡선의 모듈성은 페르마 방정식이 해를 갖지 않도록 강제합니다.

모듈성 정리 (와일즈-테일러)

와일즈는 테일러와 함께 준안정 유리수 타원 곡선이 모듈러임을 증명하여 프레이 곡선의 존재와 모순됨으로써 페르마의 마지막 정리를 증명했습니다.

Clinical relevance

정리 자체는 직접적인 응용이 없지만, 증명에 사용된 갈루아 표현(Galois representations), 변형 이론(deformation theory), 모듈성 리프팅(modularity lifting)과 같은 기법들은 랭글랜즈 프로그램(Langlands program)과 타원 곡선 암호(elliptic-curve cryptography)에도 영향을 미치는 산술-기하학적 방법의 핵심 기술이 되었습니다.

History

페르마는 1637년경 디오판토스(Diophantus) 저서의 여백에 이 주장을 기록하며, 자신이 증명했다고 주장했지만 그 증명은 기록되지 않았습니다. 오일러(Euler), 소피 제르맹(Sophie Germain), 쿠머는 다음 두 세기 동안 많은 경우를 해결했습니다. 프레이(Frey), 세르(Serre), 리베는 1980년대에 이를 모듈성으로 환원시켰고, 와일즈는 1993년에 증명을 발표했으며, 1994년 테일러(Taylor)와 함께 완성하여 1995년에 출판했습니다.

Key figures

• Pierre de Fermat
• Ernst Kummer
• Ken Ribet
• Andrew Wiles

Seminal works

• wiles1995
• wiles1995

Frequently asked questions

페르마는 실제로 증명을 가지고 있었을까요?

거의 확실히 올바른 일반적인 증명은 아니었을 것입니다. 필요한 방법들은 20세기에 와서야 개발되었으며, 17세기의 어떤 논증도 관련 환(rings)에서 실패하는 유일 인수분해(unique factorization)와 같은 가정에 의존했을 것입니다.

거듭제곱에 대한 방정식이 타원 곡선과 어떻게 관련되나요?

가설적인 해는 프레이 타원 곡선으로 묶일 수 있습니다. 이 곡선의 산술적 속성은 모듈성 정리와 모순될 것이므로, 타원 곡선의 모듈성은 원래 방정식이 풀 수 없도록 강제합니다.