← 戻る ライブラリ › 代数学 › 抽象代数学 代数学
可換代数学 可換環を研究する分野で、代数幾何学の代数的基盤を成す。
直観 解としての図形、座標としての関数 可換環 R R R a , b ∈ R a,b \in R a , b ∈ R a b = b a ab=ba ab = ba k k k k [ x 1 , … , x n ] k[x_1,\ldots,x_n] k [ x 1 , … , x n ] ( x 1 , … , x n ) (x_1,\ldots,x_n) ( x 1 , … , x n ) 可換代数 はこのような環をそのイデアル を通じて研究する:加法に関して閉じ、乗法を吸収する部分集合 I ⊆ R I \subseteq R I ⊆ R r ∈ R , a ∈ I ⟹ r a ∈ I r \in R,\ a \in I \implies ra \in I r ∈ R , a ∈ I ⟹ r a ∈ I J ⊆ k [ x 1 , … , x n ] J \subseteq k[x_1,\ldots,x_n] J ⊆ k [ x 1 , … , x n ] 図形 V ( J ) V(J) V ( J ) J J J 素イデアル を可視化し、点・曲線・空間全体が幾何学的に入れ子になる様子を反映している。
ノードは小さな環の素イデアルを表し、辺はより小さな素イデアルからそれを含む素イデアルへ向かう——この包含順序は、点が曲線の中に、曲線が空間全体の中に入れ子になる幾何学的な様子そのものである。 中高 整数の整除性から任意の環のイデアルへ 定義: 素イデアルと極大イデアル
Z \mathbb{Z} Z n n n ( n ) (n) ( n ) ( n ) (n) ( n ) n n n R R R p ⊊ R \mathfrak{p} \subsetneq R p ⊊ R 素イデアル であるとは a b ∈ p ab \in \mathfrak{p} ab ∈ p a ∈ p a \in \mathfrak{p} a ∈ p b ∈ p b \in \mathfrak{p} b ∈ p m ⊊ R \mathfrak{m} \subsetneq R m ⊊ R 極大イデアル であるとは m \mathfrak{m} m R R R
p ⊊ R is prime ⟺ ( a b ∈ p ⟹ a ∈ p or b ∈ p ) \mathfrak{p} \subsetneq R \text{ is prime} \iff \big(ab \in \mathfrak{p} \implies a \in \mathfrak{p} \text{ or } b \in \mathfrak{p}\big) p ⊊ R is prime ⟺ ( ab ∈ p ⟹ a ∈ p or b ∈ p ) 例えば Z \mathbb{Z} Z ( 6 ) (6) ( 6 ) 2 ⋅ 3 ∈ ( 6 ) 2 \cdot 3 \in (6) 2 ⋅ 3 ∈ ( 6 ) 2 2 2 3 3 3 ( 6 ) (6) ( 6 ) ( 2 ) (2) ( 2 ) ( 3 ) (3) ( 3 ) Z / ( p ) \mathbb{Z}/(p) Z / ( p ) p p p p \mathfrak{p} p R / p R/\mathfrak{p} R / p m \mathfrak{m} m R / m R/\mathfrak{m} R / m
素イデアルと極大イデアルの比較 性質 素イデアル p \mathfrak{p} p 極大イデアル m \mathfrak{m} m 剰余環 R / p R/\mathfrak{p} R / p R / m R/\mathfrak{m} R / m Z \mathbb{Z} Z ( 0 ) (0) ( 0 ) p p p ( p ) (p) ( p ) 素数 p p p ( p ) (p) ( p ) k [ x 1 , … , x n ] k[x_1,\ldots,x_n] k [ x 1 , … , x n ] 既約部分多様体 V ( p ) V(\mathfrak{p}) V ( p ) 1点((k k k
大学 有限性と次元:ネーター環とクルル次元 定義: ネーター環
環 R R R ネーター環 であるとは、R R R 上昇鎖条件 、ACC)をいう:厳密に増大し続ける無限イデアル列は存在しない。エミー・ネーターにちなんで名付けられたこの一つの有限性条件こそが、可換代数を計算的にも構造的にも扱いやすくしている。
I 1 ⊆ I 2 ⊆ I 3 ⊆ ⋯ ⟹ ∃ N , I N = I N + 1 = I N + 2 = ⋯ I_1 \subseteq I_2 \subseteq I_3 \subseteq \cdots \implies \exists\, N,\ I_N = I_{N+1} = I_{N+2} = \cdots I 1 ⊆ I 2 ⊆ I 3 ⊆ ⋯ ⟹ ∃ N , I N = I N + 1 = I N + 2 = ⋯ R R R R [ x ] R[x] R [ x ] k [ x 1 , … , x n ] k[x_1,\ldots,x_n] k [ x 1 , … , x n ] k k k J ⊆ k [ x 1 , … , x n ] J \subseteq k[x_1,\ldots,x_n] J ⊆ k [ x 1 , … , x n ]
なぜ正しいのか? 一見すると無限個の多項式方程式からなる系が、有限個の系では表せない図形を定義することもあり得そうに思える——ヒルベルトの定理はそれが決して起こらないと述べる:すべての代数多様体は有限個の方程式で切り出される。これこそが記号計算(グレブナー基底、消去法)と代数幾何学(有限データとしての多様体)をそもそも可能にしているものである。
証明 ステップ1(先頭係数イデアル)。I ⊆ R [ x ] I \subseteq R[x] I ⊆ R [ x ] n ≥ 0 n \ge 0 n ≥ 0 L n L_n L n I I I n n n 0 0 0 n n n x x x L n ⊆ L n + 1 L_n \subseteq L_{n+1} L n ⊆ L n + 1 L n L_n L n R R R I I I R R R
ステップ2(R R R L 0 ⊆ L 1 ⊆ L 2 ⊆ ⋯ L_0 \subseteq L_1 \subseteq L_2 \subseteq \cdots L 0 ⊆ L 1 ⊆ L 2 ⊆ ⋯ L N L_N L N R R R L 0 , … , L N L_0,\ldots,L_N L 0 , … , L N L n L_n L n n = 0 , … , N n=0,\ldots,N n = 0 , … , N n n n f n , i ∈ I f_{n,i} \in I f n , i ∈ I { f n , i } \{f_{n,i}\} { f n , i }
ステップ3(次数についての帰納法による簡約)。I I I d d d f ∈ I f \in I f ∈ I d d d d ≤ N d \le N d ≤ N f f f L d L_d L d f d , i f_{d,i} f d , i R R R f d , i f_{d,i} f d , i R R R f f f d d d I I I d > N d > N d > N f f f L d = L N L_d = L_N L d = L N f N , i f_{N,i} f N , i R R R x d − N f N , i x^{\,d-N} f_{N,i} x d − N f N , i
ステップ4(結論)。ステップ3を繰り返すと最終的に零多項式に至るので、f f f { f n , i } \{f_{n,i}\} { f n , i } R [ x ] R[x] R [ x ] R [ x ] R[x] R [ x ] R [ x ] R[x] R [ x ] k k k n n n k [ x 1 , … , x n ] = k [ x 1 ] [ x 2 ] ⋯ [ x n ] k[x_1,\ldots,x_n] = k[x_1][x_2]\cdots[x_n] k [ x 1 , … , x n ] = k [ x 1 ] [ x 2 ] ⋯ [ x n ]
定義: 局所化 S − 1 R S^{-1}R S − 1 R
乗法的部分集合 S ⊆ R S \subseteq R S ⊆ R 1 1 1 局所化 S − 1 R S^{-1}R S − 1 R S S S Z \mathbb{Z} Z Q \mathbb{Q} Q p \mathfrak{p} p R R R 局所環 R p R_\mathfrak{p} R p
S − 1 R = { a s : a ∈ R , s ∈ S } , a s = a ′ s ′ ⟺ ∃ u ∈ S , u ( a s ′ − a ′ s ) = 0 S^{-1}R = \left\{ \dfrac{a}{s} : a \in R,\ s \in S \right\}, \qquad \dfrac{a}{s} = \dfrac{a'}{s'} \iff \exists\, u \in S,\ u(as' - a's) = 0 S − 1 R = { s a : a ∈ R , s ∈ S } , s a = s ′ a ′ ⟺ ∃ u ∈ S , u ( a s ′ − a ′ s ) = 0 定義: クルル次元
環 R R R クルル次元 dim R \dim R dim R k k k k [ x 1 , … , x n ] k[x_1,\ldots,x_n] k [ x 1 , … , x n ] dim k [ x 1 , … , x n ] = n \dim k[x_1,\ldots,x_n] = n dim k [ x 1 , … , x n ] = n n n n n n n 1 1 1
dim R = sup { n : p 0 ⊊ p 1 ⊊ ⋯ ⊊ p n , p i prime } \dim R = \sup\big\{\, n : \mathfrak{p}_0 \subsetneq \mathfrak{p}_1 \subsetneq \cdots \subsetneq \mathfrak{p}_n,\ \mathfrak{p}_i \text{ prime} \,\big\} dim R = sup { n : p 0 ⊊ p 1 ⊊ ⋯ ⊊ p n , p i prime } k k k J ⊆ k [ x 1 , … , x n ] J \subseteq k[x_1,\ldots,x_n] J ⊆ k [ x 1 , … , x n ] V ( J ) V(J) V ( J ) I ( V ( J ) ) I(V(J)) I ( V ( J )) J J J J = { f : f m ∈ J for some m ≥ 1 } \sqrt{J} = \{ f : f^m \in J \text{ for some } m \ge 1\} J = { f : f m ∈ J for some m ≥ 1 } I ( V ( J ) ) = J I(V(J)) = \sqrt{J} I ( V ( J )) = J J J J J = J J = \sqrt{J} J = J I ( V ( J ) ) = J \sqrt{I(V(J))} = J I ( V ( J )) = J
なぜ正しいのか? これは代数と幾何学を対応させる正確な辞書項目である:ある図形上で消える関数のイデアルが、まさにその図形を切り出したイデアルの根基に一致し、重複度を除いて情報が失われないことを述べる。代数閉性は不可欠である——R \mathbb{R} R ( x 2 + 1 ) ⊆ R [ x ] (x^2+1) \subseteq \mathbb{R}[x] ( x 2 + 1 ) ⊆ R [ x ] V ( ( x 2 + 1 ) ) = ∅ V((x^2+1)) = \emptyset V (( x 2 + 1 )) = ∅ I ( V ( ( x 2 + 1 ) ) ) = R [ x ] ≠ ( x 2 + 1 ) I(V((x^2+1))) = \mathbb{R}[x] \ne \sqrt{(x^2+1)} I ( V (( x 2 + 1 ))) = R [ x ] = ( x 2 + 1 )
証明 ステップ1(入力として使う弱い零点定理)。k k k k [ x 1 , … , x n ] k[x_1,\ldots,x_n] k [ x 1 , … , x n ] ( a 1 , … , a n ) ∈ k n (a_1,\ldots,a_n) \in k^n ( a 1 , … , a n ) ∈ k n ( x 1 − a 1 , … , x n − a n ) (x_1-a_1,\ldots,x_n-a_n) ( x 1 − a 1 , … , x n − a n ) k k k k k k k k k k k k J ≠ ( 1 ) J \ne (1) J = ( 1 ) J J J V ( J ) ≠ ∅ V(J) \ne \emptyset V ( J ) = ∅
ステップ2(易しい包含関係、J ⊆ I ( V ( J ) ) \sqrt{J} \subseteq I(V(J)) J ⊆ I ( V ( J )) m m m f m ∈ J f^m \in J f m ∈ J f m f^m f m V ( J ) V(J) V ( J ) 0 0 0 0 0 0 f f f f ∈ I ( V ( J ) ) f \in I(V(J)) f ∈ I ( V ( J ))
ステップ3(逆の包含関係へのラビノヴィッチのトリック)。f ∈ I ( V ( J ) ) f \in I(V(J)) f ∈ I ( V ( J )) y y y J ′ = J + ( 1 − y f ) ⊆ k [ x 1 , … , x n , y ] J' = J + (1 - yf) \subseteq k[x_1,\ldots,x_n,y] J ′ = J + ( 1 − y f ) ⊆ k [ x 1 , … , x n , y ] V ( J ′ ) V(J') V ( J ′ ) J J J V ( J ) V(J) V ( J ) 1 − y f = 0 1-yf=0 1 − y f = 0 f f f V ( J ) V(J) V ( J ) 1 − y f = 1 1-yf=1 1 − y f = 1 0 0 0 V ( J ′ ) = ∅ V(J') = \emptyset V ( J ′ ) = ∅ J ′ = ( 1 ) J' = (1) J ′ = ( 1 ) J J J J i J_i J i 1 = h ( x , y ) ( 1 − y f ) + ∑ i g i ( x , y ) J i ( x ) 1 = h(x,y)(1-yf) + \sum_i g_i(x,y) J_i(x) 1 = h ( x , y ) ( 1 − y f ) + ∑ i g i ( x , y ) J i ( x )
ステップ4(分母を払う)。この等式に形式的に y = 1 / f y = 1/f y = 1/ f k [ x 1 , … , x n ] [ 1 / f ] k[x_1,\ldots,x_n][1/f] k [ x 1 , … , x n ] [ 1/ f ] h h h 1 − y f 1-yf 1 − y f 0 0 0 1 = ∑ i g i ( x , 1 / f ) J i ( x ) 1 = \sum_i g_i(x,1/f) J_i(x) 1 = ∑ i g i ( x , 1/ f ) J i ( x ) g i g_i g i f f f f m f^m f m g ~ i \tilde g_i g ~ i f m = ∑ i g ~ i ( x ) J i ( x ) ∈ J f^m = \sum_i \tilde g_i(x) J_i(x) \in J f m = ∑ i g ~ i ( x ) J i ( x ) ∈ J f ∈ J f \in \sqrt{J} f ∈ J I ( V ( J ) ) = J I(V(J)) = \sqrt{J} I ( V ( J )) = J J = J J=\sqrt J J = J I ( V ( J ) ) = J \sqrt{I(V(J))} = J I ( V ( J )) = J
大学 実世界での応用と具体例 可換代数は多項式方程式系を解く際の計算エンジンである:ロボット工学は(ヒルベルトの基底定理により存在と終了が保証される)グレブナー基底を用いて逆運動学の方程式を正確に解く;衛星やストレージシステムで使われる誤り訂正符号は文字通り剰余環のイデアルである;そして暗号や検証システムはある多項式制約系がそもそも解を持つかどうかを判定するのに零点定理を用いる。
例: ロボットアームの運動学と有限生成性
2リンク平面ロボットアームの手先位置は x = cos θ 1 + cos ( θ 1 + θ 2 ) x = \cos\theta_1 + \cos(\theta_1+\theta_2) x = cos θ 1 + cos ( θ 1 + θ 2 ) y = sin θ 1 + sin ( θ 1 + θ 2 ) y = \sin\theta_1 + \sin(\theta_1+\theta_2) y = sin θ 1 + sin ( θ 1 + θ 2 ) c i = cos θ i c_i = \cos\theta_i c i = cos θ i s i = sin θ i s_i = \sin\theta_i s i = sin θ i c i 2 + s i 2 = 1 c_i^2+s_i^2=1 c i 2 + s i 2 = 1 cos ( θ 1 + θ 2 ) \cos(\theta_1+\theta_2) cos ( θ 1 + θ 2 ) sin ( θ 1 + θ 2 ) \sin(\theta_1+\theta_2) sin ( θ 1 + θ 2 ) c 1 , s 1 , c 2 , s 2 , x , y c_1,s_1,c_2,s_2,x,y c 1 , s 1 , c 2 , s 2 , x , y 多項式 系に変換する。目標 ( x , y ) (x,y) ( x , y )
解答 ステップ1:イデアルを特定する。4つの多項式関係は k [ c 1 , s 1 , c 2 , s 2 , x , y ] k[c_1,s_1,c_2,s_2,x,y] k [ c 1 , s 1 , c 2 , s 2 , x , y ] k = R k=\mathbb{R} k = R J J J J ∩ k [ x , y , c 1 , s 1 ] J \cap k[x,y,c_1,s_1] J ∩ k [ x , y , c 1 , s 1 ] c 2 , s 2 c_2,s_2 c 2 , s 2
ステップ2:一般に終了性が自明でない理由。ブッフバーガーのアルゴリズムは生成元を新しい組み合わせ(S多項式)で繰り返し置き換えるが、原理的には無限個の多項式に対する素朴な探索が決して止まらないのと同様、新しい先頭項を永遠に生み出し続ける可能性がある。
ステップ3:ヒルベルトの基底定理を適用する。k [ c 1 , s 1 , c 2 , s 2 , x , y ] k[c_1,s_1,c_2,s_2,x,y] k [ c 1 , s 1 , c 2 , s 2 , x , y ] 6 6 6
ステップ4:結論。消去イデアルの有限なグレブナー基底が見つかれば、与えられた ( x , y ) (x,y) ( x , y )
例: イデアルとしての巡回誤り訂正符号
有限体 F q \mathbb{F}_q F q n n n F q [ x ] / ( x n − 1 ) \mathbb{F}_q[x]/(x^n-1) F q [ x ] / ( x n − 1 ) F q [ x ] \mathbb{F}_q[x] F q [ x ] F q [ x ] / ( x n − 1 ) \mathbb{F}_q[x]/(x^n-1) F q [ x ] / ( x n − 1 ) x n − 1 x^n-1 x n − 1 g ( x ) g(x) g ( x ) q = 2 q=2 q = 2 n = 7 n=7 n = 7 F 2 \mathbb{F}_2 F 2 x 7 − 1 = ( x − 1 ) ( x 3 + x + 1 ) ( x 3 + x 2 + 1 ) x^7-1 = (x-1)(x^3+x+1)(x^3+x^2+1) x 7 − 1 = ( x − 1 ) ( x 3 + x + 1 ) ( x 3 + x 2 + 1 ) g ( x ) = x 3 + x + 1 g(x)=x^3+x+1 g ( x ) = x 3 + x + 1
解答 ステップ1:因数分解を確認する。F 2 \mathbb{F}_2 F 2 ( x − 1 ) ( x 3 + x + 1 ) ( x 3 + x 2 + 1 ) = x 7 − 1 (x-1)(x^3+x+1)(x^3+x^2+1) = x^7-1 ( x − 1 ) ( x 3 + x + 1 ) ( x 3 + x 2 + 1 ) = x 7 − 1 2 2 2 x − 1 = x + 1 x-1=x+1 x − 1 = x + 1 − 1 = 1 -1=1 − 1 = 1 F 2 [ x ] / ( x 7 − 1 ) \mathbb{F}_2[x]/(x^7-1) F 2 [ x ] / ( x 7 − 1 )
ステップ2:g ( x ) g(x) g ( x ) g ( x ) = x 3 + x + 1 g(x)=x^3+x+1 g ( x ) = x 3 + x + 1 ( g ( x ) ) ⊆ F 2 [ x ] / ( x 7 − 1 ) (g(x)) \subseteq \mathbb{F}_2[x]/(x^7-1) ( g ( x )) ⊆ F 2 [ x ] / ( x 7 − 1 ) x 7 − 1 x^7-1 x 7 − 1 g ( x ) g(x) g ( x ) < 7 − 3 = 4 < 7-3=4 < 7 − 3 = 4 m ( x ) m(x) m ( x ) g ( x ) ⋅ m ( x ) g(x)\cdot m(x) g ( x ) ⋅ m ( x ) [ 7 , 4 ] [7,4] [ 7 , 4 ]
ステップ3:イデアル構造が重要な理由。g ( x ) ∣ x 7 − 1 g(x) \mid x^7-1 g ( x ) ∣ x 7 − 1 x x x x x x
ステップ4:結論。「F q [ x ] / ( x n − 1 ) \mathbb{F}_q[x]/(x^n-1) F q [ x ] / ( x n − 1 ) x n − 1 x^n-1 x n − 1 n − k n-k n − k g ( x ) ∣ x n − 1 g(x) \mid x^n-1 g ( x ) ∣ x n − 1 [ n , k ] [n,k] [ n , k ]
よくある誤り. よくある誤りは R \mathbb{R} R Q \mathbb{Q} Q k k k ( x 2 + 1 ) ⊆ R [ x ] (x^2+1) \subseteq \mathbb{R}[x] ( x 2 + 1 ) ⊆ R [ x ] R 1 \mathbb{R}^1 R 1 V ( ( x 2 + 1 ) ) = ∅ V((x^2+1)) = \emptyset V (( x 2 + 1 )) = ∅ I ( V ( ( x 2 + 1 ) ) ) I(V((x^2+1))) I ( V (( x 2 + 1 ))) ( x 2 + 1 ) \sqrt{(x^2+1)} ( x 2 + 1 ) 素 元と既約 元を同一視することである:元 p p p p p p ( p ) (p) ( p ) k [ x 1 , … , x n ] k[x_1,\ldots,x_n] k [ x 1 , … , x n ] 歴史的ノート
デイヴィッド・ヒルベルトの1890年の不変式論の論文は、基底定理を証明し、(関連する有限性の議論を通じて)後に零点定理(1893年)へと磨き上げられる土台を築いた——当時としてはあまりに非構成的な結果であったため、パウル・ゴルダンはこれを「数学ではなく神学だ」と評したと伝えられる。三十年後、エミー・ネーターの1921年の論文『Idealtheorie in Ringbereichen(環領域におけるイデアル論)』はこれらの発想を多項式環から完全に切り離して抽象化し、上昇鎖条件を今日「ネーター的」と呼ばれる定義的性質として取り出し、後にアレクサンダー・グロタンディークが1960年代にスキーム理論へと拡張する公理的枠組みを築いた。
ダフィット・ヒルベルト エミー・ネーター
研究の最前線 2026年時点
1973年にメルヴィン・ホックスターが提起した(体を含む環の場合はホックスター自身が証明した)直和因子予想 は、正則環 R R R R R R パーフェクトイド空間 の理論と新しい「パーフェクトイド・アビヤンカール補題」を持ち込んでこれを完全に解決した;同じ一連のアイデアから混標数における大きなコーエン・マコーレー環の存在も得られ、他のいくつかの長年の同変予想を一挙に解決した。現在の活発な方向性には、パーフェクトイドおよびプリズマティック技法(バット・ショルツェ)をさらなる混標数の問題に拡張することや、アンドレの元来複雑な議論を可換代数学者にとってより使いやすい形に単純化することが含まれる。
可換環 R R R p ⊊ R \mathfrak{p} \subsetneq R p ⊊ R
a b ∈ p ⟹ a ∈ p or b ∈ p ab \in \mathfrak{p} \implies a \in \mathfrak{p} \text{ or } b \in \mathfrak{p} ab ∈ p ⟹ a ∈ p or b ∈ p a ∈ p ⟹ a b ∈ p for some b a \in \mathfrak{p} \implies ab \in \mathfrak{p} \text{ for some } b a ∈ p ⟹ ab ∈ p for some b p \mathfrak{p} p ( 0 ) (0) ( 0 ) p = ( 0 ) \mathfrak{p} = (0) p = ( 0 ) イデアル ( 6 ) ⊆ Z (6) \subseteq \mathbb{Z} ( 6 ) ⊆ Z
No, since 2 ⋅ 3 ∈ ( 6 ) 2 \cdot 3 \in (6) 2 ⋅ 3 ∈ ( 6 ) 2 2 2 3 3 3 ( 6 ) (6) ( 6 ) Yes, since every nonzero ideal of Z \mathbb{Z} Z Yes, because ( 6 ) (6) ( 6 ) Z \mathbb{Z} Z No, because ( 6 ) = Z (6) = \mathbb{Z} ( 6 ) = Z 検証システムは C \mathbb{C} C J ⊆ C [ x 1 , … , x n ] J \subseteq \mathbb{C}[x_1,\ldots,x_n] J ⊆ C [ x 1 , … , x n ] V ( J ) = ∅ V(J) = \emptyset V ( J ) = ∅
J = ( 1 ) J = (1) J = ( 1 ) J J J C [ x 1 , … , x n ] \mathbb{C}[x_1,\ldots,x_n] C [ x 1 , … , x n ] J J J J J J J J J 体 k k k k [ x , y ] k[x,y] k [ x , y ]