ガウス整数のソースを表示
←
ガウス整数
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
[[画像:gaussian integer lattice.svg|217px|thumb|ガウス整数とは、[[複素数平面]]では格子点に当たる。]] '''ガウス整数'''（ガウスせいすう、{{lang-en|''Gaussian integer''}}）とは、実部と虚部が共に[[整数]]である[[複素数]]のことである。すなわち、{{math|''a'' + ''bi''}}（{{math2|''a'', ''b''}} は整数）の形の数のことである。ここで {{mvar|i}} は[[虚数単位]]を表す。ガウス整数という名称は、[[カール・フリードリヒ・ガウス]]が導入したことに因む。ガウス自身はガウス整数のことを'''複素整数'''（{{lang-de|''Komplexe Ganze Zahl''}}）と呼んだ<ref>河田敬義『19世紀の数学 整数論』[[共立出版]]、1992年 ISBN 4320012771</ref>が、今日ではこの呼称は一般的ではない。 通常の整数は、{{math|''b'' {{=}} 0}} の場合なので、ガウス整数の一種である。区別のために、通常の整数は'''有理整数'''と呼ばれることもある。 数学的には一つ一つのガウス整数を考えるよりも、[[集合]]として全体の構造を考える方が自然である。ガウス整数全体の集合を {{math|'''Z'''[''i'']}} と表し、これを'''ガウス整数環'''と呼ぶ。すなわち、 :<math>\mathbb{Z} [i]:=\{ a+bi \mid a,b \in \mathbb{Z} \}</math> である（{{mathbf|Z}} は有理整数環、すなわち有理整数全体の集合を表す）。その名が示すように、ガウス整数環は加法と乗法について閉じており、[[環 (数学)|環]]としての構造を持つ。複素数[[可換体|体]] {{mathbf|C}} の[[環 (数学)|部分環]]であるから、[[整域]]でもある。 {{mathbf|Q}} を有理数体、すなわち有理数全体の集合とするとき、 :<math>\mathbb{Q} (i):=\{ a+bi \mid a,b \in \mathbb{Q} \}</math> を'''ガウス数体'''という。ガウス整数環はガウス数体の[[整数環]]である。ガウス数体は、典型的な[[代数体]]であるところの[[円分体]]や[[二次体]]の一種であるので、ガウス整数環は[[代数的整数論]]における最も基本的な対象の一つである。 == ノルム == ガウス整数 {{math|''α'' {{=}} ''a'' + ''bi''}} は[[二次方程式]] {{math2|''x''{{sup|2}} − 2''ax'' + (''a''{{sup|2}} + ''b''{{sup|2}}) {{=}} 0}} の解である（ゆえにガウス整数は[[代数的整数]]である）。この方程式のもう一つの解は {{math|''a'' − ''bi''}} である。これを {{mvar|α}} の[[代数的数|共役]]といい、{{math|{{overline|''α''}}}} で表す（この場合、{{math|{{overline|''α''}}}} は {{mvar|α}} の[[複素共役]]でもある）。方程式の[[係数]]に現れる、共役との和 {{math|2''a''}} を {{mvar|α}} の'''トレース'''（もしくは'''シュプール'''）、共役との積 {{math|''a''{{sup|2}} + ''b''{{sup|2}}}} を {{mvar|α}} の'''ノルム'''という。すなわち、ガウス整数のノルムとは :{{math|N(''a'' + ''bi'') :{{=}} ''a''{{sup|2}} + ''b''{{sup|2}}}} で与えられる非負の有理整数である。この値は[[絶対値]]の平方に等しい。また、ノルムは乗法的性質を持つ。すなわち、2つのガウス整数 {{math2|''α'', ''β''}} に対して :{{math|1=N(''αβ'') = N(''α'')N(''β'')}} が成り立つ。 == 整除性 == 「約数」「倍数」の概念を、有理整数環 {{mathbf|Z}} 上のみならずガウス整数環上でも自然に定義することができる。2つのガウス整数 {{math2|''α'', ''β''}} に対して、{{math|''β'' {{=}} ''αγ''}} を満たすガウス整数 {{mvar|γ}} が存在するとき、{{mvar|β}} は {{mvar|α}} の'''倍数'''（{{mvar|β}} は {{mvar|α}} で割り切れる）、{{mvar|α}} は {{mvar|β}} の'''約数'''（{{mvar|α}} は {{mvar|β}} を割り切る）であるといい、{{math|''α'' {{!}} ''β''}} と表す。 {{math|1}} の約数を'''単数'''という。ガウス整数環における単数は {{math2|1, −1, ''i'', −''i''}} の4つのみである。 :（証明）： :ガウス整数環の単数を {{math|''ε'' {{=}} ''a'' + ''bi''}} とおく。単数の定義より、{{math|''εε′'' {{=}} 1}} を満たすガウス整数 {{mvar|ε'}} が存在する。両辺のノルムを取ると、ノルムの乗法性より ::{{math|N(''ε'')N(''ε′'') {{=}} 1}} :となる。ノルムは非負の有理整数であるから、 ::{{math|1=''a''{{sup|2}} + ''b''{{sup|2}} = N(''ε'') = 1.}} :{{math2|''a'', ''b''}} は有理整数であるから、 :{{math|(''a'', ''b'') {{=}} (1, 0), (−1, 0), (0, 1), (0, −1).}} :∴ {{math|''ε'' {{=}} ''a'' + ''bi'' {{=}} 1, −1, ''i'', −''i''.}}（証明終） 2つのガウス整数が'''[[同伴]]'''であるとは、その比が単数であることをいう。これはガウス整数の[[同値関係]]である。単数は、4個の単数を約数に持ち、それ以外の任意のガウス整数は、4個の単数および自身と同伴なもの4個の計8個を約数に持つ。これを'''自明な約数'''という。 :例： :{{math|2 {{=}} 1 × 2 {{=}} (1 + ''i'')(1 − ''i'')}} より、{{math|2}} の約数は {{math2|±1, ±2, ±''i'', ±2''i'', ±(1 + ''i''), ±(1 − ''i'').}} :同伴による違いを除くと、{{math|2}} の約数は {{math2|1, 1 + ''i'', 2.}} :{{math|3 {{=}} 1 × 3}} より、{{math|3}} の約数は {{math2|±1, ±3.}} :同伴による違いを除くと、{{math|3}} の約数は {{math2|1, 3.}} :{{math|5 {{=}} 1 × 5 {{=}} (1 + 2''i'')(1 − 2''i'') {{=}} (2 − ''i'')(2 + ''i'')}} より、{{math|5}} の約数は {{math2|±1, ±5, ±''i'', ±5''i'', ±(1 + 2''i''), ±(1 − 2''i''), ±(2 + ''i''), ±(2 − ''i'').}} :同伴による違いを除くと、{{math|5}} の約数は {{math2|1, 1 + 2''i'', 1 − 2''i'', 5.}} *{{mvar|α}} が {{mvar|β}} の約数で、{{mvar|ε}} が単数であるとき、{{mvar|εα}} も {{math|''β''}} の約数になる。 *単数の約数は4個 ({{math|±1}}, {{math|±''i''}}) である。 *単数でないガウス整数 {{mvar|α}} は、自明な約数を8個 ({{math|±1}}, {{math|±''α''}}, {{math|±''i''}}, {{math|±''iα''}}) もつ。 === 公約数 === 複数のガウス整数の共通の約数を'''公約数'''と呼ぶ。公約数が単数のみであるとき、それらのガウス整数たちは'''互いに素'''であるという。さて、公約数を定義したなら、'''最大公約数'''も定義したくなるが、次の注意が必要である。 # 複素数の間には大小関係が定義されていないので、「最大」の意味するところをはっきりさせる必要がある。 # 最大公約数は「一意」に存在するか。 # 最大公約数に期待される性質「任意の公約数は最大公約数の約数」が成り立つか。 1に対する一つの答として、「最大」とはノルムが最大と解釈すればよい。2と3についてはそれほど明らかではないが、後述するように、ガウス整数環においては[[素因数分解]]の一意性が成り立つことから、答は肯定的である。ただし、正確には最大公約数は完全に一意に決定するのではなく、同伴の違いにより4つ存在することになる（有理整数環における通常の最大公約数も、正のものと負のものの2つが存在する）。逆に言うと、素因数分解の一意性が成り立たない整数環においては、公約数や最大公約数を定義する意義があまりない。 == ガウス素数 == [[画像:Gauss-primes-768x768.png|200px|thumb|ガウス平面上のガウス素数。この模様は、床の[[タイル]]貼りやテーブルクロス織りに用いられることもある。有限の歩幅を持った人が、ガウス素数のみを踏むことによって、いくらでも遠くに行くことができるか、という問題は未解決である<ref>Section A16 in ;Richard K. Guy, Unsolved Problems in Number Theory, 3rd edition, Springer-Verlag, 2004.（初版の日本語訳）一松信『数論における未解決問題集』[[シュプリンガー・ジャパン|シュプリンガー・フェアラーク東京]]、1994年、ISBN 4431705848.</ref>。]] [[画像:Gaussian primes.svg|200px|thumb|上部の画像の中央部分を拡大した図。]] ガウス整数環を含む一般の[[環 (数学)|環]]において、単数以外の元の積で表せない元のことを'''[[既約元]]'''といい、'''[[素元]]'''とは別であるが、後述するようにガウス整数環においては既約元と素元は同じ概念になるので問題はない。 約数が、同伴による違いを除いて {{math|1}} と自分自身のみである単数ではないガウス整数を'''ガウス素数'''と呼ぶ。同伴による違いを区別しても、ガウス素数 {{mvar|z}} とは、約数が（8個の）自明な約数 ({{math2|±1, ±''i'', ±''z'', ±''iz''}}) のみであるガウス整数のことである。通常の有理整数環 {{mathbf|Z}} での素数と区別するために、通常の素数は'''有理素数'''と呼ばれることもある。 ガウス素数には以下の3つのタイプがある。 *ノルムが {{math|2}} であるもの。すなわち、{{math|±(1 + ''i'')}}, {{math|±(1 − ''i'')}} の4つ。 *ノルムが {{math|4''n'' + 1}} の形の有理素数であるもの ::これは {{math|4''n'' + 1}} 型の有理素数の分解を与える。 ::{{math|100}} 以下の {{math|4''n'' + 1}} 型の有理素数の分解（同伴な表示は略）： ::{{math|[[5]] {{=}} (1 + 2''i'')(1 − 2''i'')}} ::{{math|[[13]] {{=}} (2 + 3''i'')(2 − 3''i'')}} ::{{math|[[17]] {{=}} (1 + 4''i'')(1 − 4''i'')}} ::{{math|[[29]] {{=}} (2 + 5''i'')(2 − 5''i'')}} ::{{math|[[37]] {{=}} (1 + 6''i'')(1 − 6''i'')}} ::{{math|[[41]] {{=}} (4 + 5''i'')(4 − 5''i'')}} ::{{math|[[53]] {{=}} (2 + 7''i'')(2 − 7''i'')}} ::{{math|[[61]] {{=}} (5 + 6''i'')(5 − 6''i'')}} ::{{math|[[73]] {{=}} (3 + 8''i'')(3 − 8''i'')}} ::{{math|[[89]] {{=}} (5 + 8''i'')(5 − 8''i'')}} ::{{math|[[97]] {{=}} (4 + 9''i'')(4 − 9''i'')}} *{{math|4''n'' + 3}} の形の有理素数と同伴のもの。 **{{math2|[[3]], [[7]], [[11]], [[19]], [[23]], [[31]], [[43]], [[47]], [[59]], [[67]], [[71]], [[79]], …}}（{{OEIS|A002145}}） これは「2つの平方数の和で表せる素数は {{math|2}} と {{math|4''n'' + 1}} の形のものに限る」という定理（[[二個の平方数の和|フェルマーの二平方和定理]]）と、ガウス素数が素元であることによる。有理素数の単数以外による分解は {{math|2}} または {{math|4''n'' + 1}} 型に限られ、その分解は :{{math|''p'' {{=}} (''m'' + ''ni'')(''m'' − ''ni'')}} の形に限られる。 有理素数がガウス素数であるかどうかについて、{{math|2}} と {{math|4''n'' + 1}} 型の有理素数は2つの[[複素共役|共役]]なガウス素数に因数分解できるので、実質1つのガウス素数の平方であると解釈できる。この状況を「{{math|2}} は'''分岐'''する」と表現する。また、{{math|4''n'' + 3}} 型の有理素数はガウス素数でもある。この状況を「{{math|3}} は'''惰性'''する」と表現する。 このように、ある環では素元であったものが、拡張した環でも素元であるか、またはどのような素元の積に分解されるのか、という問題は[[代数的整数論]]の主題の一つである（より正確には素元の代わりに[[素イデアル]]を考える）。 == 素因数分解の一意性 == ガウス整数環の特筆すべき性質として、素元分解整域（[[一意分解環]]などともいう）であるという事実がある。つまり、 :任意のガウス整数は積の順序・同伴による違いを除いてガウス素数の積で一意に表すことができる という定理がある。 :例： :{{math|5 {{=}} (1 + 2''i'')(1 − 2''i'') {{=}} (2 + ''i'')(2 − ''i'')}} :は2通りの因数分解を与えているが、{{math|1 + 2''i''}} と {{math|2 − ''i''}}、{{math|1 − 2''i''}} と {{math|2 + ''i''}} がそれぞれ同伴であるので、これらは同じ因数分解とみなす。 :（有理整数環で {{math|6 {{=}} 2 × 3 {{=}} (−3) × (−2)}} は区別しないのと同様である） 素因数分解の一意性は、当然成り立つことであるかのように誤解されることは多い。[[初等教育]]・[[中等教育]]では、有理整数の素因数分解の一意性の非自明性について触れられることはほとんどないが、しかし {{math|{{sqrt|2}}}} が無理数であることの証明で、素因数分解の一意性を用いずに証明している、という点が挙げられる。歴史的にも長い間証明が必要なこととは認識されていなかった。しかし、例えば :<math>\mathbb{Z} [\sqrt{-5} ]:=\{ a+b\sqrt{-5} \mid a,b\in \mathbb{Z} \}</math> においては :{{math|6 {{=}} 2 × 3 {{=}} (1 + {{sqrt|−5}})(1 − {{sqrt|−5}})}} であるので素因数分解（正確には既約元分解）の一意性が成り立たない。<math>\mathbb{Z} [\sqrt{-5} ]</math> の単数は {{math|1}}, {{math|−1}} のみなので、同伴の違いでもない。そもそも、{{math2|2, 3, 1 + {{sqrt|−5}}, 1 − {{sqrt|−5}}}} は既約元ではあるが[[素元]]ではないので、一意性以前に素元分解ができないのである。なお、素元分解ができれば一意的であることは、素元の定義より直ちに分かる。 === 証明 === ガウス整数環における素因数分解の一意性は、ガウスが初めて証明した。現代的には、環論の用語を用いて次のように証明するのが一般的である。 :ガウス整数環はノルムに関して[[ユークリッド整域]]である。一般にユークリッド整域は[[単項イデアル整域]]であり、単項イデアル整域は素元分解整域である。したがって、ガウス整数環は素元分解整域である。 以下では、なるべく環論の用語を用いずに、証明のあらすじを与える。 '''ステップ1'''（ガウス整数環がユークリッド整域であること） ユークリッド整域とは、素朴に言えば、その中で適切な余りの出る割り算ができる整域のことである。[[ユークリッドの互除法]]が通用する整域という意味合いである。ガウス整数環はノルムに関してユークリッド整域である。すなわち、次が成り立つ。 :任意のガウス整数 {{math2|''α'', ''β'' (≠ 0)}} に対して :{{math|''α'' {{=}} ''β''γ + δ (N(δ) < N(''β''))}} :を満たすガウス整数 {{math2|γ, δ}} が存在する。 （証明）ガウス平面において <math>\frac{\alpha}{\beta}</math> に最も近いガウス整数 {{math|γ}} を取ると :<math>\left| \frac{\alpha}{\beta} -\gamma \right| \le \frac{1}{\sqrt{2}} <1</math> :（中辺は一辺の長さが {{math|1}} の正方形の対角線の長さの半分）であることから、{{math|N(''α'' − ''β''γ) < N(''β'')}} となるので、{{math|δ {{=}} ''α'' − ''β''γ}} とおけばよい。 '''ステップ2'''（ガウス整数環が単項イデアル整域であること） [[単項イデアル整域]]とは、任意の[[イデアル]]が[[単項イデアル]]である整域のことであるが、ここではイデアルという用語を用いずに、対応する以下の命題を示す。 :ガウス整数 {{math2|''α'', ''β''}} に対し、{{math|''aα'' + ''bβ''}} が {{math|''α''}} と {{math|''β''}} の公約数となるように、ガウス整数 {{math2|''a'', ''b''}} を取ることができる。 （証明）ガウス整数の集合 :{{math|1=''J'' := {''Aα'' + ''Bβ'' {{!}} ''A''}} と {{mvar|B}} はガウス整数{{math|{{)}}}} の中から、{{math|0}} 以外でノルムが最小であるものを一つ選び {{math|''g'' {{=}} ''aα'' + ''bβ''}} とおく。ステップ1 より、 :{{math|1=''α'' = ''gγ'' + ''δ'' (N(''δ'') < N(''g''))}} を満たす {{math2|''γ'', ''δ''}} が取れる。 :{{math|1=''δ'' = ''α'' − ''g''γ {{=}} ''α'' − (''aα'' + ''bβ'')''γ'' = (1 − ''a'')''α'' − (''bγ'')''β''}} であるから、{{math|δ}} は {{mvar|J}} の元である。{{mvar|g}} は {{mvar|J}} の {{math|0}} でない元のうちノルムが最小のものであったから、{{math|''δ'' {{=}} 0}} でなければならない。ゆえに、{{mvar|g}} は {{mvar|α}} を割る。同様にして、{{mvar|g}} は {{mvar|β}} も割る。 '''ステップ3'''（既約元が素元であること） {{mvar|π}} を先の定義によるガウス素数とする。このとき、 :{{mvar|π}} が2つのガウス整数の積 {{mvar|αβ}} を割るならば、{{mvar|π}} は {{mvar|α}} と {{mvar|β}} の少なくとも一方を割る。 （証明）ステップ2 より、{{mvar|α}} と {{mvar|π}} の公約数 {{math|''g'' {{=}} ''aα'' + ''bπ''}} が取れる。{{mvar|π}} はガウス素数であるから、{{mvar|g}} は単数であるか、{{mvar|π}} と同伴であるかのどちらかである。まず、{{mvar|g}} が単数とすると、 :{{math|''gβ'' {{=}} ''aαβ'' + ''bπβ''}} であって、仮定より {{mvar|π}} は {{mvar|αβ}} を割るので {{mvar|π}} は左辺の {{mvar|gβ}} も割る。{{mvar|g}} は単数であるから、{{mvar|π}} は {{mvar|β}} を割る。次に、{{mvar|g}} が {{mvar|π}} と同伴とすると、{{mvar|g}} は {{mvar|α}} を割るから、{{mvar|π}} も {{mvar|α}} を割る。 以上でステップ3 の証明は終わりであるが、この性質を繰り返し用いる（正確には[[数学的帰納法]]を用いる）ことにより、次の性質が分かる。 :ガウス素数 {{mvar|π}} が {{mvar|n}} 個のガウス整数の積 {{math|''α''{{sub|1}}''α''{{sub|2}}…''α{{sub|n}}''}} を割るならば、{{mvar|π}} はどれかの {{mvar|α{{sub|i}}}} を割る。 '''ステップ4'''（任意のガウス整数がガウス素数の積に一意に表せること） （証明）まず、任意のガウス整数 {{mvar|α}} がガウス素数の積に分解できることを説明する。{{mvar|α}} が単数もしくはガウス素数ならば、するべきことは何もない。そうでなければ、自明でない約数を持つので、2つのガウス整数の積に分解される。このとき、それぞれのノルムは {{mvar|α}} のノルムよりも小さいので、分解を繰り返せば、各要素のノルムはどんどん小さくなっていき、いつかはそれ以上分解できなくなる。それが求めるガウス素数への分解である。正確に示すためには数学的帰納法を用いればよい。 最後に分解が一意的であることを示す。仮に2通りのガウス素数への分解 :{{math|1=''α''{{sub|1}}''α''{{sub|2}}…''α{{sub|n}}'' {{=}} ''β''{{sub|1}}''β''{{sub|2}}…''β{{sub|m}}''}} が等しいとすると、ステップ3 よりガウス素数 {{math|''β''{{sub|1}}}} はどれかの {{mvar|α{{sub|i}}}} を割る。順序を入れ替えることにより、{{math|''α''{{sub|1}}}} を割るとしてよい。両辺をそれで割ることにより :{{math|1=''α''{{sub|2}}…''α{{sub|n}}'' = ''β''{{sub|2}}…''β{{sub|m}}'' × }}単数 を得る。これを繰り返すことにより、実は2つの分解は同等であることが分かる。（証明終） 通常の割り算を考えれば、有理整数環も絶対値に関してユークリッド整域であるので、同様にして素元分解整域であることが示される。一般に、ユークリッド整域は単項イデアル整域であり、単項イデアル整域は素元分解整域であることの証明は、有理整数環やガウス整数環における証明を[[プロトタイプ]]としてほぼ同様に行える。ただし、最後のステップにおいて、有限個の既約元の積に分解されることを示すのにノルムを用いたが、一般には単項イデアル整域の性質のみで同様のことが示せる。 == 応用 == === ピタゴラス数 === ここでは、ガウス整数環の素因数分解の一意性の簡単な応用例として、[[ピタゴラスの定理#ピタゴラス数|ピタゴラス数]]のうち、互いに素であるものは全て次の公式 :{{math|(''m''{{sup|2}} − ''n''{{sup|2}}, 2''mn'', ''m''{{sup|2}} + ''n''{{sup|2}})}} で与えられることを確かめる。 {{math|(''a'', ''b'', ''c'')}} を原始ピタゴラス数とする。すなわち :{{math|''a''{{sup|2}} + ''b''{{sup|2}} {{=}} ''c''{{sup|2}}}} であって {{math2|''a'', ''b'', ''c''}} は互いに素とする。簡単に分かるように、{{mvar|a}} と {{mvar|b}} は偶奇が異なり、{{mvar|c}} は奇数である。左辺を因数分解して :{{math|(''a'' + ''bi'')(''a'' − ''bi'') {{=}} ''c''{{sup|2}}}} を得る。ガウス素数 {{math|''a'' + ''bi''}} と {{math|''a'' − ''bi''}} は互いに素である。実際、あるガウス素数 {{mvar|α}} が両方を割り切るとすると、その和や差も割り切るので、{{math|2''a''}} と {{math|2''b''}} を割り切る。{{mvar|a}} と {{mvar|b}} は互いに素であるので、{{mvar|α}} は {{math|2}} を割り切る。{{mvar|α}} は {{mvar|c}} も割り切るので、{{mvar|c}} が奇数であることに矛盾する。したがってそのようなガウス素数 {{mvar|α}} は存在しない。 互いに素である {{math|''a'' + ''bi''}} と {{math|''a'' − ''bi''}} の積が平方数であるので、それぞれ平方数と同伴である（ここで素因数分解の一意性を用いた）。例えば {{math|''a'' + ''bi'' {{=}} (''m'' + ''ni''){{sup|2}}}} とおくと、上記の公式を得る。同伴の違いは符号の違いや {{mvar|a}} と {{mvar|b}} の入れ替えを与えるのみである。実際に公式が原始ピタゴラス数を与えるためには、{{math2|''m'', ''n''}} は互いに素で偶奇が異なり、{{math|''m'' > ''n''}} である必要がある。 このアイデアは、一見して一般のフェルマー方程式 :{{math|''a{{sup|n}}'' + ''b{{sup|n}}'' {{=}} ''c{{sup|n}}'' (''n'' ≥ 3)}} に適用できるかのように思われる。実際、{{mvar|n}} が奇数のとき、{{math|ζ}} を [[1の冪根|{{math|1}} の原始 {{mvar|n}} 乗根]]とすると、左辺が一次式の積に分解されて :{{math|(''a'' + ''b'')(''a'' + ''bζ'')(''a'' + ''bζ''{{sup|2}})…(''a'' + ''bζ''{{sup|''n''−1}}) {{=}} ''c{{sup|n}}''}} となる。よって、この場合は円分体の整数環 :<math>\mathbb{Z} [\zeta ]:=\{ a_0 +a_1 \zeta +a_2 \zeta^2 +\cdots +a_{n-1} \zeta^{n-1} \mid a_i \in \mathbb{Z} \}</math> を考えることになる。1847年、[[ガブリエル・ラメ]]はこの方針で[[フェルマーの最終定理]]を証明したと宣言した<ref>[[足立恒雄]]『フェルマーの大定理 整数論の源流』[[筑摩書房]]、2006年 ISBN 4480090126</ref>。しかし、<math>\mathbb{Z} [\zeta ]</math> で素因数分解の一意性が成り立つと（無意識に）勘違いしていたこと、単数を決定していなかったことなどから、その証明は不完全なものであった。しかし、全く意味が無かったわけではなく、[[エルンスト・クンマー|クンマー]]や[[リヒャルト・デーデキント|デデキント]]らによる[[イデアル]]論の研究を刺激し、代数的整数論の発展を促したという一面がある。 === 4乗剰余の相互法則 === ガウスがガウス整数環について研究した動機の一つは、次のような問題である。 :整数 {{mvar|n}} と素数 {{mvar|p}} に対して[[合同式]] {{math|''x''{{sup|4}} ≡ ''n'' (mod ''p'')}} が解を持つのはいかなる場合か。 この問題は、有理整数環の世界のみで考えるのではなく、ガウス整数環で考える方が本質的である。今日では4乗剰余の相互法則と呼ばれる公式が、一つの解答を与えている。ガウスは1828年と1832年の二度にわたって、4乗剰余に関する自身の研究をまとめた論文を刊行している。後者の論文において、ガウス整数環における既約分解の一意性を証明し、4乗剰余の相互法則を定式化した。ガウス自身は相互法則の証明を公表しなかったが、ガウスの弟子である[[フェルディナント・ゴットホルト・マックス・アイゼンシュタイン|アイゼンシュタイン]]が1844年に証明を公表した。アイゼンシュタインはさらに、3乗剰余の相互法則の定式化と証明を行った。4乗剰余を考える際に、{{mathbf|Z}} に {{math|1}} の原始4乗根（虚数単位）を付加した環を考えることが必要であったように、3乗剰余を考えるためには、{{mathbf|Z}} に {{math|1}} の原始3乗根を付加した環（今日ではアイゼンシュタイン整数環と呼ばれる）を考えることが必要である。なお、後に公表されたガウスの遺稿によると、ガウスはすでに4乗剰余の相互法則の証明を与え<ref>平松豊一『数論を学ぶ人のための相互法則入門』牧野書店、1998年 ISBN 479520120X</ref>、3乗剰余についても先鞭をつけていた<ref>E.T. ベル著、田中勇、銀林浩訳『数学をつくった人びと』[[早川書房]]、2003年 ISBN 4150502846</ref>ことが分かる。 == 関連項目 == *[[カール・フリードリヒ・ガウス]] *[[アイゼンシュタイン整数]] *[[平方剰余の相互法則]] *[[ガロア拡大での素イデアルの分解]]で、ガウス整数での素イデアルの分解の構造を記述 == 参考文献 == {{Reflist}} == 外部リンク == * {{kotobank|ガウスの整数}} * {{高校数学の美しい物語|1347|ガウス整数とその応用}} {{数の体系}} {{代数的数}} {{DEFAULTSORT:かうすせいすう}} [[Category:数論]] [[Category:代数的数]] [[Category:円分体]] [[Category:格子点]] [[Category:カール・フリードリヒ・ガウス]] [[Category:数学のエポニム]] [[Category:数学に関する記事]]
このページで使用されているテンプレート:
テンプレート:Kotobank
(
ソースを閲覧
)
テンプレート:Lang-de
(
ソースを閲覧
)
テンプレート:Lang-en
(
ソースを閲覧
)
テンプレート:Math
(
ソースを閲覧
)
テンプレート:Math2
(
ソースを閲覧
)
テンプレート:Mathbf
(
ソースを閲覧
)
テンプレート:Mvar
(
ソースを閲覧
)
テンプレート:OEIS
(
ソースを閲覧
)
テンプレート:Reflist
(
ソースを閲覧
)
テンプレート:代数的数
(
ソースを閲覧
)
テンプレート:数の体系
(
ソースを閲覧
)
テンプレート:高校数学の美しい物語
(
ソースを閲覧
)
ガウス整数
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報