원시근

수론에서, 양의 정수 에 대한 원시근(原始根, )은 다음 조건을 만족시키는 정수 이다.
 만약 정수 가 과 서로소라면, 는 의 거듭제곱과 법 에 대하여 합동이다. 즉, 인 음이 아닌 정수 가 존재한다.

제곱수나 −1이 아닌 정수가 항상 무한히 많은 소수에 대한 원시근인지 여부는 알려져 있지 않다. 이를 아르틴 원시근 추측()이라고 한다. 일반화 리만 가설은 아르틴 원시근 추측을 함의한다. 아르틴 원시근 추측의 반례 가운데 소수인 것은 2개 이하이며, 제곱 인수가 없는 반례는 3개 이하이다. 그러나 아르틴 원시근 추측을 만족시키는 명시적인 정수는 하나도 알려져 있지 않다.

 정의 
이 양의 정수라고 하자.

은 정수환 의 주 아이디얼 에 대한 몫환이다. 는 의 가역원군이며, 그 크기는 이다. (여기서 는 오일러 피 함수다.) 이 순환군일 필요충분조건은

이다 (는 홀수 소수, 는 양의 정수). 즉, 만약 이 조건이 참이라면 을 생성하는 원소가 존재한다.

가 군 의 지수라고 하자. (흔히 이를 카마이클 함수 라고 한다.) 은 유한 아벨 군이므로, 이는 의 원소의 최대 차수와 같다. 그렇다면, 는 을 나누어떨어뜨리며, 이 순환군일 필요충분조건은

이다. 2의 거듭제곱의 경우, 지수는 다음과 같다.

홀수 소수 의 거듭제곱의 경우, 이다. 나머지 경우는 항등식

을 통해서 구할 수 있다.

합동 산술의 언어를 사용하면, 은 정수의 -합동류들의, (법 에 대한) 덧셈과 곱셈에 대한 가환환이며, 는 이 가운데 과 서로소인 것들이 (법 에 대한) 곱셈에 따라 이루는 아벨 군이다. 이 경우, 임의의 양의 정수  및 정수 에 대하여, 다음 조건들이 서로 동치이다.
 의 -합동류는 을 생성한다.
 과 서로소인 임의의 정수 에 대하여, 인 음이 아닌 정수 가 존재한다.
 이며, 모든 에 대하여 이다.
 와 은 서로소이며, 은 서로 법 에 대하여 합동이 아니다.
 와 은 서로소이며, 의 합동류의 에서의 차수는 이다.
만약 이 조건이 참이라면, 를 법 에 대한 원시근()이라고 한다.

물론, 법 에 대한 원시근이 존재하려면 은 위와 같은 특별한 꼴의 정수여야 한다. 주어진 양의 정수 을 법으로 하였을 때, 가 원시근인지 여부는 물론 의 합동류에만 의존한다. 그러나 많은 문제에서 법 은 변한다.

 성질 
만약 이 순환군이라면, 그 생성 원소의 수는 이다. 즉, 만약 법 에 대한 원시근이 존재한다면, 서로 합동이 아닌 원시근들의 수는 이다.

0은 법 1에 대한 원시근이다. 1은 법 2에 대한 원시근이다. 3은 법 4에 대한 원시근이다. 임의의 홀수 소수 에 대하여, 모든

에 대한 공통의 원시근인 정수 가 존재한다.

 제곱 잉여 
임의의 홀수 소수  및 법 에 대한 원시근 에 대하여, 로부터 유도되는 의 덧셈군과  사이의 군 동형 사상

을 생각하자. 그렇다면, 짝수의 원상은 의 어떤 원소의 제곱이며, 홀수의 원상은 의 원소의 제곱이 아니다. 즉, 의 짝수 제곱

들은 법 에 대한 제곱 잉여이며, 홀수 제곱

들은 법 에 대한 제곱 잉여가 아니다.

 아르틴 원시근 추측 
임의의 양의 정수 에 대하여, 양의 실수

를 생각하자. 여기서 는 소수만을 취한다. 첫 번째 곱은 무한곱이며, 이는 항상 수렴한다. 두 번째 곱은 유한곱이다. 따라서 는 양의 실수이다. 특히, 만약 인 경우

는 아르틴 상수()라고 한다 .

임의의 정수 에 대하여, 다음과 같은 데이터를 정의하자.
 는 가 법 에 대한 원시근인 소수 의 집합이다.
 임의의 실수 에 대하여, 
 는 인 정수 가 존재하는 최대 정수다.

만약 일반화 리만 가설이 참이라면, 임의의 정수 에 대하여, 다음 두 명제 역시 참이다.
 (질적 아르틴 원시근 추측, ) 만약 이며, 가 제곱수가 아니라면, 는 무한 집합이다.
 (양적 아르틴 원시근 추측, ) 
만약 가 홀수라면, 는 아르틴 상수의 어떤 양의 유리수배이므로, 양적 추측은 질적 추측을 자명하게 함의한다. 만약 가 짝수라면, 이며, 는 자명하게 유한 집합이므로, 양적 추측은 자명하게 참이다.

질적·양적 아르틴 원시근 추측이 (무조건적으로) 참인지 여부는 열린 문제다. 가 유한 집합인 소수 는 2개 이하다. 가 유한 집합인 제곱 인수가 없는 정수 는 3개 이하다. 그러나, 가 무한 집합인 명시적인 정수 는 하나도 알려져 있지 않다.

 참고 문헌 

 </ref>

 외부 링크 










분류:모듈러 산술