コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

3乗剰余の相互法則

出典: フリー百科事典『ウィキペディア(Wikipedia)』
三次剰余の相互法則から転送)

数学、特に初等整数論代数的整数論において、3乗剰余の相互法則(さんじょうじょうよのそうごほうそく、: cubic reciprocity[注 1]とは、合同式 x3p (mod q) が解けるための条件を提示する、一連の定理群のことである。ここで「相互法則」という単語は、以下に提示する主定理に由来する。

主定理
pqアイゼンシュタイン整数環上の、3とも互いに素な素元とするとき、合同式 x3p (mod q) が可解となる必要十分条件x3q (mod p) が可解となることである。

歴史

[編集]

1748年より前に、オイラーは小さな整数の3乗剰余性について最初の予想をした[1]が、彼の死後、1849年まで公表されなかった。

ガウスは、出版済みの著作において3乗剰余とその相互法則に関して3回言及している。1801年に公刊された著作 Disquisitiones Arithmeticae には、3乗剰余に関する結果が1つある[2]。1818年には、平方剰余の相互法則の第五証明(数論のガウスの補題によるもの)と第六証明(二次のガウス和英語版によるもの)の導入において、これらの手法は3乗剰余および4乗剰余の相互法則英語版にも適用できると述べている[3]。1832年には、4乗剰余の相互法則に関する(2つのうちの)2番目の脚注において、3乗剰余の相互法則はアイゼンシュタイン整数環によって最も簡単に記述されると述べている[4]

彼の日記やその他の未発表の資料からは、ガウスは1805年までに整数の3乗剰余および4乗剰余の相互法則を知っており、1814年頃にはそれらについての完全な定理とその証明を発見したようである[5] [6]。これらの証明は彼の死後の論文で発見されたが、それらが彼によるものかアイゼンシュタインによるものかは明らかになっていない[7]

ヤコビは1827年に3乗剰余に関するいくつかの定理を証明なしに発表した[8]。 1836年から1837年にかけてのケーニヒスベルクでの講演において、ヤコビは証明を提示した[7]が、最初に出版された証明はアイゼンシュタインによる1844年のものである[9] [10] [11]

有理整数の場合

[編集]

pとする3乗剰余とは、その3乗が p を法として合同な任意の数のことである。もし x についての合同式 x3a (mod p) が整数解を持たないなら、ap を法とする3乗非剰余であるという[12]

数論でよくあることだが、素数を法とするほうがより上手くいくことが多いため、この節では全ての pq などの法は正の奇素数であると仮定する[12]。まず初めに、素数 qq ≡ 2 (mod 3) を満たすとき、すべての整数が3乗剰余であることに注意しよう。03 = 0 ≡ 0 (mod q) から、0は明らかに3乗剰余であるため、整数 xq で割り切れないと仮定する。整数 nq = 3n + 2 を満たすように取っておく。ここで、フェルマーの小定理より、任意の整数 x に対して、次の2つの合同式が成り立つ:

2つの合同式を辺々掛けることで、x2q − 1x (mod q) が得られる。さて、q = 3n + 2 であったから、次が成り立つ:

したがって、唯一の興味深いケースは法 pp ≡ 1 (mod 3) を満たすときとなる。このとき、ゼロを除いた p を法とする剰余類は、それぞれが (p − 1) ⁄ 3個の要素を持つ3つの集合に分割される。e を何らかの(p を法として)3乗非剰余な元とするとき、その集合は以下のように明示的に分類できる:

  1. 3乗剰余な元からなる集合。
  2. 第一の集合の各元を e 倍して得られる元からなる集合。
  3. 第一の集合の各元を e2 倍して得られる元からなる集合。

この分割を表現する別の方法として、原始根を用いるものがある。すなわち:

  1. p を法とした原始根に対する指数が、3を法として0となるもの(3で割り切れるもの)。
  2. p を法とした原始根に対する指数が、3を法として1となるもの。
  3. p を法とした原始根に対する指数が、3を法として2となるもの。

である。群論のことばでは、第一の集合は乗法群 (ZpZ)×指数3の部分群であり、残り2つの和集合はその補集合である。

p ≡ 1 (mod 3) の場合

[編集]

フェルマーの定理によれば、p ≡ 1 (mod 3) を満たす全ての素数 p は(ab の符号を除き)p = a2 + 3b2 の形に一意的に書ける[13] [14]ことが知られている。ここで m = a + b かつ n = ab とおけば、これは p = m2mn + n2 とも書き表せる[注 2]。したがって、

が成り立つことから、少しの計算によって mnmn のうちの丁度1つが3の倍数であることが示される。これにより、(LM の符号を除いて)一意的に

の形で p を表すことができる[15]。 互いに素な整数 mn に対し、rational cubic residue symbol[訳語疑問点] [ m ⁄ n ]3 を次のように定義する。

この記号は、ルジャンドル記号のような乗法性持たないことに注意が必要である。このためには、のちの節で定義するような真の3乗剰余記号が必要となる。

オイラーの予想[16] [17] [18]: p = a2 + 3b2を素数とすると、以下が成り立つ:

最初の2つの命題は次のように言い換えることができる[19] [20] [21]

p を3を法として1に合同な素数とするとき、以下が成り立つ:
  • 2が p の3乗剰余となるのは、p = a2 + 27b2 と書けるとき、そしてそのときに限る。
  • 3が p の3乗剰余となるのは、4p = a2 + 243b2 と書けるとき、そしてそのときに限る。
ガウスの定理[22] [23]: p を次を満たす正の素数とする:
このとき、 が成り立つ。

このガウスの定理により、直ちに次が従う。


ヤコビの定理(証明なしで述べられている)。 [24] が正の素数とする。明らかに、 pqの両方とも3を法として1に合同であるため、次のように仮定する。
の解とする。このとき
これにより
レーマーの定理。 qpを素数とし、 このとき [25]
ただし

最初の条件は、LまたはMを割り切る任意の数が3乗剰余(mod p )であることを意味することに注意すること。

これの最初のいくつかの例[26]は、オイラー予想と同等である。

明らかに'L≡M(mod' 2)なので、q= 2のばあいの基準は以下のように簡略化することができる。

マルティネットの定理。 が素数であるとする。このとき[27]
シャリフィの定理。 を素数とする。このとき、 xの約数は3乗剰余(mod p )。 [28]

アイゼンシュタイン整数

[編集]

背景

[編集]

ガウスは、4乗剰余に関する2番目の段落で、次のように述べている。

双次残差の定理は、算術の分野が虚数に拡張された場合にのみ、最大の単純さと真の美しさで輝く。そのため、制限なしに、 a + biの形式の数が研究の対象を構成する...私たちはそのような数を整数の複素数と呼ぶ[29] [太字は原文のまま]

これらの数は現在、Z [i ]で表されるガウス整数と呼ばれている。 iは1の4乗根であることに注意。 脚注で彼は以下のように付け加えている。

3次剰余の理論は、a + bhの形式の数の考慮に同様の方法で基づいている必要がある。ここで、 hは方程式h 3 = 1の虚数根...同様に、高次の剰余の理論では他の虚数の導入となる。[30]

アイゼンシュタインは、三次剰余に関する彼の最初の記述で[31]1の立方根から構築された数の理論を展開した。それらは現在アイゼンシュタイン整数環と呼ばれています。アイゼンシュタインは(言い換えれば)「この環の特性を調査するには、 Z [i ]に関するガウスの研究を参照し、証明を修正するだけでよい」と述べた。いずれの環も一意分解環であるため、これは驚くべきことではない。

「高次の剰余の理論」に必要な「その他の虚数」は、1の冪乗根である。ガウス整数とアイゼンシュタイン整数を生成する虚数は、これらの最も単純な例である。

用語

[編集]

を以下のように定める。

そして、アイゼンシュタイン整数環を考えるものとする:

これは、次の式で与えられるノルムを持つユークリッド環である。

ノルムは常に0または1(mod 3)に合同であることに注意すること。

単数群 (可逆元の集合)は、1の6乗根の巡回群となる。

一意因数分解環であり、素数は3つの類に分類される: [32]

  • 3は特殊な場合である:
3はの素数の二乗で割り切れるで唯一の素数 。素数3は分岐すると言う 。
  • 2(mod 3)正の素数に合同なのも の素元である 。これらの素数は惰性すると言う 。惰性する素数のノルムは以下で与えられることに注意。
  • 1(mod 3)に合同なの正の素数は、の2つの共役な素元の積である 。でこれらの素数は分解すると言う 。それらの因数分解は次の式で与えられる。
例えば

3と互いに素な元が、通常の整数とを法として合同である場合、その数は1次。 これはmod3でと合同だと言うのと同じです。のとき、またはの一つは素元である。さらに、2つの共役な素数の積は1次であり、1次の数の共役も1次である。

の一意分解定理はならば

ここでそれぞれの(アイゼンシュタインの定義による)素元。そして、この表現は、因子の順序を除き一意的である。

合同[33]最大公約数[34]の概念は、でも通常の整数の場合と同じように次のように定義される。単数はすべての数値を割り切るため、法の任意の同伴な元を法としても合同関係は真であり 、GCDの同伴元もまたGCDである。

3乗剰余記号

[編集]

定義

[編集]

フェルマーの小定理の類似物は、 でも成立する。を素数で割り切れない元としたとき [35]

ここでなのでまたは別の言い方をするとよって、次のように書くことができる。

は単数で、 この値はを法とした3乗剰余記号と呼ばれ、以下のように書かれる。 [36]

性質

[編集]

3乗剰余記号はルジャンドル記号と同様の性質を持っている。

  • ならば
  • ここで、バーは複素共役を示す。
  • が同伴ならば
  • 合同式での解があり、かつそのときに限り [37]
  • が以下の性質を満たすとする。このとき [38] [39]
  • ルジャンドル記号ヤコビ記号に一般化されるのと同じ方法で、3乗剰余記号の「分母」を合成数(3と互いに素)に乗算的に拡張できる。ヤコビ記号のように、3乗剰余記号の値は「分母」が合成数である場合には、「分子」が「分母」を法として3乗剰余である場合は1に等しくなり、記号が1に等しくない場合、「分子」は「分母」を法とした3乗非剰余になるが、「分子」が3乗非剰余であっても、記号の値が1になることがある。
ただし

相互法則

[編集]

αとβをの元とする。このとき

単数と素元1− ωには補充法則[40] [41]がある:

α =a+である素元、a=3m+1及びb=3n とおく。 (a≡2(mod 3)の場合 αをその同伴元-αと置き換える。これは、3乗剰余記号値を変更しない。 )このとき

関連項目

[編集]

脚注

[編集]

注釈

[編集]
  1. ^ 立方剰余の相互法則(りっぽうじょうよのそうごほうそく)とも言う。
  2. ^ なお、m2mn + n2 = (nm)2 − (nm)n + n2 = m2m(mn) + (mn)2 であるため、この表現では mn は一意的には決定されない。

出典

[編集]
  1. ^ Euler, Tractatus ..., §§407--410
  2. ^ Gauss, DA, footnote to art. 358
  3. ^ Gauss, Theorematis fundamentalis ...
  4. ^ Gauss, BQ, § 30
  5. ^ Cox, pp. 83--90
  6. ^ Lemmermeyer, pp. 199--201, 222--224
  7. ^ a b Lemmermeyer, p. 200
  8. ^ Jacobi, De residuis cubicis ...
  9. ^ Eisenstein, Beweis des Reciprocitätssatzes ...
  10. ^ Eisenstein, Nachtrag zum cubischen...
  11. ^ Eisenstein, Application de l'algèbre...
  12. ^ a b cf. Gauss, BQ § 2
  13. ^ Gauss, DA, Art. 182
  14. ^ Cox, Ex. 1.4--1.5
  15. ^ Ireland & Rosen, Props 8.3.1 & 8.3.2
  16. ^ Euler, Tractatus, §§ 407–401
  17. ^ Lemmermeyer, p. 222–223
  18. ^ Tractatus de numerorum doctrina capita sedecim, quae supersunt, 411, footnote (chapter 11)
  19. ^ Cox, p. 2, Thm. 4.15, Ex. 4.15
  20. ^ Ireland & Rosen, Prop. 9.6.2, Ex 9.23
  21. ^ Lemmermeyer, Prop. 7.1 & 7.2
  22. ^ Gauss, DA footnote to art. 358
  23. ^ Lemmermeyer, Ex. 7.9
  24. ^ Jacobi, De residuis cubicis...
  25. ^ Lemmermeyer, Prop.7.4
  26. ^ Lemmermeyer, pp. 209–212, Props 7.1–7.3
  27. ^ Lemmermeyer, Ex. 7.11
  28. ^ Lemmermeyer, Ex. 7.12
  29. ^ Gauss, BQ, § 30, translation in Cox, p. 83
  30. ^ Gauss, BQ, § 30, translation in Cox, p. 84
  31. ^ Ireland & Rosen p. 14
  32. ^ Ireland & Rosen Prop 9.1.4
  33. ^ cf. Gauss, BQ, §§ 38–45
  34. ^ cf. Gauss, BQ, §§ 46–47
  35. ^ Ireland & Rosen. Prop. 9.3.1
  36. ^ Ireland & Rosen, p. 112
  37. ^ Ireland & Rosen, Prop. 9.3.3
  38. ^ Ireland & Rosen, Prop. 9.3.4
  39. ^ Lemmermeyer, Prop 7.7
  40. ^ Lemmermeyer, Th. 6.9
  41. ^ Ireland & Rosen, Ex. 9.32–9.37

参考文献

[編集]

オイラー、ヤコビ、アイゼンシュタインの元の論文への参照は、レマーマイヤーとコックスの参考文献からコピーされたものであり、この記事の作成には使用されなかった。

オイラー

[編集]
  • Euler, Leonhard (1849), Tractatus de numeroroum doctrina capita sedecim quae supersunt, Comment. Arithmet. 2 

これは実際には1748–1750年に書かれたが、死後に出版された。第5巻、pp182–283に該当箇所がある。

  • Euler, Leonhard (1911–1944), Opera Omnia, Series prima, Vols I–V, Leipzig & Berlin: Teubner 

ガウス

[編集]

ガウスは、四次相互法則について公開した2つの段落に連続セクションの番号を付けている:最初は§§1– 23、2番めは§§24– 76に含まれている。これらを参照する脚注は「ガウス、BQ、§n」の形式。 Disquisitiones Arithmeticaeの参照は脚注「ガウス、DA,Art.n」形式のものである。

  • Gauss, Carl Friedrich (1828), Theoria residuorum biquadraticorum, Commentatio prima, Göttingen: Comment. Soc. regiae sci, Göttingen 6 
  • Gauss, Carl Friedrich (1832), Theoria residuorum biquadraticorum, Commentatio secunda, Göttingen: Comment. Soc. regiae sci, Göttingen 7 

これらはGauss'sWerke 、Vol II、pp.65-92と93–148にある。

ガウスの平方剰余相互法則の5番目と6番目の証明は

  • Gauss, Carl Friedrich (1818), Theoramatis fundamentalis in doctrina de residuis quadraticis demonstrationes et amplicationes novae 

これはGauss'sWerke 、Vol II、pp.47 – 64にある。

上記の3つすべてのドイツ語訳は次のとおり。これには、 DisquisitionesArithmeticaeとガウスの他の数論に関する論文もある。

  • Gauss, Carl Friedrich; Maser, H. (translator into German) (1965), Untersuchungen uber hohere Arithmetik (Disquisitiones Arithmeticae & other papers on number theory) (Second edition), New York: Chelsea, ISBN 0-8284-0191-8 

アイゼンシュタイン

[編集]
  • Eisenstein, Ferdinand Gotthold (1844), Beweis des Reciprocitätssatzes für die cubischen Reste in der Theorie der aus den dritten Wurzeln der Einheit zusammengesetzen Zahlen, J. Reine Angew. Math. 27, pp. 289–310 (Crelle's Journal) 
  • Eisenstein, Ferdinand Gotthold (1844), Nachtrag zum cubischen Reciprocitätssatzes für die aus den dritten Wurzeln der Einheit zusammengesetzen Zahlen, Criterien des cubischen Characters der Zahl 3 and ihrer Teiler, J. Reine Angew. Math. 28, pp. 28–35 (Crelle's Journal) 
  • Eisenstein, Ferdinand Gotthold (1845), Application de l'algèbre à l'arithmétique transcendante, J. Reine Angew. Math. 29 pp. 177–184 (Crelle's Journal) 

これらの論文はすべて彼の全集のVolIにある。

ヤコビ

[編集]
  • Jacobi, Carl Gustave Jacob (1827), De residuis cubicis commentatio numerosa, J. Reine Angew. Math. 2 pp. 66–69 (Crelle's Journal) 

これは彼の全集のVolVIにある。

現代の著者

[編集]
  • Ireland, Kenneth; Rosen, Michael (1990), A Classical Introduction to Modern Number Theory (Second edition), New York: Springer, ISBN 0-387-97329-X 

外部リンク

[編集]