記事ソース/フェルマーの小定理
メニュー現在 8 名がオンラインです。 最新の25件2023-12-12
2023-11-11
2023-11-06
2023-07-15
2022-09-14
2022-07-01
2022-06-12
2022-04-13
2021-12-03
2021-10-07
2021-08-12
2021-07-26
2021-06-30
2021-06-06
2021-05-02
2021-04-17
2021-03-20
2021-03-19
2021-03-11
|
記事ソース/フェルマーの小定理†これはrst2hooktailの記事ソース保存・変換用です（詳細）． コンバート公開・更新メニュー ▼▲記事ソースの内容==========================================
フェルマーの小定理
==========================================
群論を整数論に応用して得られる一つの結果として、フェルマーの小定理を見ます。フェルマーの小定理は群論を使わなくても証明できますが、ここまでに勉強した群論の知識を使うと、非常にエレガントに証明できてしまいます。
.. [*] 『 $3$ 以上の整数 $n$ に対し $x^n +y^n = z^n$ を満たす整数 $x,y,z$ の組は存在しない』という有名なフェルマーの定理と区別するために、こちらの方はフェルマーの小定理と呼ばれます。有名な方は『フェルマーの大定理』もしくは『フェルマーの最終定理』などと呼ばれます。フェルマーの大定理は、長年に渡って証明不可能だと思われていましたが、 $1995$ 年にワイルズ( $\text{Andrew \ John \ Wiles(1953-)}$ )によって証明されたのは、まだ記憶に新しいところです。歴史上、数多くの数学者がフェルマーの大定理を解決しようと試み、証明にこそ失敗しましたが、その過程で到達した様々な結果や概念によって代数学は大きな進歩を遂げました。さて、私達が勉強するのは小定理の方です。
.. figure:: Joh-Fermat.png
(フランスの切手にもなっているフェルマー)
フェルマーの小定理
-------------------------------------------------
整数全体 $Z$ の整数 $n$ の剰余類のうち、 $0$ を含む剰余類を除いた集合 ${Z_{n}}^{*}$ を考えます。このとき、 $n$ を素数(以後 $p$ と書きます)とすると、 $p$ は約数を持ちませんから、 ${Z_{n}}^{*}$ は $p$ の剰余類によって次のように書けます。
<tex>
{Z_{n}}^{*}=\{[1],[2],...,[p-1] \}
</tex>
よって、位数は $p-1$ です。
<tex>
|{Z_{n}}^{*}|=p-1
</tex>
これがフェルマーの小定理です。簡単でしたね！ただし、整数論の教科書に出てくるのは、次の形です。ここまでの議論は、次の定理の証明になっています。
.. admonition:: theorem
整数 $a$ を、 $p$ の倍数ではない整数とし、 $p$ を素数とするとき、 $a^{p-1} \equiv 1 \ ({\rm mod}.p)$ がなりたつ。
この定理で何が分かるのか、ちょっと分かり難いかも知れません。例を考えてみれば、なかなか強力な定理だということが分かると思います。
例： $218^{23}$ を $23$ で割った余りを求めてください。
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
フェルマーの小定理より、 $218^{23}=218\times (218^{23-1})\equiv 218 \equiv 11 \ ({\rm mod}.23)$ となって、余り $11$ が瞬時に求まります。
.. [*] フェルマーの小定理をつかえば、このように、とんでもなく大きな数でも、一瞬で余りが分かってしまいます。素数の判定や暗号理論に欠かせない定理なのです。
系
----------------------------------------------------------
フェルマーの小定理を、群論で使いやすい表現に書き直すと次のようになります。
.. admonition:: theorem
群 ${Z_{p}}^{*}$ で $p$ が素数のとき、 $|{Z_{p}}^{*}|=p-1$ がなりたつ。
さらに発展形として、次の定理を考えます。
.. admonition:: theorem
群 ${Z_{n}}^{*}$ の位数が素数 $p$ の冪 $p^{k}$ のとき、 $|{Z_{n}}^{*}|=p^{k}\Big(1-\frac{1}{p} \Big)$ がなりたつ。
.. admonition:: proof
この場合、 $1$ と $p^{k}$ の間にある、 $p^{k}$ と互いに素であるような数は、 $1$ から $p^{k}$ の間にある数のうち、 $p$ の倍数、 $p,2p,3p,...,p^{k}-2p,p^{k}-p,p^{k}$ を除いたものです。このような数は、全部で $p^{k-1}$ 個ありますので、 $1$ と $p^{k}$ の間にある、 $p^{k}$ と互いに素である整数は全部で $p^{k}-p^{k-1}=p^{k}\Big(1-\frac{1}{p} \Big)$ 個あると言えます。よって $|{Z_{n}}^{*}|=p^{k}\Big(1-\frac{1}{p} \Big)$ がなりたちます。■
さらに一般の場合には、次のように定理を拡張できます。
.. admonition:: theorem
群 ${Z_{n}}^{*}$ の位数 $n$ が $n={p_{1}}^{k_{1}}{p_{2}}^{k_{2}}\cdot \cdot \cdot {p_{s}}^{k_{s}}$ のように素因数分解できるとき、 $|{Z_{n}}^{*}|={p_{1}}^{k_{1}}{p_{2}}^{k_{2}}\cdot \cdot \cdot {p_{s}}^{k_{s}}\Big(1-\frac{1}{p_{1}} \Big)\Big(1-\frac{1}{p_{2}} \Big)\cdot \cdot \cdot \Big(1-\frac{1}{p_{s}} \Big)$ がなりたつ。
この定理の証明は省略します。これは、このあとに勉強する シローの定理_ の一つの表現になっています。
.. _シローの定理: http://www12.plala.or.jp/ksp/algebra/Sylow/
@@author:Joh@@
@@accept: 2006-04-23@@
@@category: 代数学@@
@@id: FermatLittleTheorem@@
|
