『代数の魅力（数学書房）』の情報

ここでは最新版の情報をお届けしています（最新版は第１版第５刷）。前の版刷をお持ちの方のための情報はこちら。

◎ 数学書房のページはこちら。
◎ 版元ドットコムのページはこちら。
◎ Amazon の書籍情報はこちら。

◎ 明解線形代数（日本評論社）に関する最新情報はこちら。

変更箇所一覧（４刷から５刷へ）

誤植を訂正し、情報を最新にしました。

暫定正誤表

第１版第５刷（2016年12月20日発行)

章	頁	行・場所	誤（修正前）		正（修正後）
1	17	-5,-4	2kπ	⇒	2π
1	21	7,12	1	⇒	e
1	24	-4	D_n	⇒	D_2n
2	90	10	X^n-mg(X)	⇒	X^n-m
4	178	3	(x,y)=(x,2y)=(x,x^2-1)=1	⇒	GCD(x,y)=GCD(x,2y)=GCD(x,x^2-1)=1
4	179	14	n =	⇒	n' =
4	194	-2	)(m)	⇒	(m))
略解	205	17,18,19	問題1.29の3行	⇒	ここをクリック
略解	206	18	r4	⇒	r⁴
				⇒

(注) 行の欄で -m とあるのは下から m 行目という意味。
(注) [注：・・・] は修正についてのコメント。

読者への追加（サポート）情報

＜用語・記号・対訳英語の追加＞

行列　A = (a_ij)　(matrix)
行列式　det(A)　(determinant)
m×n 行列全体　M_m,n　(m×n matrices)
n×n 行列全体　M_n　(n×n matrices)
アーベル群　(abelian group)
巡回群　C_n ,　Z_n ,　Z/nZ　(cyclic group)
二面体群　D_2n　(dihedral group)
対称群　S_n　(symmetric group)
交代群　A_n　(alternating group)
一般線形群　GL_n　(general linear group)
特殊線形群　SL_n　(special linear group)
直交群　O_n　(orthogonal group)
特殊直交群　SO_n　(special orthogonal group)
核　Ker　(kernel)

(注) A_n ⊂ S_n ,　 SL_n ⊂ GL_n ⊂ M_n ,　 SO_n ⊂ O_n ⊂ GL_n ,　 SO_n = SL_n ∩ O_n
(注) det : M_n ---> M₁ ,　 det(A) = ∑_{σ ∈ A_n} a_1σ(1)…a_nσ(n) - ∑_{σ ∈ S_n - A_n} a_1σ(1)…a_nσ(n)
(注) det(AB) = det(A) det(B)
(注) SL_n = det^-1(1) = Ker [ det|_{GL_n} : GL_n ---> GL₁ ]

第３章・章末問題の追加 p.174

１０．例題 3.30 および定理 3.47 の主張を証明せよ．

第３章・文中問題（問題の略解を追加） p.218

問題 3.32（定理3.45にある代数閉体の存在を仮定しない別解） [拡大体の構成] 体 K 上の既約多項式 f(X) ∈ K[X] （既約多項式の定義は２章にあるものと同様である）に対して， g(Y) = f(Y) ∈ K[Y], L = K[Y]/I(g(Y)) とおけば， L は K の拡大体となる．ここで， a = Y + I(g(Y)) ∈ L，とおけば， f(a) = 0, L = K(a), [L:K] = deg f(X) となる． [最小分解体の構成] 体 K 上のモニック多項式 f(X) ∈ K[X]， deg f(X) = m に対して， K の拡大体 L で以下の２条件 (1)，(2) を満たすものが，同型を除いて一意的に存在する：
　　 (1) f(X) = (X-a₁)・・・(X-a_m) ∈ L[X]， ∃a_i ∈ L； (2) L = K(a₁, ... ,a_m)．
証明は， f(X) の既約多項式への分解と上で述べられている拡大体の構成を用いながら， m に関する帰納法で与えられる．この L を f(X) の K 上の最小分解体と呼ぶ．厳密には，「K と K' の同型が，対応する最小分解体 L と L' の同型に拡張される」という形で進める方が，帰納法で示し易い．（実際，同型 σ : K --> K' と f(X) = ∑ a_iXⁱ ∈ K[X] に対して， f^σ(X) = ∑ σ(a_i)Xⁱ とおき， f(X) = f₁(X)・・・f_r(X) ∈ K[X] を既約多項式への分解とするとき， f^σ(X) = f₁^σ(X)・・・f_r^σ(X) ∈ K'[X] も対応する既約多項式への分解となる．このとき， K, K' のそれぞれの拡大体 M, M ' であって，M = K(a), f₁(a) = 0, M ' = K'(a'), f₁^σ(a') = 0 となるものが存在し，写像 τ : M --> K[X]/I(f₁(X)) --> K'[X]/I(f₁^σ(X)) --> M ' は σ の拡張で τ(a) = a' を満たす体の同型を与える．ここで，g(X) = f(X)/(X - a) ∈ M[X] とおけば， g^τ(X) = f^σ(X)/(X - a') ∈ M '[X] であり， deg g(X) = m - 1 < deg f(X) なので帰納法の仮定より， L = M(b₂,...,b_m), g(X) = (X-b₂)・・・(X-b_m), L' = M '(b'₂,...,b'_m), g^τ(X) = (X-b'₂)・・・(X-b'_m) をみたす M, M ' のそれぞれの拡大体 L, L' が存在し，さらに τ の拡張としての体の同型 ρ : L --> L' であって，適当に番号を付け替えれば， &rho(b_i) = b'_i を満たすものが得られる．） [有限体の構成] K = F_p および f(X) = X^pⁿ-X とするとき， f(X) の K 上の最小分解体を L とすれば，これが求める F_pⁿ であり，同型を除いて一意的に定まる．実際，K = F_p = { 0, 1, 2, ... , p-1 } ⊂ L = F_pⁿ = { a₁, a₂, ... , a_pⁿ } かつ f(X) = (X - a₁)(X - a₂)・・・(X - a_pⁿ) となる．

問題 3.33 例えば，以下の方法が知られている． x 軸上に３点 1, 0, -1 が与えられているものとしてよい．それぞれ，A, O, B と呼ぶ． O を中心とした半径 1 の円 C を描く． O を通り x 軸に垂直な直線を引き，それが円 C と交わる交点の一方を D とする． OD 上に OD = 4 OE となる点 E をとる． OA 上に ∠OEA = 4 ∠OEF となる点 F をとる． OB 上に ∠FEG = π/4 となる点 G をとる． AG を直径とする円 H を描く．円 H と OB との交点を J とする． F を中心とした半径 FJ の円 K を描く．円 K が OA と交わる点を L, OB と交わる点を M とする． L, M を通り x 軸に垂直な２直線が点 B の側で円 C と交わる点をそれぞれ N, P とする． ∠NOP の２等分線が点 B の側で円 C と交わる点を Q とする． ∠POQ = 2π/17 である．よって，定木とコンパスによる正１７角形の作図を具体的に実行することが可能である．（実際，
　　　cos(2π/17) = (\sqrt{17} - 1 + \sqrt{34 - 2\sqrt{17}})/16 + \sqrt{17 + 3\sqrt{17} - \sqrt{170 + 38\sqrt{17}}}/8
とかけることからも， cos(2π/17) の作図可能性を納得することができる．自分のノート上で実行すると，定木とコンパスを何回も用いるので，手書きの誤差がその度に積み重なり，最後に円周を１７等分しようとすると，その誤差で辻褄が合わずに，うまく描けないことも十分に想定される．その場合には，コンピュータで図形を描くソフト等を使用するのも一案であろう．各自で作図方法を色々と工夫してみられたい．）

第３章・章末問題（追加問題への略解） p.219
10. [準備] ξ = ξ_n とするとき， F_n(X) = ∏_{1≤i≤n,GCD(i,n)=1} (X - ξⁱ) なので，deg F_n(X) = \varphi(n) であることは明らか．（ここに，\varphi(n) はオイラー関数を表す．）また， P_n(X) = Xⁿ - 1 = ∏_1≤i≤n (X-ξ_nⁱ) と置けば， P_n(X) = ∏_{1≤c≤n,c|n} (∏_{1≤i≤n,GCD(i,n)=c} (X-ξ_nⁱ)) であり， ∏_{1≤i≤n,GCD(i,n)=c} (X-ξ_nⁱ) = ∏_{1≤i'≤n/c,GCD(i',n/c)=1} (X-ξ_n/c^i') = F_n/c(X) なので， P_n(X) = ∏_{1≤c≤n,c|n} F_n/c(X) = ∏_{1≤d≤n,d|n} F_d(X) を得る．従って，４章で議論されるメビウスの反転公式により F_n(X) = ∏_{1≤d≤n,d|n} (X^n/d - 1)^μ(d) が成り立つ．さらに， P_n(X) = F_n(X) (∏_{1≤d≤n-1,d|n} F_d(X)) を用いて， F_n(X) ∈ Z[X] であることが（n に関する帰納法で）示される． [例題 3.30] F_n(X) が既約でないと仮定する．このとき， F_n(X) = f₁(X) … f_r(X) と r (≥ 2) 個の既約多項式の積に分解される（定理 2.22 を参照）．必要があれば番号を付け替えて f₁(ξ) = 0 としてよい．補題 2.27 より， f₁(X) = c_f₁ f₁^*(X), g(X) = f₂(X) … f_r(X) = c_gg^*(X) と書ける．ただし， c_f₁, c_g ∈ Q^× であり， f₁^*(X),g^*(X) ∈ Z[X] は原始的とする．このとき， 2 ≤ m ≤ n-1 なる m で， GCD(m,n) = 1, f₁(ξ^m) ≠ 0, g(ξ^m) = 0 をみたすものが選べる．この素因数分解を m = q₁ … q_s とする（q₁,…,q_s には同じものが重複して出て来てもよい）．これより，番号 t で f₁(ξ^q₁…q_t-1) = 0, f₁(ξ^q₁…q_t) ≠ 0, g(ξ^q₁…q_t-1) ≠ 0, g(ξ^q₁…q_t) = 0 をみたすものが存在する． p = q_t とおけば GCD(p,n) = 1 であり，また ζ = ξ^q₁…q_t-1 とおけば， f₁(ζ) = 0, f₁(ζ^p) ≠ 0, g(ζ) ≠ 0, g(ζ^p) = 0 が成り立つ．そこで， G(X) = g^*(X^p) ∈ Z[X] とおけば，今までのことより， G(ζ) = 0, f₁^*(ζ) = 0 を得る．定理 2.18 より， I(G(X),f₁(X)) = I(R(X)) ⊂ Q[X] と表すことができ，このとき R(X)|f₁(X) であり，さらに我々の仮定より f₁(X) が既約なので， R(X) = c または R(X) = c f₁(X) をみたす c ∈ Q^× が存在する．しかし，R(ζ) = 0 より R(X) = c f₁(X) とならざるを得ない．よって， G(X) = f₁(X) H(X) をみたす H(X) ∈ Q[X] が存在する．ここでも， H(X) = c_H H^*(X) と分解しておくと（c_H ∈ Q^× かつ H^*(X) ∈ Z[X] は原始的），補題 2.26 と補題 2.27 より G(X) = f₁^*(X) H^*(X) が成立している．さて，ここで得られた式（の係数）を mod p で考えたものに ^† を付記することにより， F_p[X] = Z/pZ[X] ∋ (g^*(X)^†)^p = g^*(X^p)^† = G(X)^† = f₁^*(X)^† H^*(X)^† が導かれる．（ここで， F_p[X] において (u + v)^p = u^p + v^p が， F_p において w^p = w が，それぞれ成り立つことを用いた．定理 2.15, 2.16 を参照．）従って， F_p[X] における因数分解の一意性（２章の章末追加問題８）より， deg q(X)^† ≥ 1, q(X)^†|f₁^*(X)^†, q(X)^†|g^*(X)^† をみたす多項式 q(X)^† ∈ F_p[X] = Z/pZ[X] が存在する．しかるに，F_p[X] = Z/pZ[X] = I(1) = I((Xⁿ-1)^†,(nX^n-1)^†) = I(P_n(X)^†, DP_n(X)^†) ⊂ I(f₁^*(X)^†,g^*(X)^†) ⊂ I(q(X)^†) となるので矛盾である．（ただし， D は２章の章末追加問題８で導入された F_p[X] の微分作用素である．）以上より，F_n(X) の既約性が示された． [定理 3.47:必要条件] 上での議論と同様にして I(F_n(X)) = { f(X) ∈ Q[X] | f(ξ) = 0 } が示されるので，同型 Q[X]/I(F_n(X)) → Q(ξ) = Q[ξ] が X + I(F_n(X)) → ξ なる対応により得られる（２章の章末問題２（１）を参照）．ゆえに， [Q(ξ):Q] = dim_Q Q(ξ) = dim_Q Q[X]/I(F_n(X)) = deg F_n(X) = \varphi(n) が成り立つ．正 n 角形が定木とコンパスで作図可能であるならば， n = 2^e p₁^m₁…p_r^m_r と素因数分解したとき， \varphi(n) = 2^e-1p₁^m₁-1(p₁-1)…p_r^m_r-1(p_r-1) = [Q(ξ):Q] が２のベキでなければならず（3.5.2 節を参照）， m₁ = ... = m_r = 1 かつ p₁ - 1 = 2^l₁, ... , p_r - 1 = 2^l_r が示される． [定理 3.47:十分条件] p = 2^m+1 をフェルマ素数とし， ξ = ξ_p とおく．まず， F_p(X) = X^p-1 + X^p-2 + … + X + 1 = (X^p - 1)/(X - 1) であることに注意する．ここで，各 1 ≤ i ≤ p - 1 に対して， Q(ξ) の場合と同じ理由で Q[X]/I(F_p(X)) → Q(ξⁱ) が同型なので，Q(ξ) の自己同型 σ_i : Q(ξ) → Q[X]/I(F_p(X)) → Q(ξⁱ) = Q(ξ) を σ_i(ξ) = ξⁱ により定めることができる．このとき，σ_iσ_j = σ_{ij (mod p)} であるので， { σ₁, ... ,σ_p-1 } は F_p^× = (Z/pZ)^× = { 1, ... ,p-1 } と同型な群となる．ここで，３章の章末問題７より，F_p^× は巡回群であるから，その生成元 s を選ぶ．σ = σ_s と置けば, σの位数は 2^m であり，ここでさらに K = Q, L = Q(ξ), K_k = { x ∈ L | σ^{2^k}(x) = x } (1 ≤ k ≤ m) とおく．明らかに K_m = L であり，またσは Q(ξ) の基底 ξ,ξ², ... ,ξ^p-1 を適当な順序で全てを巡回的に置換していることに注意すれば， F_p(X) の形から K₀ = K となることも容易に言える．もしも，K_k+1 ≠ K_k とすれば， σ^{2^k}(u_k+1) ≠ u_k+1 なる u_k+1 ∈ K_k+1 が存在し， v_k+1 = u_k+1 - σ^{2^k}(u_k+1) ≠ 0 とおけば， σ^{2^k}(v_k+1) = - v_k+1 が成り立つ．このとき， K_k+1 ∋ v = (v + σ^{2^k}(v))/2 + (v - σ^{2^k}(v))/2 なので， K_k+1 = K_k ⊕ K_k v_k+1 と（σ^{2^k} に対する固有値 ±1 の固有空間の直和に）書き表すことができ，[K_k+1:K_k] = 2 を得る．（さらに，[L:K] = 2^m であることと，中間体の列 K = K₀ ⊂ K₁ ⊂ ... ⊂ K_m = L が [K_k+1:K_k] ≤ 2 を満たしていることに注意すれば，定理 3.26 により，全ての段階で [K_k+1:K_k] = 2 となっていることも示される．）これにより，適当な a_k ∈ K_k によって， K_k+1 = K_k(\sqrt{a_k}) と表すことができる（例題 3.21 を参照）．従って，K = Q から出発して，次々と作図を続けて，最終的に ξ = ξ_p を作図することができる．すなわち，正 p 角形を作図することができる．ここで，正 n₁ 角形と正 n₂ 角形が作図可能であり GCD(n₁,n₂) = 1 ならば正 n₁n₂ 角形も作図可能であることに注意しておく。（なぜなら、an₁+bn₂ = 1 と書いておけば， a/n₂+b/n₁ = 1/(n₁n₂) となり， 2π/(n₁n₂) が作図できる）．また，角の２等分の作図は何回でも続けて実行可能である．従って， n = 2^ep₁…p_r (p₁, ... , p_r は相異なるフェルマ素数) と表されているときには，定木とコンパスにより正 n 角形を作図することが可能である． [補足] フェルマ素数は 3, 5, 17, 257, 65537 の５個しか知られていない．これら以外では，十分に大きな値まで調べても 2^m + 1 の形で素数になるものは見つかっていない．無限個あるのか，もしくは有限個しかないのかさえも解明できていない．（本文中でも注意してあるように，m が奇数の約数 m' > 0 をもてば，例えば (X + 1)|(X^m' + 1) という事実をみても， 2^m + 1 が分解してしまうことが分かる．従って， 2^m + 1 が素数であるためには， m は少なくとも 2 ベキでなければならない．実際， 3 = 2^2⁰ + 1； 5 = 2^2¹ + 1； 17 = 2^2² + 1； 257 = 2^2³ + 1； 65537 = 2^2⁴ + 1 であり，これらは素数となる．フェルマは m が 2 ベキならば 2^m + 1 は常に素数になるであろうと予想したが，オイラーが 4294967297 = 2^2⁵ + 1 = 641 × 6700417 となることを示した．これ以降も（最近ではコンピュータを用いて）計算は試みられているが，どんなに十分に大きな r > 5 に対しても 2^{2^r} + 1 は分解してしまい，新しいフェルマ素数は見つからずに現在に至っている．フェルマ素数の名前はこの予想に由来している．）

数学域のホームページへ戻る