§E6.1環

証明. 右分配律から

を得る。両辺に$-(a0_R)$を加えると$a0_R=0_R$を得る。左分配律を用いる同じ議論によって$0_Ra=0_R$を得る。

次に

であるから、加法逆元の一意性により$(-a)b=-(ab)$である。同様に

であるから、$a(-b)=-(ab)$を得る。最後に、既に示した二つの公式を順に用いると

となる。▨

証明. 直積環の各環公理は、各座標$R_i$の対応する公理から従う。例えば$x=(x_i)$、$y=(y_i)$、$z=(z_i)$に対して

である。任意の$i$で座標が一致するため、$x(y+z)=xy+xz$である。他の公理も同じ座標計算で得られる。

行列の加法がアーベル群をなすことは、$R$の加法がアーベル群をなすことから成分ごとに従う。乗法の結合律は、任意の$i,j$に対して有限和の添字を入れ替える計算

から従う。分配律も有限和と$R$の分配律から従い、$I_nA=AI_n=A$は成分計算から従う。

$\operatorname{End}_{\mathbb Z}(A)$では、点ごとの加法がアーベル群をなす。写像の合成は結合的であり、恒等写像が単位元である。任意の$f,g,h\in\operatorname{End}_{\mathbb Z}(A)$と$a\in A$に対して

であるから、$f(g+h)=fg+fh$である。また

であるから、$(f+g)h=fh+gh$である。したがって自己準同型全体は環をなす。▨

証明. 整数倍の定義により、任意の$k\in\Z$に対して

である。実際、$k\ge0$の場合は反復和の定義であり、$k=-r<0$の場合は$r\cdot a=(r-1)\cdot a+a$の両辺から$r\cdot a$を引くと得られる。

$m\in\Z$を固定する。$n=0$では$(m+n)\cdot a=m\cdot a+n\cdot a$である。直前の漸化式により、この等式の両辺は$n$を$n+1$に替えると$a$だけ増え、$n$を$n-1$に替えると$a$だけ減る。したがって、正負それぞれの方向への帰納法により、すべての$n\in\Z$について等式が成り立つ。

加法の可換性により、$n\ge0$のときは反復和を並べ替えて$n\cdot(a+b)=n\cdot a+n\cdot b$を得る。$n<0$のときは$r=-n>0$と置くと

である。

加法準同型$f\colon A\to B$は§E1.6 命題 1.3により零元と加法逆元を保つ。したがって、$n\ge0$では反復和に加法性を適用し、$n<0$ではさらに逆元の保存を用いると、$f(n\cdot a)=n\cdot f(a)$を得る。

既に示した係数の和の法則により、写像$h_a\colon\Z\to A$、$k\mapsto k\cdot a$は加法準同型である。整数の加法群における$n$の$m$倍は整数$mn$であるから、整数倍の保存を$h_a$に適用すると

である。$1\cdot a=a$は定義から従う。▨

証明.$\varphi\colon\Z\to R$を環準同型とする。$\varphi$は加法準同型であるから、補題 3.1により

となる。最後の等号は$\varphi(1_{\mathbb Z})=1_R$による。したがって$\varphi$は表示した式で定まり、環準同型は高々一つである。

$\chi_R(n):=n\cdot1_R$と定める。補題 3.1により

であるから、$\chi_R$は加法群の準同型である。また$\chi_R(1)=1_R$である。

$m\in\Z$を固定し、写像

を考える。分配律により$\mu$は加法群$(R,+)$の準同型であるから、補題 3.1により整数倍を保つ。したがって

である。第四の等号は補題 3.1の係数の積の法則による。ゆえに$\chi_R(mn)=\chi_R(m)\chi_R(n)$が成り立ち、$\chi_R$は環準同型である。

環準同型の合成は環準同型であるから、$f\circ\chi_R$は$\Z$から$R'$への環準同型である。いま示した一意性により、$f\circ\chi_R=\chi_{R'}$である。▨

証明.$K:=\ker\chi_R$と置く。$\chi_R$は零元と加法逆元を保つから、$0\in K$であり、$k\in K$ならば$-k\in K$である。したがって、$K$が正の整数を含まない場合は$K=\{0\}=0\Z$である。

$K$が正の整数を含む場合は、その最小元を$d$とする。任意の$q\in\Z$に対して

であるから$d\Z\subseteq K$である。任意の$k\in K$に対して整数の除法により$k=qd+r$、$0\le r<d$と書くと

である。$r\in K$と$d$の最小性により$r=0$であるから、$k\in d\Z$を得る。したがって$K=d\Z$である。

非負整数$n$が$K=n\Z$を満たすとする。$K=\{0\}$ならば$n\in K$より$n=0$である。$K\ne\{0\}$ならば$n>0$であり、$n$は$n\Z$の最小正元であるから$n=d$である。したがって生成する非負整数は一意である。▨

証明.(1)を示す。任意の$k,\ell\in\Z$に対して、$\chi_R(k)=\chi_R(\ell)$であることと$\chi_R(k-\ell)=0_R$であることは同値である。したがって$\chi_R$が単射であることと$\ker\chi_R=\{0\}$であることは同値であり、$\{0\}=0\Z$であるから、これは$\operatorname{char}R=0$と同値である。また$\ker\chi_R=\{0\}$は、任意の正の整数$m$に対して$\chi_R(m)=m\cdot1_R\ne0_R$であることと同値である。$\chi_R(-m)=-\chi_R(m)$であるため、負の整数を調べる必要はない。

(2)を示す。$\operatorname{char}R=n>0$とすると、$\ker\chi_R=n\mathbb Z$であるから、$m\cdot1_R=0_R$を満たす正の整数は$n$の正の倍数の全体であり、その最小元は$n$である。逆に、$n$が$m\cdot1_R=0_R$を満たす正の整数のうち最小のものであるとする。$\operatorname{char}R=n'$と置くと、$n\in\ker\chi_R$より$n'\ne0$であり、いま示したことにより$n'$は同じ集合の最小元であるから$n=n'$である。

(3)を示す。$n:=\operatorname{char}R$と置く。$\chi_R(n)=n\cdot1_R=0_R$である。$a\in R$に対して写像$x\mapsto xa$は分配律により$(R,+)$の準同型であるから、補題 3.1により

である。

(4)を示す。命題 3.2により$f\circ\chi_R=\chi_{R'}$であるから、$\chi_R(n)=0_R$ならば$\chi_{R'}(n)=f(0_R)=0_{R'}$である。したがって

であり、$\operatorname{char}R'$は$\operatorname{char}R$を割り切る。$R$と$R'$が同型ならば両向きの環準同型が存在するため、二つの標数は互いに割り切り合い、非負整数として等しい。部分環$S$については、定義 1.3により$1_R\in S$であり、$S$は差について閉じているから、任意の整数$n$に対して$n\cdot1_R\in S$である。したがって$\chi_S$は$\chi_R$の終域を$S$へ制限した写像であり、二つの核は集合として一致する。ゆえに$\operatorname{char}S=\operatorname{char}R$である。

(5)を示す。$\operatorname{char}R=1$であることは$\ker\chi_R=\mathbb Z$と同値であり、これは$1_R=\chi_R(1)=0_R$と同値である。$1_R=0_R$ならば、任意の$a\in R$に対して$a=a1_R=a0_R=0_R$であるから$R$は零環である。逆に$R$が零環ならば$1_R=0_R$である。▨

証明.$a,b,c\in R^{\mathrm{op}}$に対して、$R$の結合律を用いると

である。$R$の分配律から

であり、もう一方の分配律も同様に得られる。また

である。加法は$R$と同じであるから、$R^{\mathrm{op}}$は環である。反対環の操作を二度行うと積の順序が二度逆転するため、$(R^{\mathrm{op}})^{\mathrm{op}}$の積は$R$の積と一致する。▨

証明.$0_R$と$1_R$は任意の$r\in R$と可換である。$z,w\in Z(R)$と$r\in R$に対して

であり、

である。したがって$Z(R)$は部分環である。$z,w\in Z(R)$ならば中心の定義を$r=w$に適用して$zw=wz$を得るため、$Z(R)$は可換である。反対環で$z$と$r$が可換であるという条件は$rz=zr$であり、$R$での条件と同値である。したがって$Z(R^{\mathrm{op}})=Z(R)$である。▨

証明.$v,w\in R$がともに単元$u$の乗法逆元であるとすると、

である。したがって乗法逆元は一意である。

$1_R$は単元である。単元$x,y$に対して

かつ

であるから、$xy$は単元である。単元$x$の逆元$x^{-1}$も単元であり、その逆元は$x$である。結合律は$R$の結合律から従うため、$R^\times$は群をなす。

$e^2=e$ならば、分配律と命題 1.2から

である。また

である。▨

証明.$f,h\in A[G]$の台をそれぞれ$F,H$とする。$f\ast h$の台は有限集合$FH=\{uv\mid u\in F,\ v\in H\}$に含まれるため、畳み込み積は$A[G]$の元として定まる。加法がアーベル群をなすことと分配律は、$A$の対応する公理を各係数へ適用することによって従う。

$f,h,k\in A[G]$と$x\in G$に対して、有限和の添字を組み替えると

となる。したがって乗法は結合的である。$e_G$に集中する写像を$1_{A[G]}$と書くと、群の単位元の性質から$1_{A[G]}\ast f=f\ast1_{A[G]}=f$である。$G$がアーベル群ならば、$uv=x$と$vu=x$の添字対応および$A$の可換性から$f\ast h=h\ast f$を得る。▨

証明. 有限台の二つの列の和は有限台である。$a$と$c$の台をそれぞれ有限集合$F,C\subseteq\mathbb Z_{\ge0}$とすると、積$ac$の台は有限集合$F+C=\{i+j\mid i\in F,\ j\in C\}$に含まれる。したがって二つの演算は$A[X]$上で閉じている。

成分ごとの加法によって$A[X]$はアーベル群をなす。分配律は各次数の有限和と$A$の分配律から従う。$a,c,d\in A[X]$と$n\ge0$に対して

であるから、乗法は結合的である。$A$の乗法が可換であるため

であり、乗法は可換である。定数多項式$1_A$との畳み込みでは各次数の係数が変わらないため、$1_A$は単位元である。

$\iota$が加法と乗法および単位元を保つことは、次数$0$の係数を計算すると得られる。$A[X]$は可換環であるため、$X$は特に$\iota(A)$の各元と可換である。▨

証明. 多項式の係数列は有限台であるため、右辺は$B$の有限和として定まる。$\Phi$が加法を保つことと$\Phi(1_A)=1_B$は、$\varphi$の加法性と単位元の保存から従う。

$f=\sum_i a_iX^i$と$g=\sum_j c_jX^j$に対して、$b$が$\varphi(A)$の各元と可換であることを用いると

である。したがって$\Phi$は環準同型である。定数多項式に対して$\Phi(\iota(a))=\varphi(a)$であり、$X$に対して$\Phi(X)=b$である。

一意性を示す。$\Psi\colon A[X]\to B$が同じ二条件を満たす環準同型であるとする。任意の多項式$f=\sum_n a_nX^n$に対して