← 戻る ライブラリ › 代数学 › 抽象代数学 代数学
環と体 加法と乗法という2つの演算を持つ代数構造で、整数や有理数を一般化したもの。
直観 足し算・引き算・掛け算ができるとき——そして割り算までできるとき 整数 Z \mathbb{Z} Z の中では、足し算・引き算・掛け算をどれだけ行っても Z \mathbb{Z} Z の外に出ることはなく、乗法は a ( b + c ) = a b + a c a(b + c) = ab + ac a ( b + c ) = ab + a c によって加法の上に分配される——この2つの演算の組こそ代数学者が環と呼ぶものである。しかし Z \mathbb{Z} Z では割り算はうまくいかない:1 / 2 1/2 1/2 は整数ではない。有理数 Q \mathbb{Q} Q (あるいは素数 p p p を法とする時計算術 Z / p Z \mathbb{Z}/p\mathbb{Z} Z / p Z )に移ると、a ⋅ a − 1 = 1 a \cdot a^{-1} = 1 a ⋅ a − 1 = 1 によってすべての非零元での割り算が復活し、環は体になる。
環 Z / 9 Z \mathbb{Z}/9\mathbb{Z} Z /9 Z (m = 9 m=9 m = 9 )では a = 3 a=3 a = 3 を掛けると 3 3 3 と 6 6 6 が 0 0 0 に潰れる(零因子!)が、m m m が素数ならすべての非ゼロ元 a a a が可逆となり Z / m Z \mathbb{Z}/m\mathbb{Z} Z / m Z は体をなす。 中高 環・整域・体の公理 定義: 環・整域・体
環 ( R , + , ⋅ ) (R,+ ,\cdot) ( R , + , ⋅ ) とは、( R , + ) (R,+) ( R , + ) が(零元 0 0 0 と逆元 − a -a − a を持つ)アーベル群であり、乗法 ⋅ \cdot ⋅ が単位元 1 1 1 を持つ結合的な演算であり、かつ乗法が加法の上に分配される(a ( b + c ) = a b + a c a(b + c) = ab + ac a ( b + c ) = ab + a c および ( a + b ) c = a c + b c (a+b)c = ac + bc ( a + b ) c = a c + b c )集合である。1 ≠ 0 1 \neq 0 1 = 0 を満たす可換環(a b = b a ab=ba ab = ba )は、零因子を持たない(a b = 0 ⟹ a = 0 ab=0 \implies a=0 ab = 0 ⟹ a = 0 または b = 0 b=0 b = 0 )とき整域といい、すべての a ≠ 0 a \neq 0 a = 0 が a ⋅ a − 1 = 1 a \cdot a^{-1} = 1 a ⋅ a − 1 = 1 を満たす乗法逆元 a − 1 a^{-1} a − 1 を持つとき体という。
a ( b + c ) = a b + a c , ( a + b ) c = a c + b c a(b + c) = ab + ac, \qquad (a + b)c = ac + bc a ( b + c ) = ab + a c , ( a + b ) c = a c + b c 任意の可換環 R R R の中で、イデアル I ⊆ R I \subseteq R I ⊆ R とは加法に関する部分群であって、環の任意の元との乗法を吸収する(r ∈ R , x ∈ I ⟹ r x ∈ I r \in R, x \in I \implies rx \in I r ∈ R , x ∈ I ⟹ r x ∈ I )ものである。Z \mathbb{Z} Z を主イデアル n Z n\mathbb{Z} n Z で割ることで剰余環 Z / n Z \mathbb{Z}/n\mathbb{Z} Z / n Z が得られ、その算術は通常の n n n を法とする加法と乗法である。
Z / n Z = { 0 ˉ , 1 ˉ , … , n − 1 ‾ } , a ˉ b ˉ = a b m o d n ‾ \mathbb{Z}/n\mathbb{Z} = \{\bar{0}, \bar{1}, \dots, \overline{n-1}\}, \qquad \bar{a}\,\bar{b} = \overline{ab \bmod n} Z / n Z = { 0 ˉ , 1 ˉ , … , n − 1 } , a ˉ b ˉ = ab mod n 代表的な環と体の比較 構造 乗法に関する主要な性質 整数 Z \mathbb{Z} Z 整域だが体ではない:乗法逆元を持つのは ± 1 \pm 1 ± 1 のみ 有理数 Q \mathbb{Q} Q ・実数 R \mathbb{R} R ・複素数 C \mathbb{C} C 無限体:すべての非零元が逆元を持つ 合成数 n n n に対する Z / n Z \mathbb{Z}/n\mathbb{Z} Z / n Z (例:n = 6 n=6 n = 6 ) 零因子を持つ可換環(Z / 6 Z \mathbb{Z}/6\mathbb{Z} Z /6 Z で 2 ˉ ⋅ 3 ˉ = 0 ˉ \bar{2}\cdot\bar{3}=\bar{0} 2 ˉ ⋅ 3 ˉ = 0 ˉ );体ではない 素数 p p p に対する Z / p Z \mathbb{Z}/p\mathbb{Z} Z / p Z p p p 元からなる有限体:すべての a ˉ ≠ 0 ˉ \bar{a} \neq \bar{0} a ˉ = 0 ˉ が可逆
大学 環が体になるとき D D D が有限整域であれば、D D D のすべての非零元は乗法逆元を持ち、したがって D D D は体である。
なぜ正しいのか? 有限集合の上では、異なる2つの入力を決して同じ出力に送らない写像は、鳩の巣原理によって可能なすべての出力——1 1 1 を含む——に到達せざるを得ない。
証明 a ∈ D a \in D a ∈ D を任意の非零元とし、L a ( x ) = a x L_a(x) = ax L a ( x ) = a x で定義される左乗法写像 L a : D → D L_a : D \to D L a : D → D を考える。
まず L a L_a L a が単射であることを示す。L a ( x ) = L a ( y ) L_a(x) = L_a(y) L a ( x ) = L a ( y ) とすると a x = a y ax = ay a x = a y 、すなわち a ( x − y ) = 0 a(x - y) = 0 a ( x − y ) = 0 となる。D D D は整域であり a ≠ 0 a \neq 0 a = 0 であるから零因子は存在せず、x − y = 0 x - y = 0 x − y = 0 すなわち x = y x = y x = y が従う。
D D D は有限集合であるから、任意の単射 D → D D \to D D → D は(鳩の巣原理 ∣ L a ( D ) ∣ = ∣ D ∣ |L_a(D)| = |D| ∣ L a ( D ) ∣ = ∣ D ∣ により)自動的に全射となる。特に乗法単位元 1 ∈ D 1 \in D 1 ∈ D は L a L_a L a の像に含まれなければならず、L a ( b ) = a b = 1 L_a(b) = ab = 1 L a ( b ) = ab = 1 を満たす b ∈ D b \in D b ∈ D が存在する。よって b = a − 1 b = a^{-1} b = a − 1 であり、a ≠ 0 a \neq 0 a = 0 は任意だったから D D D は体である。
整数 p ≥ 2 p \ge 2 p ≥ 2 に対し、剰余環 Z / p Z \mathbb{Z}/p\mathbb{Z} Z / p Z が体であることと、p p p が素数であることは同値である。
なぜ正しいのか? p p p が素数のときは、p p p より小さいどの非零の数も p p p と共通因数を持たないため、ベズーの等式が常に法 p p p での逆元を作り出す。一方 p p p が合成数のときは、その因数同士を掛けると p ≡ 0 p \equiv 0 p ≡ 0 となって可逆性が壊れる。
証明 (⇐ \Leftarrow ⇐ )p p p を素数とし、a ˉ ∈ Z / p Z \bar{a} \in \mathbb{Z}/p\mathbb{Z} a ˉ ∈ Z / p Z を 1 ≤ a ≤ p − 1 1 \le a \le p - 1 1 ≤ a ≤ p − 1 なる整数 a a a で代表される任意の非零剰余類とする。p p p は素数であり p ∤ a p \nmid a p ∤ a であるから、a a a と p p p の最大公約数は gcd ( a , p ) = 1 \gcd(a,p) = 1 g cd( a , p ) = 1 である。
ベズーの等式により、a u + p v = 1 au + pv = 1 a u + p v = 1 を満たす整数 u , v ∈ Z u, v \in \mathbb{Z} u , v ∈ Z が存在する。両辺を法 p p p で還元すると倍数 p v pv p v は消え、Z / p Z \mathbb{Z}/p\mathbb{Z} Z / p Z において a ˉ u ˉ = 1 ˉ \bar{a}\,\bar{u} = \bar{1} a ˉ u ˉ = 1 ˉ が残る。よって u ˉ = a ˉ − 1 \bar{u} = \bar{a}^{-1} u ˉ = a ˉ − 1 が a ˉ \bar{a} a ˉ の乗法逆元となり、すべての非零元が可逆であるから Z / p Z \mathbb{Z}/p\mathbb{Z} Z / p Z は体である。
(⇒ \Rightarrow ⇒ )逆に p p p が合成数であるとすると、整数 1 < b , c < p 1 < b, c < p 1 < b , c < p によって p = b c p = bc p = b c と書ける。b b b と c c c は真に 0 0 0 と p p p の間にあるので、それらの剰余類 b ˉ \bar{b} b ˉ と c ˉ \bar{c} c ˉ はともに Z / p Z \mathbb{Z}/p\mathbb{Z} Z / p Z で非零であるが、その積は b ˉ c ˉ = b c ‾ = p ˉ = 0 ˉ \bar{b}\,\bar{c} = \overline{bc} = \bar{p} = \bar{0} b ˉ c ˉ = b c = p ˉ = 0 ˉ となる。
したがって b ˉ \bar{b} b ˉ は零因子であり、零因子が乗法逆元を持つことはあり得ない:もし b ˉ \bar{b} b ˉ が逆元 b ˉ − 1 \bar{b}^{-1} b ˉ − 1 を持てば、b ˉ c ˉ = 0 ˉ \bar{b}\,\bar{c} = \bar{0} b ˉ c ˉ = 0 ˉ の左から b ˉ − 1 \bar{b}^{-1} b ˉ − 1 を掛けることで c ˉ = 0 ˉ \bar{c} = \bar{0} c ˉ = 0 ˉ が強いられ矛盾する。ゆえに p p p が合成数のとき Z / p Z \mathbb{Z}/p\mathbb{Z} Z / p Z は体ではない。
大学 実世界での応用と具体例 有限体と剰余環は、現代の公開鍵暗号、デジタル署名、そしてQRコードやSSD内部のリード・ソロモン誤り訂正符号を動かすエンジンである。
例: ベズーの等式による法逆元の計算
素体 Z / 17 Z \mathbb{Z}/17\mathbb{Z} Z /17 Z において 5 ˉ \bar{5} 5 ˉ の乗法逆元を求め、それを用いて一次合同式 5 x ≡ 3 ( m o d 17 ) 5x \equiv 3 \pmod{17} 5 x ≡ 3 ( mod 17 ) を解け。
解答 17 17 17 と 5 5 5 にユークリッドの互除法を適用する:17 = 3 ⋅ 5 + 2 17 = 3 \cdot 5 + 2 17 = 3 ⋅ 5 + 2 、続いて 5 = 2 ⋅ 2 + 1 5 = 2 \cdot 2 + 1 5 = 2 ⋅ 2 + 1 。2 = 17 − 3 ⋅ 5 2 = 17 - 3 \cdot 5 2 = 17 − 3 ⋅ 5 を逆代入すると 1 = 5 − 2 ( 17 − 3 ⋅ 5 ) = 7 ⋅ 5 − 2 ⋅ 17 1 = 5 - 2(17 - 3 \cdot 5) = 7 \cdot 5 - 2 \cdot 17 1 = 5 − 2 ( 17 − 3 ⋅ 5 ) = 7 ⋅ 5 − 2 ⋅ 17 が得られる。
このベズーの等式を法 17 17 17 で還元すると Z / 17 Z \mathbb{Z}/17\mathbb{Z} Z /17 Z で 7 ˉ ⋅ 5 ˉ = 1 ˉ \bar{7} \cdot \bar{5} = \bar{1} 7 ˉ ⋅ 5 ˉ = 1 ˉ となり、5 ˉ − 1 = 7 ˉ \bar{5}^{-1} = \bar{7} 5 ˉ − 1 = 7 ˉ である(実際 5 ⋅ 7 = 35 = 2 ⋅ 17 + 1 ≡ 1 ( m o d 17 ) 5 \cdot 7 = 35 = 2 \cdot 17 + 1 \equiv 1 \pmod{17} 5 ⋅ 7 = 35 = 2 ⋅ 17 + 1 ≡ 1 ( mod 17 ) )。
5 x ≡ 3 ( m o d 17 ) 5x \equiv 3 \pmod{17} 5 x ≡ 3 ( mod 17 ) の両辺に 7 7 7 を掛けると直ちに x x x が求まる:x ≡ 7 ⋅ 3 = 21 ≡ 4 ( m o d 17 ) x \equiv 7 \cdot 3 = 21 \equiv 4 \pmod{17} x ≡ 7 ⋅ 3 = 21 ≡ 4 ( mod 17 ) 。検算:5 ⋅ 4 = 20 ≡ 3 ( m o d 17 ) 5 \cdot 4 = 20 \equiv 3 \pmod{17} 5 ⋅ 4 = 20 ≡ 3 ( mod 17 ) 。
例: 素体上の消失復元(リード・ソロモン符号の考え方)
2つのデータ記号 m 0 = 2 , m 1 = 5 ∈ Z / 7 Z m_0 = 2, m_1 = 5 \in \mathbb{Z}/7\mathbb{Z} m 0 = 2 , m 1 = 5 ∈ Z /7 Z を一次式 P ( t ) = m 0 + m 1 t ( m o d 7 ) P(t) = m_0 + m_1 t \pmod{7} P ( t ) = m 0 + m 1 t ( mod 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) ( P ( 0 ) , P ( 1 ) , P ( 2 ) , P ( 3 )) = ( 2 , 0 , 5 , 3 ) として送信する。通信中に最初の2つの値が失われ、P ( 2 ) = 5 P(2)=5 P ( 2 ) = 5 と P ( 3 ) = 3 P(3)=3 P ( 3 ) = 3 だけが残った。m 0 m_0 m 0 と m 1 m_1 m 1 を復元せよ。
解答 体 Z / 7 Z \mathbb{Z}/7\mathbb{Z} Z /7 Z において、2つの一次方程式 m 0 + 2 m 1 ≡ 5 ( m o d 7 ) m_0 + 2m_1 \equiv 5 \pmod{7} m 0 + 2 m 1 ≡ 5 ( mod 7 ) と m 0 + 3 m 1 ≡ 3 ( m o d 7 ) m_0 + 3m_1 \equiv 3 \pmod{7} m 0 + 3 m 1 ≡ 3 ( mod 7 ) が成り立つ。
第2式から第1式を引くと直ちに m 0 m_0 m 0 が消去される:( 3 − 2 ) m 1 ≡ 3 − 5 = − 2 ≡ 5 ( m o d 7 ) (3 - 2)m_1 \equiv 3 - 5 = -2 \equiv 5 \pmod{7} ( 3 − 2 ) m 1 ≡ 3 − 5 = − 2 ≡ 5 ( mod 7 ) 、よって m 1 = 5 m_1 = 5 m 1 = 5 。(たとえ差が 1 1 1 ではなく k ≢ 0 k \not\equiv 0 k ≡ 0 であったとしても、Z / 7 Z \mathbb{Z}/7\mathbb{Z} Z /7 Z は体なので常に k k k で割ることができる。)
m 1 = 5 m_1 = 5 m 1 = 5 を m 0 + 2 m 1 ≡ 5 ( m o d 7 ) m_0 + 2m_1 \equiv 5 \pmod{7} m 0 + 2 m 1 ≡ 5 ( mod 7 ) に戻すと m 0 ≡ 5 − 10 = − 5 ≡ 2 ( m o d 7 ) m_0 \equiv 5 - 10 = -5 \equiv 2 \pmod{7} m 0 ≡ 5 − 10 = − 5 ≡ 2 ( mod 7 ) となり、生き残った任意の2パケットから ( m 0 , m 1 ) = ( 2 , 5 ) (m_0, m_1) = (2, 5) ( m 0 , m 1 ) = ( 2 , 5 ) が正確に復元される——これがリード・ソロモン消失訂正符号の核心原理である。
よくある誤り. n n n と互いに素であることを確認せずに Z / n Z \mathbb{Z}/n\mathbb{Z} Z / n Z で共通因数を約分してはならない。例えば Z / 6 Z \mathbb{Z}/6\mathbb{Z} Z /6 Z では(2 ≡ 8 ( m o d 6 ) 2 \equiv 8 \pmod{6} 2 ≡ 8 ( mod 6 ) より)2 ˉ ⋅ 1 ˉ = 2 ˉ ⋅ 4 ˉ \bar{2} \cdot \bar{1} = \bar{2} \cdot \bar{4} 2 ˉ ⋅ 1 ˉ = 2 ˉ ⋅ 4 ˉ であるが、1 ˉ ≠ 4 ˉ \bar{1} \neq \bar{4} 1 ˉ = 4 ˉ である——gcd ( 2 , 6 ) = 2 ≠ 1 \gcd(2,6) = 2 \neq 1 g cd( 2 , 6 ) = 2 = 1 のため 2 ˉ \bar{2} 2 ˉ は可逆元ではなく零因子であり、約分は成り立たない。歴史的ノート
ガウスは『算術研究』(1801年)で合同算術を体系化し、エヴァリスト・ガロアは1830年、素体 Z / p Z \mathbb{Z}/p\mathbb{Z} Z / p Z のほかにもすべての素数べきに対して位数 p k p^k p k の有限体 F p k \mathbb{F}_{p^k} F p k が一意に存在することを発見した。エミー・ネーターは1921年の記念碑的論文『環領域におけるイデアル論』で分野全体を一新し、抽象的な可換環とそのイデアルを現代代数学および代数幾何学の基礎に据えた。
カール・フリードリヒ・ガウス エヴァリスト・ガロア エミー・ネーター
素体 Z / 11 Z \mathbb{Z}/11\mathbb{Z} Z /11 Z における 4 ˉ \bar{4} 4 ˉ の乗法逆元は何か。
3 ˉ \bar{3} 3 ˉ 7 ˉ \bar{7} 7 ˉ 8 ˉ \bar{8} 8 ˉ 9 ˉ \bar{9} 9 ˉ 9 = 3 2 9 = 3^2 9 = 3 2 は素数べきであるにもかかわらず、環 Z / 9 Z \mathbb{Z}/9\mathbb{Z} Z /9 Z が体でないのはなぜか。
3 ˉ ≠ 0 ˉ \bar{3} \neq \bar{0} 3 ˉ = 0 ˉ が 3 ˉ ⋅ 3 ˉ = 9 ˉ = 0 ˉ \bar{3} \cdot \bar{3} = \bar{9} = \bar{0} 3 ˉ ⋅ 3 ˉ = 9 ˉ = 0 ˉ を満たし、3 ˉ \bar{3} 3 ˉ が乗法逆元を持たない零因子になるからZ / 9 Z \mathbb{Z}/9\mathbb{Z} Z /9 Z の加法が可換でないから位数 9 9 9 の有限環は決して体になれないから Z / 9 Z \mathbb{Z}/9\mathbb{Z} Z /9 Z には乗法単位元 1 ˉ \bar{1} 1 ˉ がないからp p p が素数のとき、Z / p Z \mathbb{Z}/p\mathbb{Z} Z / p Z における a ˉ ≠ 0 ˉ \bar{a} \neq \bar{0} a ˉ = 0 ˉ の乗法逆元を直接作り出す数論の道具はどれか。
拡張ユークリッド互除法から得られるベズーの等式 a u + p v = 1 au + pv = 1 a u + p v = 1 を法 p p p で還元したもの 2次多項式に対する解の公式 a a a の素因数分解の一意性エラトステネスの篩 有理整数環 Z \mathbb{Z} Z が体ではないにもかかわらず整域であるのはなぜか。
Z \mathbb{Z} Z は 1 ≠ 0 1 \neq 0 1 = 0 を持つ可換環であり零因子を持たない(a b = 0 ⟹ a = 0 ab=0 \implies a=0 ab = 0 ⟹ a = 0 または b = 0 b=0 b = 0 )からである(ほとんどの非零整数は Z \mathbb{Z} Z 内に逆元を持たないが)Z \mathbb{Z} Z は有限であり、すべての有限環は整域だからすべての非零整数 n n n が n − 1 ∈ Z n^{-1} \in \mathbb{Z} n − 1 ∈ Z を満たすから Z \mathbb{Z} Z の乗法が結合的でないから