헤그너 수

헤그너 수()는 허수 이차 수체 의 대수적 정수환이 유일 인수 분해 정역이 되는 자연수 이다.

헤그너 수는 총 아홉 개가 있으며, 정확히 다음과 같다. 
 1, 2, 3, 7, 11, 19, 43, 67, 163

이 사실은 카를 프리드리히 가우스가 처음으로 추측하였으며, 1952년에 쿠르트 헤그너()에 의해 처음으로 증명되었다. 그러나 그의 증명은 약간의 결함이 있어서 인정을 받지 못하였다. 그가 죽은 후 해럴드 스타크()가 1967년에 좀 더 완전한 증명을 내 놓고, 앨런 베이커가 비슷한 시기에 독립적으로 유사한 증명을 내 놓은 후, 헤그너의 증명이 재발견되면서 이 수들에 헤그너를 기리는 이름이 붙여졌다.

오일러의 소수 생성 다항식 
레온하르트 오일러는 1772년에 다음 수식이 에 대해 소수가 됨을 지적하였다.
 

이러한 다항식은 헤그너 수 에 연관되어 있다. 실제로 라비노비츠는  꼴의 다항식이 그 판별식의 절댓값 이 헤그너 수일 때만 이러한 성질을 가짐을 증명하였다.

따라서 (각각 헤그너 수 7, 11, 19, 43, 67, 163에 대응)에 대해,  꼴의 다항식은 일 때 소수가 된다.

라마누잔 수 
라마누잔 수(라마누잔 상수)는 초월수 로, 정수에 매우 가까운 값을 가진다:
 

이 ‘우연’은 모듈러 형식 이론으로부터 설명할 수 있다. 구체적으로, j-불변량 의 q-전개를 근사한 값으로부터 이러한 숫자를 생성해 낼 수 있다. 이 근사는 일차 오류항이 로 매우 정확한 근사이다.

다른 헤그너 수 
다른 헤그너 수에 대해서도 j-불변량을 사용해서 정수에 가까운 이러한 값을 생성해 내는 것이 가능하며, 그 목록은 다음과 같다.
 

일 때 일차 오류항 은 1보다 크기 때문에 이러한 성질을 잃어버린다. (심지어 일 때도 정수에 크게 가까운 것은 아니다.)

같이 보기 
 솔드너 상수
 유수(Class number)
 유수 공식

참고 문헌

외부 링크 
 

대수적 수론