第十二章课后习题Ring and Field
第一题
如果环 R 带乘法单位元 1 ,对任意 a ∈ R ,请证明 − a = ( − 1 ) a 如果环R带乘法单位元1,对任意a\in R,请证明-a=(-1)a 如果环R带乘法单位元1,对任意a∈R,请证明−a=(−1)a
证明:
证明:
证明:
根据命题
12.1
,
a
(
−
b
)
=
(
−
a
)
b
=
−
a
b
,有
−
1
a
=
(
−
1
)
a
根据命题12.1,a(-b)=(-a)b=-ab,有-1a=(-1)a
根据命题12.1,a(−b)=(−a)b=−ab,有−1a=(−1)a
又因为
1
是乘法单位元,有
a
1
=
1
a
=
a
又因为1是乘法单位元,有a1=1a=a
又因为1是乘法单位元,有a1=1a=a
因此,
−
1
a
=
−
a
,证得,
−
a
=
(
−
1
)
a
因此,-1a=-a,证得,-a=(-1)a
因此,−1a=−a,证得,−a=(−1)a
第二题
如果任取环 R 中的元素 x 都满足 x 2 = x ,请证明环 R 是交换环 如果任取环R中的元素x都满足x^{2}=x,请证明环R是交换环 如果任取环R中的元素x都满足x2=x,请证明环R是交换环
证明;
证明;
证明;
任取
a
,
b
∈
R
,
根据封闭性有
a
+
b
∈
R
任取a,b\in R,根据封闭性有a+b\in R
任取a,b∈R,根据封闭性有a+b∈R
(
a
+
b
)
2
=
(
a
+
b
)
∗
(
a
+
b
)
=
a
2
+
a
b
+
b
a
+
b
2
(a+b)^{2}=(a+b)*(a+b)=a^{2}+ab+ba+b^{2}
(a+b)2=(a+b)∗(a+b)=a2+ab+ba+b2
根据条件,
x
2
=
x
,得
(
a
+
b
)
2
=
a
+
b
,则
a
b
+
b
a
=
0
根据条件,x^{2}=x,得(a+b)^{2}=a+b,则ab+ba=0
根据条件,x2=x,得(a+b)2=a+b,则ab+ba=0
a
b
=
−
b
a
,
−
b
a
∈
R
,
有
−
b
a
=
(
−
b
a
)
2
=
(
b
a
)
2
=
b
a
ab=-ba,-ba\in R,有-ba=(-ba)^{2}=(ba)^{2}=ba
ab=−ba,−ba∈R,有−ba=(−ba)2=(ba)2=ba
即
a
b
=
b
a
,即证环
R
是交换环
即ab=ba,即证环R是交换环
即ab=ba,即证环R是交换环
第三题
请解释为什么 Z n 在加法上的子群都是 Z n 的子环 请解释为什么Z_{n}在加法上的子群都是Z_{n}的子环 请解释为什么Zn在加法上的子群都是Zn的子环
记
Z
n
在加法上的子群为
R
,显然
R
在加法上成环
记Z_{n}在加法上的子群为R,显然R在加法上成环
记Zn在加法上的子群为R,显然R在加法上成环
根据命题
12.3
,等价于解释
R
在乘法上是封闭的
根据命题12.3,等价于解释R在乘法上是封闭的
根据命题12.3,等价于解释R在乘法上是封闭的
∀
a
,
b
∈
R
,
a
b
可以表示为
b
个
a
相加,则有
a
b
∈
R
,得到
R
在乘法上封闭
\forall a,b\in R,ab可以表示为b个a相加,则有ab\in R,得到R在乘法上封闭
∀a,b∈R,ab可以表示为b个a相加,则有ab∈R,得到R在乘法上封闭
即解释了,
Z
n
在加法上的子群都是
Z
n
的子环
即解释了,Z_{n}在加法上的子群都是Z_{n}的子环
即解释了,Zn在加法上的子群都是Zn的子环
第十四题
证明环 2 Z 不与环 3 Z 同构 证明环2Z不与环3Z同构 证明环2Z不与环3Z同构
证明:
证明:
证明:
先假设环
2
Z
与环
3
Z
同构
先假设环2Z与环3Z同构
先假设环2Z与环3Z同构
因此有:映射
ϕ
:
2
Z
↦
3
Z
满足:
∀
a
,
b
∈
2
Z
因此有:映射\phi :2Z\mapsto 3Z 满足:\forall a,b\in 2Z
因此有:映射ϕ:2Z↦3Z满足:∀a,b∈2Z
ϕ
(
a
+
b
)
=
ϕ
(
a
)
+
ϕ
(
b
)
\phi(a+b)=\phi(a)+\phi(b)
ϕ(a+b)=ϕ(a)+ϕ(b)
ϕ
(
a
b
)
=
ϕ
(
a
)
ϕ
(
b
)
\phi(ab)=\phi(a)\phi(b)
ϕ(ab)=ϕ(a)ϕ(b)
取
a
=
b
=
2
,
得
ϕ
(
2
)
=
0
或
2
取a=b=2,得\phi(2)=0或2
取a=b=2,得ϕ(2)=0或2
而,
ϕ
(
0
)
=
0
,
ϕ
是一种双射,所以
ϕ
(
2
)
=
2
,但
2
∉
3
Z
而,\phi(0)=0,\phi 是一种双射,所以\phi(2)=2,但2\notin3Z
而,ϕ(0)=0,ϕ是一种双射,所以ϕ(2)=2,但2∈/3Z
故,假设不成立,环
2
Z
不与环
3
Z
同构
故,假设不成立,环2Z不与环3Z同构
故,假设不成立,环2Z不与环3Z同构