MathLabs

代数学

環と体

加法と乗法という2つの演算を持つ代数構造で、整数や有理数を一般化したもの。

直観足し算・引き算・掛け算ができるとき——そして割り算までできるとき

整数 Z\mathbb{Z} の中では、足し算・引き算・掛け算をどれだけ行っても Z\mathbb{Z} の外に出ることはなく、乗法は a(b+c)=ab+aca(b + c) = ab + ac によって加法の上に分配される——この2つの演算の組こそ代数学者が環と呼ぶものである。しかし Z\mathbb{Z} では割り算はうまくいかない:1/21/2 は整数ではない。有理数 Q\mathbb{Q}(あるいは素数 pp を法とする時計算術 Z/pZ\mathbb{Z}/p\mathbb{Z})に移ると、a⋅a−1=1a \cdot a^{-1} = 1 によってすべての非零元での割り算が復活し、環は体になる。

剰余類の巡回的な回転を示すインタラクティブな単位円。
環 Z/9Z\mathbb{Z}/9\mathbb{Z}(m=9m=9)では a=3a=3 を掛けると 33 と 66 が 00 に潰れる(零因子!)が、mm が素数ならすべての非ゼロ元 aa が可逆となり Z/mZ\mathbb{Z}/m\mathbb{Z} は体をなす。

中高環・整域・体の公理

定義: 環・整域・体

環 (R,+,⋅)(R,+ ,\cdot) とは、(R,+)(R,+) が(零元 00 と逆元 −a-a を持つ)アーベル群であり、乗法 ⋅\cdot が単位元 11 を持つ結合的な演算であり、かつ乗法が加法の上に分配される(a(b+c)=ab+aca(b + c) = ab + ac および (a+b)c=ac+bc(a+b)c = ac + bc)集合である。1≠01 \neq 0 を満たす可換環(ab=baab=ba)は、零因子を持たない(ab=0  ⟹  a=0ab=0 \implies a=0 または b=0b=0)とき整域といい、すべての a≠0a \neq 0 が a⋅a−1=1a \cdot a^{-1} = 1 を満たす乗法逆元 a−1a^{-1} を持つとき体という。

a(b+c)=ab+ac,(a+b)c=ac+bca(b + c) = ab + ac, \qquad (a + b)c = ac + bc

任意の可換環 RR の中で、イデアル I⊆RI \subseteq R とは加法に関する部分群であって、環の任意の元との乗法を吸収する(r∈R,x∈I  ⟹  rx∈Ir \in R, x \in I \implies rx \in I)ものである。Z\mathbb{Z} を主イデアル nZn\mathbb{Z} で割ることで剰余環 Z/nZ\mathbb{Z}/n\mathbb{Z} が得られ、その算術は通常の nn を法とする加法と乗法である。

Z/nZ={0ˉ,1ˉ,…,n−1‾},aˉ bˉ=ab mod n‾\mathbb{Z}/n\mathbb{Z} = \{\bar{0}, \bar{1}, \dots, \overline{n-1}\}, \qquad \bar{a}\,\bar{b} = \overline{ab \bmod n}
代表的な環と体の比較
構造乗法に関する主要な性質
整数 Z\mathbb{Z}整域だが体ではない:乗法逆元を持つのは ±1\pm 1 のみ
有理数 Q\mathbb{Q}・実数 R\mathbb{R}・複素数 C\mathbb{C}無限体:すべての非零元が逆元を持つ
合成数 nn に対する Z/nZ\mathbb{Z}/n\mathbb{Z}(例:n=6n=6)零因子を持つ可換環(Z/6Z\mathbb{Z}/6\mathbb{Z} で 2ˉ⋅3ˉ=0ˉ\bar{2}\cdot\bar{3}=\bar{0});体ではない
素数 pp に対する Z/pZ\mathbb{Z}/p\mathbb{Z}pp 元からなる有限体:すべての aˉ≠0ˉ\bar{a} \neq \bar{0} が可逆

大学環が体になるとき

DD が有限整域であれば、DD のすべての非零元は乗法逆元を持ち、したがって DD は体である。

なぜ正しいのか?

有限集合の上では、異なる2つの入力を決して同じ出力に送らない写像は、鳩の巣原理によって可能なすべての出力——11 を含む——に到達せざるを得ない。

証明

a∈Da \in D を任意の非零元とし、La(x)=axL_a(x) = ax で定義される左乗法写像 La:D→DL_a : D \to D を考える。

まず LaL_a が単射であることを示す。La(x)=La(y)L_a(x) = L_a(y) とすると ax=ayax = ay、すなわち a(x−y)=0a(x - y) = 0 となる。DD は整域であり a≠0a \neq 0 であるから零因子は存在せず、x−y=0x - y = 0 すなわち x=yx = y が従う。

DD は有限集合であるから、任意の単射 D→DD \to D は(鳩の巣原理 ∣La(D)∣=∣D∣|L_a(D)| = |D| により)自動的に全射となる。特に乗法単位元 1∈D1 \in D は LaL_a の像に含まれなければならず、La(b)=ab=1L_a(b) = ab = 1 を満たす b∈Db \in D が存在する。よって b=a−1b = a^{-1} であり、a≠0a \neq 0 は任意だったから DD は体である。

整数 p≥2p \ge 2 に対し、剰余環 Z/pZ\mathbb{Z}/p\mathbb{Z} が体であることと、pp が素数であることは同値である。

なぜ正しいのか?

pp が素数のときは、pp より小さいどの非零の数も pp と共通因数を持たないため、ベズーの等式が常に法 pp での逆元を作り出す。一方 pp が合成数のときは、その因数同士を掛けると p≡0p \equiv 0 となって可逆性が壊れる。

証明

(⇐\Leftarrow)pp を素数とし、aˉ∈Z/pZ\bar{a} \in \mathbb{Z}/p\mathbb{Z} を 1≤a≤p−11 \le a \le p - 1 なる整数 aa で代表される任意の非零剰余類とする。pp は素数であり p∤ap \nmid a であるから、aa と pp の最大公約数は gcd⁡(a,p)=1\gcd(a,p) = 1 である。

ベズーの等式により、au+pv=1au + pv = 1 を満たす整数 u,v∈Zu, v \in \mathbb{Z} が存在する。両辺を法 pp で還元すると倍数 pvpv は消え、Z/pZ\mathbb{Z}/p\mathbb{Z} において aˉ uˉ=1ˉ\bar{a}\,\bar{u} = \bar{1} が残る。よって uˉ=aˉ−1\bar{u} = \bar{a}^{-1} が aˉ\bar{a} の乗法逆元となり、すべての非零元が可逆であるから Z/pZ\mathbb{Z}/p\mathbb{Z} は体である。

(⇒\Rightarrow)逆に pp が合成数であるとすると、整数 1<b,c<p1 < b, c < p によって p=bcp = bc と書ける。bb と cc は真に 00 と pp の間にあるので、それらの剰余類 bˉ\bar{b} と cˉ\bar{c} はともに Z/pZ\mathbb{Z}/p\mathbb{Z} で非零であるが、その積は bˉ cˉ=bc‾=pˉ=0ˉ\bar{b}\,\bar{c} = \overline{bc} = \bar{p} = \bar{0} となる。

したがって bˉ\bar{b} は零因子であり、零因子が乗法逆元を持つことはあり得ない:もし bˉ\bar{b} が逆元 bˉ−1\bar{b}^{-1} を持てば、bˉ cˉ=0ˉ\bar{b}\,\bar{c} = \bar{0} の左から bˉ−1\bar{b}^{-1} を掛けることで cˉ=0ˉ\bar{c} = \bar{0} が強いられ矛盾する。ゆえに pp が合成数のとき Z/pZ\mathbb{Z}/p\mathbb{Z} は体ではない。

大学実世界での応用と具体例

有限体と剰余環は、現代の公開鍵暗号、デジタル署名、そしてQRコードやSSD内部のリード・ソロモン誤り訂正符号を動かすエンジンである。

例: ベズーの等式による法逆元の計算

素体 Z/17Z\mathbb{Z}/17\mathbb{Z} において 5ˉ\bar{5} の乗法逆元を求め、それを用いて一次合同式 5x≡3(mod17)5x \equiv 3 \pmod{17} を解け。

解答

1717 と 55 にユークリッドの互除法を適用する:17=3⋅5+217 = 3 \cdot 5 + 2、続いて 5=2⋅2+15 = 2 \cdot 2 + 1。2=17−3⋅52 = 17 - 3 \cdot 5 を逆代入すると 1=5−2(17−3⋅5)=7⋅5−2⋅171 = 5 - 2(17 - 3 \cdot 5) = 7 \cdot 5 - 2 \cdot 17 が得られる。

このベズーの等式を法 1717 で還元すると Z/17Z\mathbb{Z}/17\mathbb{Z} で 7ˉ⋅5ˉ=1ˉ\bar{7} \cdot \bar{5} = \bar{1} となり、5ˉ−1=7ˉ\bar{5}^{-1} = \bar{7} である(実際 5⋅7=35=2⋅17+1≡1(mod17)5 \cdot 7 = 35 = 2 \cdot 17 + 1 \equiv 1 \pmod{17})。

5x≡3(mod17)5x \equiv 3 \pmod{17} の両辺に 77 を掛けると直ちに xx が求まる:x≡7⋅3=21≡4(mod17)x \equiv 7 \cdot 3 = 21 \equiv 4 \pmod{17}。検算:5⋅4=20≡3(mod17)5 \cdot 4 = 20 \equiv 3 \pmod{17}。

例: 素体上の消失復元(リード・ソロモン符号の考え方)

2つのデータ記号 m0=2,m1=5∈Z/7Zm_0 = 2, m_1 = 5 \in \mathbb{Z}/7\mathbb{Z} を一次式 P(t)=m0+m1t(mod7)P(t) = m_0 + m_1 t \pmod{7} として符号化し、4つの評価値 (P(0),P(1),P(2),P(3))=(2,0,5,3)(P(0), P(1), P(2), P(3)) = (2, 0, 5, 3) として送信する。通信中に最初の2つの値が失われ、P(2)=5P(2)=5 と P(3)=3P(3)=3 だけが残った。m0m_0 と m1m_1 を復元せよ。

解答

体 Z/7Z\mathbb{Z}/7\mathbb{Z} において、2つの一次方程式 m0+2m1≡5(mod7)m_0 + 2m_1 \equiv 5 \pmod{7} と m0+3m1≡3(mod7)m_0 + 3m_1 \equiv 3 \pmod{7} が成り立つ。

第2式から第1式を引くと直ちに m0m_0 が消去される:(3−2)m1≡3−5=−2≡5(mod7)(3 - 2)m_1 \equiv 3 - 5 = -2 \equiv 5 \pmod{7}、よって m1=5m_1 = 5。(たとえ差が 11 ではなく k≢0k \not\equiv 0 であったとしても、Z/7Z\mathbb{Z}/7\mathbb{Z} は体なので常に kk で割ることができる。)

m1=5m_1 = 5 を m0+2m1≡5(mod7)m_0 + 2m_1 \equiv 5 \pmod{7} に戻すと m0≡5−10=−5≡2(mod7)m_0 \equiv 5 - 10 = -5 \equiv 2 \pmod{7} となり、生き残った任意の2パケットから (m0,m1)=(2,5)(m_0, m_1) = (2, 5) が正確に復元される——これがリード・ソロモン消失訂正符号の核心原理である。

素体 Z/11Z\mathbb{Z}/11\mathbb{Z} における 4ˉ\bar{4} の乗法逆元は何か。

9=329 = 3^2 は素数べきであるにもかかわらず、環 Z/9Z\mathbb{Z}/9\mathbb{Z} が体でないのはなぜか。

pp が素数のとき、Z/pZ\mathbb{Z}/p\mathbb{Z} における aˉ≠0ˉ\bar{a} \neq \bar{0} の乗法逆元を直接作り出す数論の道具はどれか。

有理整数環 Z\mathbb{Z} が体ではないにもかかわらず整域であるのはなぜか。

参考文献

  1. David S. Dummit, Richard M. Foote (2004). Abstract Algebra (3rd ed.)
  2. Michael F. Atiyah, Ian G. Macdonald (1969). Introduction to Commutative Algebra