이차 상호 법칙

가우스가 황금 정리(golden theorem)라고 불렀던 이차 상호 법칙은 소수 p가 q를 법으로 하는 제곱수인지 여부와 q가 p를 법으로 하는 제곱수인지 여부 사이의 관계를 설명하며, 해의 존재 가능성에 대한 강력하고 예상치 못한 대칭적인 기준을 제공합니다.

Definition

정수가 소수 p를 법으로 하는 이차 잉여(quadratic residue)라는 것은 그 정수가 p를 법으로 하는 완전 제곱수와 합동임을 의미합니다. 이차 상호 법칙은 서로 다른 홀수 소수 p와 q에 대해, x 제곱이 q를 법으로 p와 합동인 것과 x 제곱이 p를 법으로 q와 합동인 것 사이의 해의 존재 가능성을 연결하는 정리입니다.

Scope

이 주제는 소수를 법으로 하는 이차 잉여 및 비잉여, 오일러 판정법, 르장드르 기호 및 그 곱셈성, 야코비 기호, 두 가지 보조 법칙(마이너스 1과 2에 대한), 그리고 이차 상호 법칙 자체를 다루며, 이는 유체론(class field theory)의 상호 법칙의 첫 번째 사례로서의 역할을 포함합니다.

Core questions

• 홀수 소수 p가 주어졌을 때, 어떤 잉여가 제곱수이며, 오일러 판정법은 이를 어떻게 결정하는가?
• 르장드르 기호와 야코비 기호는 잉여 정보를 어떻게 부호화하고 곱셈적으로 행동하는가?
• 상호 법칙은 정확히 무엇을 주장하며, 보조 법칙은 마이너스 1과 2를 어떻게 다루는가?
• 이차 상호 법칙이 유체론의 고차 상호 법칙의 원형으로 간주되는 이유는 무엇인가?

Key theories

오일러 판정법과 르장드르 기호

정수 a는 홀수 소수 p를 법으로 하는 이차 잉여이며, 이는 a의 (p 마이너스 1)/2 제곱이 1과 합동일 때만 해당합니다. 르장드르 기호는 이 부호를 기록하며, 상위 인수에 대해 완전히 곱셈적입니다.

이차 상호 법칙

서로 다른 홀수 소수 p와 q에 대해, 두 르장드르 기호의 곱은 ((p 마이너스 1)/2)((q 마이너스 1)/2) 제곱의 마이너스 1과 같습니다. 따라서 상호 법칙은 두 소수 모두 4를 법으로 3과 합동일 때만 실패합니다.

보조 법칙과 야코비 기호

마이너스 1과 2가 잉여가 되는 시기를 결정하는 별도의 규칙이 있으며, 야코비 기호는 르장드르 기호를 합성수 법으로 확장하여 인수분해 없이 효율적인 계산을 가능하게 합니다.

Clinical relevance

상호 법칙과 야코비 기호는 이차 잉여성을 결정하는 빠른 알고리즘을 제공하며, 이는 소수성 판별(Solovay-Strassen), 소수를 법으로 하는 제곱근 계산, 그리고 이차 잉여성 가정에 보안이 의존하는 암호화 체계에 사용됩니다.

History

오일러와 르장드르가 추측했던 이 법칙은 1796년 가우스에 의해 처음으로 완전히 증명되었으며, 가우스는 이 법칙에 반복적으로 관심을 가지고 8가지 다른 증명을 제시했습니다. 현재는 200가지 이상의 증명이 알려져 있습니다. 이 법칙의 고차 확장(higher powers)은 아이젠슈타인, 쿠머, 그리고 궁극적으로 유체론의 상호 법칙을 발전시키는 동기가 되었습니다.

Key figures

• Carl Friedrich Gauss
• Adrien-Marie Legendre
• Leonhard Euler

Seminal works

• irelandRosen1990

Frequently asked questions

가우스는 왜 같은 정리를 8번이나 증명했는가?

각 증명은 서로 다른 구조(가우스 합, 격자점 계산, 원분체론)를 밝혀냈으며, 가우스는 고차 상호 법칙으로 일반화될 수 있는 증명을 찾았고, 이것이 나중에 대수적 정수론의 발전을 이끌었습니다.

르장드르 기호와 야코비 기호의 차이점은 무엇인가?

르장드르 기호는 홀수 소수 법에 대해 정의되며 이차 잉여를 정확히 감지합니다. 야코비 기호는 계산을 위해 이를 홀수 합성수 법으로 일반화하지만, 값이 1이라고 해서 해당 숫자가 잉여임을 보장하지는 않습니다.