『代数の基礎』正誤表

この記事は清水勇二著『代数の基礎』 [1] (初版1刷)に対する正誤表です．一読者である私(ことり)が作成したものですので，ミスがあるかもしれません．
l.-nとは，下からn行目であることを意味します． 「(注意)」として誤りではないが注意が必要な箇所について記述しました．

正誤表

p.10, l.10

誤：$A/\equiv$
正：$\mathbb{Z}/\equiv$
l.11も同様．

p.13, l.8

誤：$(A,{⪯}_M)$
正：$(M,{⪯}_M)$

p.13, l.-13

誤：$x⪰a$
正：$x\succ a$
l.-11も同様．

p.25, l.6

誤：例1.1.2, 4)
正：例1.1.2, 5)

p.25, l.16

「$\mathrm{Im}L\subset \mathrm{Aut}(G)$」とあるが誤り．$a\in G$に対して$L_a$は群準同型とは限らない．したがって次の行の2つの$G\to \mathrm{Aut}(G)$はill-defined．
問1.1.24, 3)の「$L_a,R_b\in \mathrm{Aut}(G)$」も誤り．

p.30, l.-8

「完全代表系」と「$\{y_1,\dots ,y_s\}$」の間に「，」を挿入するのがいいと思います．
また，「$\{y_1,\dots ,y_s\}$を$H$が定める$G$の...」とありますが，「$\{y_1,\dots ,y_s\}$を$K$が定める$H$の...」とするのが正しいです．
同様に，l.-5の「$R$は$H$が定める$G$の...」も「$R$は$K$が定める$G$の...」とするのが正しいです．

p.36, l.-1

誤：$0\le k⟨n$
正：$0\le k<n$

p.40, l.6

誤：$T(g_1)T(g_2)$
正：$T(g_2)T(g_1)$

p.41, l.10

「$\{i_1{i}_2\dots i_r\}$」などは，コンマを挿入して「$\{i_1,i_2,\dots ,i_r\}$」などとする．
p.44, l.-6も同様．

p.45, l.7

誤：$\sigma =$
正：$\tau =$

p.46, l.2

誤：$6,3,8,6,1$
正：$6,8,3,6,1$

p.50, l.8

(注意)「$H<N(P)$」とあるが，これは「$H$は$N(P)$の部分群である」という意味に解釈するとよい．

p.50, l.9

誤：第1同型定理
正：第2同型定理

p.50, l.-12

軌道$\mathrm{\Sigma }$は，$P\in \mathrm{\Sigma }$となるものをとる必要がある．次の行で「$\{P\}$は明らかに$P$軌道である．」とあるため．

p.50, l.-4

(注意)ここでとる$P$（$P\in \mathrm{\Pi }$かつ$P\notin \mathrm{\Sigma }$を満たすもの）は，これまでの$P$とは別物であるから，混乱を避けるために$P^{″}$など別の記号を割り当てる方が良い．

p.54, l.12

誤：不変は
正：不変な

p.58, l.3

まず，「$j<i+k$」を「$j\le i+k$」に変更する．
また，$D^k(U_n(\mathbb{R}))=\dots$という等式は成立するとは限らない．「$j<i+k$」を「$j\le i+k$」に変更した右辺を$H_k$とおく．$D^k(U_n(\mathbb{R}))\subset H_k$は成立するが，逆の包含は成立しない．反例は次の通り：

p.58, l.4

「$D^n(U_n(\mathbb{R}))=\{I\}$」は誤りではないが，「$D^{n-1}(U_n(\mathbb{R}))=\{I\}$」としても成立する．
上の項目の記号で$H_{n-1}=\{I\}$となるため．

p.58, l.-3

誤：$(14)(24)$
正：$(14)(23)$

p.60, l.7右辺

誤：$H_{i+1,j-1}/H_{i,j-1}$
正：$K_{i+1,j-1}/K_{i,j-1}$

p.63, l.11, l.13

位数$2n$の二面体群を$D_{2n}$と表記していますが，l.-10以降の表記に合わせて$D_n$と表記した方がいいと思います．
p.201, l.2やp.210, l.-7，p.217などでも$D_n$という表記を用いています．

p.79, l.2

「$H\mapsto H/K=\bar{H}$」とありますが，$H/K$は正確には$R^{\prime }$の部分集合ではないので，$H/K$ではなく$\eta (H)$にした方が良い．
(証明中ではそうなっている．)

p.79, l.-12

誤：${\eta }^{-1}(H)$
正：${\eta }^{-1}(H^{\prime })$
(同じ行の冒頭「$H^{\prime }$が...」と合わせる．)

p.80, l.2

「$s{s}^{\prime }+(s{x}^{\prime }+s^{\prime }x+x{x}^{\prime })$」の中の$s^{\prime }x$を$x{s}^{\prime }$に変更する．
($R$は可換環とは仮定されていないため．)

p.80, l.3

誤：「した$S+I$は」
正：「したがって$S+I$は」

p.83, l.-4

誤：「$P(u)\ne 0$となる$P(x)$が」
正：「$P(u)=0$となる$P(x)\ne 0$が」

p.85, l.-3

$a_n$の定義がない．$a_n$は$f(x)$の最高次係数とする．
(書かなくてもわかるかもしれませんが．)

p.87, l.1

(注意)「その次数は$0$より大きい」とあるが，$I=F[x]$の場合は次数が$0$のこともある．
したがって$I=F[x]$と$I\ne F[x]$とで場合分けするのがより正確．
ただし前者の場合は$I=(1)$なので，主イデアルであることはすぐわかる．

p.88, l.-12

(注意)ここでの$I$は同じページのl.9で定義されたもの．

p.89, l.-7

誤：定理2.2.19
正：定理2.2.18

p.91, l.-13

「for $a/b\ne 0$（$⟺a\ne 0$）」とありますが，$a/b\ne 0$の場合でも$a\notin S$の場合は$b/a$を考えることができません．
また，非整域などでは$a/b\ne 0$と$a\ne 0$とは同値ではありません．
反例：$R=\mathbb{Z}/6\mathbb{Z}$, $S=\{1,2,4,5\}$のとき，$R_S$において$3/1=0$．

p.93, l.1

「$a{s}^{-1}=b{t}^{-1}$」とありますが，両辺は$R_S$の元なので，これまで通り「$a/s=b/t$」という表記の方が良いように思います．
以降の$R_S$の元についても同様です．

p.93, l.11

誤：$s\in S$
正：$s\in R$

p.105, l.4

誤：例2.3.8, 2)参照
正：問2.2.21, 1)参照

p.112, l.-9からl.-2

$e_t,f_t,g_t,k_t,h_t$の添字を全て$r$に変更する．

p.113, l.10

誤：$d=d_r=(d_{r-1},a_r)$
正：$d=d_{r-1}=(d_{r-2},a_r)$
（例えば，$d_2=(d_1,a_3)$などのように，$d_i=(d_{i-1},a_{i+1})$となっている．）

p.114, l.5

誤：命題2.3.14
正：問2.3.14, 3)

p.114, 問2.3.30, 1)

このままでは成立しない．反例は$a=p$．

p.117, l.-11

誤：補題2.3.34
正：補題2.3.36
p.118, l.6も同様．

p.119, 定義2.3.43

$I=R$の場合を準素イデアルの定義から除外するのが良いと思います．
例えば$I=R$は命題2.3.45を満たしません．

p.120, l.10

誤：$a$も単数
正：$a+J$も単数
(とした方がより正確です．)

p.120, 命題2.3.50

(注意)本の証明は正しいが，次のようにしても良い：

p.122, l.-11

誤：$d+e{b}^{N}R$
正：$d+e{b}^N$

p.123, l.-12

誤：命題2.3.44
正：命題2.3.47

p.129, l.-1

証明を成り立たせるためには，ここの$m_{\alpha }$は$m_{\alpha }\ne 0$となるように取る必要がある．

p.137, l.-12

誤：$\cdots +{\displaystyle \sum a_i{x}_i=0}$
正：$\cdots +{\displaystyle \sum b_i{x}_i=0}$

p.139, l.10

(注意)$I^{\prime }=R$を導くためには$I^{\prime }\ne I$を仮定する必要がある．

p.140, l.4

誤：$M_{\alpha }⊊M^{\prime }$
正：$M_{\alpha }\not\subset M^{\prime }$

p.141, l.6

誤：$m\notin L_1$
正：$m\in L_1$

p.144, l.5

誤：$N$も昇鎖律を満たす
正：$M/N$も昇鎖律を満たす

p.144, l.-6

「$N$の昇鎖」と「$(N+L_1)/N$」の間に「，」を挿入した方が読みやすいと思います．

p.145, l.-11

誤：系3.1.30
正：注意3.1.30

p.147, l.9

誤：${\displaystyle \sum _{i=2}^m{b}_j{f}_j}$
正：${\displaystyle \sum _{j=2}^m{b}_j{f}_j}$

(${\displaystyle \sum }$の添字を$j$にする．l.13, 15, 16も同様．)

p.149, l.7

誤：${\mathbf{a}}_j+b{\mathbf{a}}_i$
正：${\mathbf{a}}_i+b{\mathbf{a}}_j$
その下の$\hat{j}$も$\hat{i}$に変更する．
(l.-7の$\text{I})$と整合的になるようにする．)

p.149, l.-1

誤：$s=0$
正：$r=0$

p.150, l.11

誤：$A_1{T}_{1k}(1)$
正：$T_{1k}(1)A_1$

p.151, l.7

誤：$\mathrm{sgn}$
正：$\mathrm{sgn}\sigma$

p.152, l.8

(注意)「$E$の階数は$1$」とあるが，加群に対する階数は定義されていない（?）．$R$が主イデアル整域で$R$加群$E$がある$r\in {\mathbb{Z}}_{\ge 0}$に対して$E\cong E_{\mathrm{tor}}\oplus R^r$を満たすとき，$r$を$E$の階数という．

p.154, l.8

誤：$(y_i\in M_i)$
正：$(y_i\in M[p_i])$

p.155, l.10

誤：$\mathrm{Ann}(x_i)=(p_i^{e_i})$
正：$\mathrm{Ann}(y_i)=(p_i^{e_i})$

p.155, l.-4

(注意)「第2同型定理から」とありますが，第1同型定理によって導かれると思います．

p.156, l.8

誤：$(j>s)$
正：$(j>r^{\prime })$

p.156, l.-12

「素数べき$p^e$の位数を持つ巡回加群」とありますが，$R=\mathbb{Z}$とは限らない一般の主イデアル整域$R$についての議論であるため，位数が$p^e$というのは意味をなさないと思います．例えば$R=\mathbb{C}[x]$の場合に$p=x$は$R$の素元ですが，「位数$x^2$の巡回加群」という書き方はできないと思います．
「$R/(p^e)$という形の巡回加群」とするといいと思います．

p.160

$T$の表現行列は，転置をとったものが正しいです．p.157の$T$の表現行列$A$と整合的になるようにする必要があります．同伴行列も転置すると良いと思います．p.161の$J_n(\alpha )$も転置をとったものが正しいです．
転置をとるとジョルダン細胞が下三角行列になってしまいますが，基底の順番を逆順にすれば上三角行列にすることができます．(例えば永井先生の『代数学入門』 [2] などではそうなっています．)

p.165, l.-3

誤：$\zeta (a,n)$
正：$\zeta (a\otimes n)$

p.167, 問3.3.9, 2)

$R$は可換環とするのが良いと思います．一般に$R$が非可換環の場合，$m,n\in \mathbb{N}$について，$m\ne n$でも左（右）$R$加群としての同型$R^m\cong R^n$が成り立つことがあるため，自由$R$加群の階数は可換環の場合と同じようには定義できないからです．系3.1.27では$R$の可換を仮定しています．

p.170, l.9

誤：$1_{N}f=f$
正：$1_{T}f=f$
（ここでは，p.127, l.12の2番目の式をチェックしている．）

p.171, l.4

誤：$M{\otimes }_{R}N$
正：$M{\otimes }_{S}N$

p.172, l.6

誤：$\mathbb{Z}/n{\mathbb{Z}}_{[\varphi ]}$
正：$\mathbb{Z}/n{\mathbb{Z}}_{[\mathbb{Z}]}$
(p.171, l.-6の係数制限の表記$N_{[R]}$に合わせる．)

p.172, l.12

いくつか修正が必要です．

誤：${\text{Hom}}_S(R,N)$
正：${\text{Hom}}_S(S,R)$

${\text{Hom}}_S(R,N)$は一般には定義されません．$R$が$S$加群にならないためです．
例えば$\varphi$が包含$\mathbb{Z}\to \mathbb{Q}$の場合，$\mathbb{Z}$を$\mathbb{Q}$上線型空間とみなすことはできません．
${\text{Hom}}_S(S,R)$に変更すると良く，左$R$加群として${\text{Hom}}_S(S,R)\cong N_{[R]}$となります．

(これに伴って他の部分も変更する必要があります．)

誤：$R$の右$R$加群の構造に由来する
正：$S$の右$R$加群の構造に由来する

誤：$(rh)(r^{\prime })=h(r^{\prime }r)(r,r^{\prime }\in R,h\in Ho{m}_S(R,N))$
正：$(rh)(s)=h(s\varphi (r))(r\in R,s\in S,h\in Ho{m}_S(S,N))$  

誤：$h(r):=\varphi (r)n$
正：$h(s):=sn$

p.174, 問3.3.25, 4)

$\psi$はwell-definedですが，$M,M^{\prime }$が有限生成自由加群の直和因子であっても$\psi$が同型になるとは限りません．
反例は次の通り：

p.176, l.12

構造定数の等式が間違っている．反例は例3.3.4の1)で$\lambda =\mu =1,\nu =0,\rho =1,\pi =0$．
両辺に${\displaystyle \sum _{\rho }}$を付けると任意の$\lambda ,\mu ,\nu ,\pi$について成立する等式になる．

p.176, l.-10

「その他の$a_{\lambda \mu }^{\rho }=0$」とあるが，$a_{01}^1$と$a_{10}^1$は$1$になる．

p.178, l.-10

誤：考えてと
正：考えると

p.182, l.-3

「$\mathrm{char}R\ne 2$のとき, $I_a=\dots$」とあるが，「$R$で$2$が単元のとき」では？
例えば$R=\mathbb{Z}/6\mathbb{Z}$（$\mathrm{char}R=6\ne 2$）でも$I_a$はこの右辺のようになるだろうか？

p.185, 例3.4.26, 2)

$R$で$2$が単元でない場合でも，$\mathrm{\Lambda }(M)$の階数は$2^n$になるだろうか？$x_i\wedge x_i\ne 0$などとはならないのか？

p.185, l.-2

誤：$y_i={\displaystyle \sum _{j=1}^n{a}_{ij}{x}_j}$

正：$x_i={\displaystyle \sum _{j=1}^n{a}_{ij}{y}_j}$
(ここで$y_k=1$, $y_i=0$（$i\ne k$）として得られる式が$w_k={\displaystyle \sum a_{ik}{v}_i}$の式と整合的になるようにする．p.186, l.6の項目も同様．)

p.186, l.5

$a_{(I,J),(I^{\prime },J^{\prime })}=$の右辺．添字と$\mathrm{\Pi }$の位置が間違っています．正しくは次の通り：

(一般に$({\displaystyle \prod _s{x}_s)({\displaystyle \prod _t{y}_t)={\displaystyle \prod _s{\displaystyle \prod _t(x_s{y}_t)}}}}$は成立するとは限りません．)

p.186, l.6

誤：$y_{(I^{\prime },J^{\prime })}={\displaystyle \sum a_{(I^{\prime },J^{\prime }),(I,J)}{x}_{(I,J)}}$
正：$x_{(I,J)}={\displaystyle \sum a_{(I,J),(I^{\prime },J^{\prime })}{y}_{(I^{\prime },J^{\prime })}}$

p.186, l.-12, l.-11

誤：$w\otimes l$
正：$l\otimes w$
(l.-10の$M^{\ast }\otimes N$の元として考えていると思うので，この順番が良いと思います．)

p.187, l.-12

誤：$V\subset C(V,Q{)}_0$
正：$V\subset C(V,Q{)}_1$

p.187, 命題3.4.31

(注意)あまり自信がないのですが，おそらくこうだと思うことを書いておきます．
まず，クリフォード代数$C(V,Q)$を$\mathbb{Z}/2\mathbb{Z}$で次数付けられた次数$k$代数とみなしたとき，これは一般にはp.181の意味で次数可換では「ない」です．（$\mathbb{Z}/2\mathbb{Z}$次数代数としての次数可換は，${\mathbb{Z}}_{\ge 0}$次数代数の次数可換と同様に定義されます．p.181, l.-2．）もし次数可換なら，$a\in V$に対して$a^2=-a^2$となりますが，（$\mathrm{char}k\ne 2$のとき）これは$a^2=0\in C(V,Q)$を意味します．ところが$a^2=Q(a)\in C(V,Q)$は一般には$0$になりません．よって$C(V,Q)$は一般には次数可換ではないです．
それにも関わらず，命題の同型右辺のテンソル積における積は，p.181, l.-4のように定義するのが良いと思います．命題の同型が積を保つために，このように定める必要があります．

p.187, l.-1

誤：$Q({\varphi }_i(u_i))$
正：${\varphi }_i(Q_i(u_i))$
(ここで示すべきは$I_{Q_i}\subset \ker {\varphi }_i$，すなわち$u_i\otimes u_i-Q_i(u_i)\in \ker {\varphi }_i$なので，${\varphi }_i(Q_i(u_i))=\cdots ={\varphi }_i(u_i\otimes u_i)$という形にするのが良いと思いました．左辺で$Q$ではなく$Q_i$を使うことと，合成の順番に注意してください．)

p.188, l.12

誤：$u_1^2=a$
正：$u_1^2=c$

p.190, l.7

誤：${\mathrm{End}}_{{\mathrm{End}}_R(M)}(M^{\oplus n})$
正：${\mathrm{End}}_{{\mathrm{End}}_R(M^{\oplus n})}(M^{\oplus n})$
l.13も同様．

p.190, 定理3.5.3の証明

(注意)細かいことですが，p.189の定理の主張に合わせて$a^{″}$ではなく$f^{″}$を使うのが良いと思います．

p.191, l.3

(注意)$\rho$の単射は，$R$が単純環であることから両側イデアル$\ker \rho \subset R$が$\ker \rho =0$となることによる，としても良いです．これは，体から出る環準同型が単射になるのと同様です．

p.192, l.-5

誤：最小元
正：極小元
(一般に左アルティン環の左イデアルからなる非空集合は包含関係に関する極小元を持ちますが，最小元を持つとは限らないです．例えば$\mathbb{Z}/6\mathbb{Z}$のイデアルからなる集合$S:=\{(1),(2),(3)\}$において，$(2)$および$(3)$はそれぞれ$S$の極小元ですが，$S$は最小元を持ちません．)
(l.-3の「最小性」も「極小性」に直す．)

p.193, l.-2

誤：最小元
正：極小元

p.194, l.2

(注意)「$M/N_i$は既約加群であるから，『$M$は』完全可約加群の部分加群である．」と補って読むと良い．

p.194, l.7

(注意)「$R^e=R\otimes R^{\mathrm{op}}$」は「$R^e=R{\otimes }_{\mathbb{Z}}{R}^{\mathrm{op}}$」などと解釈すると良いと思います．

p.194, l.12

「($R_i$は)$R$の部分環となる」とありますが，一般には成立しません．
反例：単射環準同型$\mathbb{Z}/2\mathbb{Z}\to \mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/3\mathbb{Z}$は存在しない．
(この本における環準同型は単位元$1$を保つことを要請するが，$a\mapsto (a,0)$は$1$を$(1,1)$に移さないため環準同型ではない．)

p.195, l.1

誤：単純環への直積の単射
正：単純環の直積への単射

p.195, l.1

(注意)次のようにして，左アルティン環$R$上の左既約加群$M$に対して$R/{\mathrm{Ann}}_R(M)$は単純環であることがわかる：

p.195, l.5

「$R/{\mathrm{Ann}}_R(M_{\alpha })\cong M_{\alpha }$」とありますが，成立しません．

反例は次の通りです：

例えば次のように修正すれば良いと思います：

p.196, l.-12

(注意)細かいことですが，「$j\ne j^{\prime }$のとき」で始まる文中では次の「どちらか片方」の処理をした方がより良いと思います．
$n_{j^{\prime }}^{\prime }<i\le n_j$などとなっているときは$I_{j^{\prime }}^{(i)}$は定義されないからです：

• すべての「$I_j^{\prime (i)}$」を「$I_j^{\prime (i^{\prime })}$」に変える．
• すべての「$i$」を「$1$」に変える．

p.196, l.-10

誤：$R/\mathrm{rad}N$
正：$R/\mathrm{rad}R$

p.196, 問3.5.26, 1)

略解に合わせて，$R$は可除環であり$\mathbb{C}$上有限次元であると仮定した方が良いと思います．可除環であるという仮定は外せなくて，例えば行列環$M_2(\mathbb{C})$は$\mathbb{C}$と同型でないです．また，「可算な基底を持つ」という条件では，次元が可算無限の場合を含んでしまうと思います．

p.197, l.4

誤：$st=\epsilon ts$
正：$\epsilon st=ts$

p.198

(注意)この章では適宜，「$G$は有限群」「表現は有限次元」「$\mathrm{char}k\nmid |G|$」を仮定すると良いと思います． これらの仮定は必ずしも明記されません．

p.199, l.-2

誤：$g\cdot hG$
正：$g\cdot hH$

p.209

l.-6とl.-3の$c$が整合的でないです．

p.210, l.-6

誤：$C(a^m)$
正：$C(a^l)$
(l.-3も同様．)

p.214, 問4.2.10, 2)

指標$\psi ,\chi$の終域は${\mathbb{C}}^{\ast }$よりも$\mathbb{C}$の方が適切だと思います．

p.214, l.-4

誤：$V$
正：$V_{\nu }$
l.-3も「$V$の基底を固定し$\rho (g)$の」を「$V_{\nu }$の基底を固定し${\rho }^{(\nu )}(g)$の」に変更する．

p.217

$C(a^m)$の後ろの$(1\le l\le \ast )$を$(1\le m\le \ast )$に直す（2箇所）．

$n$が偶数のときの${\sigma }_l$の後ろの$(1\le m\le n/2-1)$を$(1\le l\le n/2-1)$に直す．

p.218, l.4

$k$代数の準同型${\chi }_{\rho }:k[G]\to {\mathrm{End}}_k(V)$を考えているが，$\rho$が$n(\ge 2)$次元の表現の場合は${\chi }_{\rho }(1\cdot 1)={\chi }_{\rho }(1)=n$, ${\chi }_{\rho }(1){\chi }_{\rho }(1)=n^2$となり，${\chi }_{\rho }(1\cdot 1)\ne {\chi }_{\rho }(1){\chi }_{\rho }(1)$で積が保たれない．$k$代数の準同型ではなく，$k$線形写像とする．
また，写像の終域も指標${\chi }_{\rho }:G\to k$とその拡張${\chi }_{\rho }:k[G]\to k$とするのが正しい．

p.218, l.7

「$\rho (c)=\zeta (c)1_V$」とありますが，$\rho$が既約表現でない場合はこのようにはならないと思います．
命題4.2.17についても，既約表現という仮定が必要だと思います．

p.218, l.-4

誤：$(g\in C_k)$
正：$(g\in C_l)$

p.219, l.4

誤：${\displaystyle \frac{1}{\mathrm{deg}{\rho }_i}}{\chi }_{\rho }(c_j)1_V$

正：${\displaystyle \frac{1}{\mathrm{deg}{\rho }_i}}{\chi }_{{\rho }_i}(c_j)1_V$
（$\rho$の添字$i$が欠けている）

p.219, 定理4.2.21の証明中

${\chi }_{jk}$を${\chi }_{ik}$に直す．（3箇所．）

p.220, l.5

誤：重複度を$m_i$は
正：重複度$m_i$は

p.220, l.7

誤：$(\chi ,\chi )$
正：$({\chi }_{\rho },{\chi }_{\rho })$
(l.-6も同様．)

p.221, 命題4.2.25

(注意)$\mathrm{Rep}(G)\otimes \mathbb{C}$は$\mathrm{Rep}(G){\otimes }_{\mathbb{Z}}\mathbb{C}$と解釈すると良いです．

p.225, l.4

誤：$(h_i\in H)$
正：$(h_i\in k[H])$

p.225, l.-6

「${\displaystyle \sum s_i\otimes (\sigma (\dots )u_{\ast \ast \ast })}$」の$\sigma ()$の中身を${\mu }_{\pi (g{)}^{-1}i}(g)$に変える．
（$i$が欠けている．）

p.226

(注意)命題4.3.4の証明中で$k\cdot s_i\otimes U$という表記がありますが，$s_i\otimes U$自体が部分$k$ベクトル空間なので，$k\cdot$は不要です．

p.226, 命題4.3.5, 3)の証明

(注意)$V$は$G$の表現とするとき，$k[G]$加群としての同型

$$\begin{array}{rccc}& {\mathrm{Hom}}_k(V,k)& \cong & {\mathrm{Hom}}_{k[G]}(V,k[G])\\ & \varphi & ⟼& (v\mapsto {\displaystyle \sum _{g\in G}\varphi (g^{-1}v)g})\end{array}$$

があることに注意する．
逆写像は，$\mathrm{\Phi }\mapsto (v\mapsto \text{（}\mathrm{\Phi }(v)\text{の}e\text{の係数）})$で与えられる．
ただし$e$は$G$の単位元．

p.232, l.8

誤：$(v\notin H-⟨u⟩)$
正：$(v\in H-⟨u⟩)$

p.242, 系5.1.17

この系の主張は数学的に間違ってはいませんが，定義5.1.13から明らかに成り立つものになっています．「$f(x)$が分離多項式であること」を「$f(x)$の全ての根は単根であること」に書き換えると良いと思います．
この本の定義では，多項式が重根を持たないことと分離多項式であることとは同値でないことに注意する必要があります．

p.248, l.14

誤：代数数
正：代数的数

p.249, l.-1

誤：${\mathbb{F}}_{q^m}^{\ast }={\mathbb{F}}_q(\zeta )$
正：${\mathbb{F}}_{q^m}={\mathbb{F}}_q(\zeta )$

p.251, l.-4

「$E$同型${\tilde{\varphi }}_i$」とありますが，$i\ge 2$に対してこれは$E$同型にはなりません．
反例：$F=\mathbb{Q},E=\mathbb{Q}(\sqrt{2}),f=g=x^2-2,r_1=\sqrt{2},r_2=-\sqrt{2}$．$r_1$を$r_2$に移す写像は明らかに$E$の元を保ちません．

次のような議論にすれば良いと思います：

p.255, l.9

誤：任意の$F$同型
正：任意の$F$準同型

p.256

(注意)定理5.1.58の証明の補足．まず次の主張3)'を考える：

p.256, l.-14の「さらに，」で始まる1文は，次のように書き換えると良いと思います：

(単純拡大の場合に3)が成り立つことは，この時点ではまだ言えません．$u\in E$が$F$上分離的であるとき，$F(u)$の$u$以外の元も$F$上分離的であることはまだ示されていないからです．)

p.256, l.3

誤：${\sigma }^{\prime }(u)=\bar{\sigma }(u_i)$
正：${\sigma }^{\prime }(u)=\bar{\sigma }(u_i{)}^{1/q}$
（$\bar{\sigma }(u_i)$自体ではなく，その$q$乗根が$\bar{\sigma }(f(x))$の根であることに注意する必要があります．）

p.259, l.-1

誤：$[E_s:E]$
正：$[E_s:F]$

またここは，次のように議論するのが簡単でいいと思います：

(p.260, l.1には「$F(w)\supset E_s$」とありますが，仮定より$E_s=E$なので，ここで証明が完了しています．それ以降の議論は不要です．なお$a\in F^{\ast }$である必要はなく，$a\in F$として良いです．)

p.261, 例5.2.4, 1)

3)にもある通り，1)で$E/F$がガロワ拡大であるためには，$\mathrm{char}F\ne 2$という仮定が必要です．
実際，$F={\mathbb{F}}_2(t^2)\subset E={\mathbb{F}}_2(t)$（$a=t^2\in F-F^2$）とすると，$E/F$はガロワ拡大ではありません．

p.263, l.13

誤：$(u\in E)$
正：$(u\in N)$
（2箇所）

p.265, 定理5.2.8

(注意)1)は「ある有限部分群$G\subset {\mathrm{Aut}}_F(E)$が存在して$F=E^G$」という意味．

p.270, l.-2

$E^{H_3}=$の右辺の$\omega$を${\omega }^2$にする．次のページの図も同様．

p.274, l.-13

誤：$\mathrm{Gal}(E/F)$
正：$\mathrm{Gal}(K/F)$
l.-10も同様．

p.275,定理5.2.21証明

いくつか修正が必要です．

p.275, l.4

「($n\mid d$に注意．)」とありますが，成立するとは限りません．反例は次の通りです：

しかし，$n\mid d$という条件や，$F$が$1$の原始$d$乗根を含むという仮定は，[必要性]を示すパートでは不要で，次の項目のようにすることで問題なく議論を行えます．

p.275,l.4

$p=\mathrm{char}F$とおく．$p\mid n$の場合は，$1$の原始$n$乗根は$F$の代数閉包に存在しないが，次のようにすれば$p\nmid n$とできる：