数理・情報系のための整数論講義
SGCライブラリ - 58
数理・情報系のための整数論講義
木田雅成 著
2007年9月25日 初版発行
初等整数論
を環とし で係数がすべて の元であるような多項式全体の集合を表す。
環 を の多項式環という。
環 がすべての に対して
または
をみたすとき、 を整域と呼ぶ。
有理整数環
を整数とする。
をみたす があるとき、 は の約数である、あるいは は の倍数であるといい と表す。
を でない整数とする。
に対して をみたす整数 を の公約数という。
さらに の正の公約数 が、 の任意の公約数 に対して をみたすとき、 を の最大公約数といい、 あるいは とあらわす。
のとき は互いに素であるという。
ユークリッドの互除法
を正の整数とする。
とおき、さらに に対し、
で数列 を定義する。
このとき、ある自然数 があって となり、 が成り立つ。
イデアル
環 の空でない部分集合 が次の2条件をみたすとき、 を のイデアルという。
を環とするとき をとって、
とおくと、 は のイデアルになる。
を で生成された単項イデアルと呼ぶ。
整域 のすべてのイデアルが単項イデアルであるとき、 を単項イデアル整域という。
イデアル が素イデアルであるとは、 に対して、以下が成り立つことをいう:
または
イデアル を真に含む のイデアルが だけのとき、 を極大イデアルであるという。
極大イデアルは素イデアルである。
素元分解
環 の元で乗法に関する逆元を持つもの全体を で表す。
この集合の元を の単元という。
を整域とし、 とする。
- とする。 が を割るとは をみたす があることをいい、 と表す。
- は でも単元でもない元だとする。 が の既約元であるとは、次が成り立つことをいう。
- または
- がともに でないとする。 と が同伴であるとは、 かつ であることをいう。
整域 が次の2条件をみたすとき、一意分解整域であるという。
- の でも単元でもない元 はすべて有限個の既約元の積で書ける。(この分解を既約元分解と呼ぶ)
- この既約元分解は次の意味で一意的である:
- を、 の2通りの既約元分解とする。このとき で、番号をつけ直せば、 と () は同伴になる。
この節の主定理は次の定理である。
単項イデアル整域は一意分解整域である。
整域 の元 が素元であるとは、 は でも単元でもなくて、かつ が生成する単項イデアル が素イデアルであることをいう。
を整域とするとき、次が成立する。
- の素元は常に既約元である。
- が既約元分解の可能な整域であるとき、
- 既約元は素元である。 既約元分解は一意的である。
一意分解整域では、素元と既約元の概念は一致するから、既約元分解は素元分解である。
有理整数環 、体 上の多項式環 は単項イデアル整域であることから、以下が従う。
有理整数環 と体 上の多項式環 は一意分解整域である。
さらに次が成立する。
- より大きい任意の自然数は素数の積に一意的に表せる。
- 体上のモニックな任意の一変数多項式はモニックな既約多項式の積に一意的に表せる。
- 多項式がモニックであるとは、最高次の係数が であることである。
素イデアルは既約元で生成される単項イデアルであり、しかもそれは極大イデアルでもあることから、次が得られる。
および で素イデアルと極大イデアルは一致して、以下が成り立つ:
- が の素イデアル ( は素数)
- が の素イデアル ( は既約多項式)
剰余環
とする。
が成り立つとき、 と は を法として合同であるといい、 と書く。
を含む式を合同式といい、合同式による同値類は合同類と呼ばれる。
とするとき、
は を含む の合同類である:
以下が成り立つことから、 は たちの交わりのない和集合として表される:
で の合同類の全体を表すことにする。
に対して、和、積を
- 和:
- 積:
で定義すると、これは矛盾なく定義されていて、この演算で は可換環となる。
この環 を の による剰余環という。
有理整数環 では素イデアルであることと極大イデアルであることは同じであったので、剰余環 が整域であることと体であることは同じで、そのための条件は が素数であることである。
群
環 の単元の全体 は環 の積に関して群になる。
を の単元群と呼ぶ。
の単元群がどのようなものか調べてみる。
$$ \begin{align} a + m \mathbb{Z} \in (\mathbb{Z}/m\mathbb{Z})^{\ast} &\Longleftrightarrow \exists x + m\mathbb{Z} \in \mathbb{Z}/m\mathbb{Z} : (a + m\mathbb{Z})(x + m\mathbb{Z}) = 1 + m\mathbb{Z} \\ &\Longleftrightarrow \exists x \in \mathbb{Z} : ax \equiv 1 \pmod m \\ &\Longleftrightarrow \exists x,y \in \mathbb{Z} : ax - 1 = my \end{align} $$
であるから、一次不定方程式 が解を持つことが必要十分条件である。
整数 に対して、不定方程式 がの整数解 が存在するための必要十分条件は なので、以下が得られる。
群 が有限群であるとき、 の元の個数 を群の位数という。
の位数を と書く。
をオイラー関数という。
が素数 であるとき は体であるから、 となるので、 となる。
を群とし、 とする。
は の部分群になる。
ここで は のときは、 の 個の積を表し、 のときは の逆元の 個の積 を表す。
また、 を の単位元としたとき、 とする。
を で生成された巡回群といい、 を巡回群の生成元という。
群の元 に対し をみたす最小の自然数 を元 の位数といい で表す。
そのような がない場合は とする。
の位数が なら、 であり、 が成立する。
これから、 が位数 の有限群で、 に位数が の元 があれば、 自身が巡回群になる。
を群 の部分群とする。
が を法として左合同であるとは、 があって となることであり、 と書く。
部分群 を法として左合同であることは 上の同値関係である。
とおくと、これは左合同による を含む同値類になる。
の形の の部分集合を の に関する左剰余類という。
の に関する左剰余類の個数を と書いて の 内での指数と呼ぶ。
有限群 とその任意の部分群 に対して
が成り立つ。
特に部分群の位数は の位数の約数である。
に対して定理を適用すれば、 であることから、以下が導かれる。
ラグランジュの定理
群 の任意の元 の位数は の約数である。
すなわち、 が任意の について成り立つ。
特に がすべての について成り立つ。
であったことに注意して、 に対してこの系を使うと、次の結論が得られる。
オイラーの定理
に対して、
合同式で書き直すと、 と互いに素な整数 に対して次が成り立つ。
さらに が素数 であるときには次が従う。
フェルマーの小定理
が素数であるとき、 で割れない整数 に対して、以下が成り立つ。