•  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
[주의!] 문서의 이전 버전(에 수정)을 보고 있습니다. 최신 버전으로 이동
분류
[ 펼치기 · 접기 ]
공리
산술
정리
기타
모듈러 연산
소수론
수의 분류
분야
정리
기타
1. 개요2. 수학적 성질3. 역사4. 목록

1. 개요[편집]

메르센 수 MnM_n2n12^n-1 꼴의 수를 의미하고, 메르센 소수221=32^2-1=3와 같이 메르센 소수 중 소수인 수들을 뜻한다. 메르센 소수는 주로 큰 소수를 찾기 위해 탐색하는 유형의 수들이고, 그런 만큼 현재까지 발견된 가장 큰 5개의 소수까지는 모두 메르센 소수이다.

2. 수학적 성질[편집]

  • 2n12^n-1이 소수라면 nn도 소수이다. 1이 아닌 두 자연수 rrss을 두고 xr=ax^r=a로 치환하면 xrs1=as1=(a1)(as1+as2+a+1)x^{rs}-1=a^s-1=(a-1)(a^{s-1}+a^{s-2}+\dots a+1)로 인수분해가 되고, rsrs는 합성수이므로 2n12^n-1에서 nn이 합성수라면 대응하는 메르센 수도 합성수라는 의미이기 때문이다.
  • 짝수 완전수는 모두 2n1Mn2^{n-1}M_{n}의 형태를 가지므로 메르센 소수는 모두 짝수 완전수와 일대일 대응된다.
  • 이진수로 표현했을 때 nn개의 1만으로 이루어져 있다.
  • 홀수소수 pp를 지수로 갖는 메르센 수의 소인수 qq는 모두 8k±18k\pm 1 꼴이며, q1(mod2p)q\equiv 1\pmod {2p}를 만족한다.

3. 역사[편집]

4. 목록[편집]