第1题
题目: 在 Z×Z 中定义加法与乘法如下:
(a,b)+(c,d)=(a+c,b+d),(a,b)(c,d)=(ac,bd)
对任意的 a,b,c,d∈Z。证明:Z×Z 是有零因子的含 1 交换环。
证明:
第一步:是环。
加法 (a,b)+(c,d)=(a+c,b+d) 继承 Z 的加法,易验证 (Z×Z,+) 是阿贝尔群:零元为 (0,0),(a,b) 的加法逆元为 (−a,−b),交换律和结合律由 Z 中对应性质继承。
乘法结合律:
((a,b)(c,d))(e,f)=(ac,bd)(e,f)=(ace,bdf)=(a,b)(ce,df)=(a,b)((c,d)(e,f))
分配律:
(a,b)((c,d)+(e,f))=(a,b)(c+e,d+f)=(a(c+e),b(d+f))=(ac+ae,bd+bf)=(ac,bd)+(ae,bf)=(a,b)(c,d)+(a,b)(e,f)
第二步:含 1。
乘法幺元为 (1,1),因为:
(a,b)(1,1)=(a⋅1,b⋅1)=(a,b),(1,1)(a,b)=(1⋅a,1⋅b)=(a,b)
第三步:交换。
(a,b)(c,d)=(ac,bd)=(ca,db)=(c,d)(a,b)
其中用了 Z 中乘法交换律。
第四步:有零因子。
(2,0)=(0,0),(0,2)=(0,0),但:
(2,0)(0,2)=(2⋅0, 0⋅2)=(0,0)
故 (2,0) 是零因子。
第2题
题目: 设 Q[3]={a+b3∣a,b∈Q}。证明:Q[3] 关于普通实数上的加法和乘法构成一个域。
证明:
第一步:是含 1 交换环。
加法封闭:
(a+b3)+(c+d3)=(a+c)+(b+d)3
因 a+c,b+d∈Q,故结果仍在 Q[3] 中。
乘法封闭:
(a+b3)(c+d3)=(ac+3bd)+(ad+bc)3
因 ac+3bd,ad+bc∈Q,故结果仍在 Q[3] 中。
加法阿贝尔群、乘法结合律、分配律、交换律均由实数的对应性质继承。加法零元为 0+0⋅3,乘法幺元为 1+0⋅3。
第二步:每个非零元可逆。
设 α=a+b3=0,则 a,b 不全为零。注意到:
(a+b3)(a−b3)=a2−3b2
若 a2−3b2=0:
- 若 b=0,则 (ba)2=3,即 ba=3∈/Q,矛盾;
- 若 b=0,则 a2=0,故 a=0,与 α=0 矛盾。
故 a2−3b2=0,从而可构造逆元:
α−1=a2−3b2a−b3=a2−3b2a+a2−3b2−b3∈Q[3]
(因为 a,b∈Q,a2−3b2∈Q∗)
故每个非零元都有乘法逆元,Q[3] 是域。
第3题
题目: 设 φ:R⟶R′ 是环同态。证明:对任意 a∈R,n∈Z,φ(na)=nφ(a)。
证明: 分三种情况讨论。
情况一:n>0。
对 n 作数学归纳法。
n=1 时,φ(1⋅a)=φ(a)=1⋅φ(a),成立。
设 n=k 时成立,即 φ(ka)=kφ(a),则:
φ((k+1)a)=φ(ka+a)=φ(ka)+φ(a)=kφ(a)+φ(a)=(k+1)φ(a)
其中第二步用了 φ 是加法群同态。故对所有 n>0 成立。
情况二:n=0。
φ(0⋅a)=φ(0)=0=0⋅φ(a)
其中 φ(0)=0 由环同态的基本性质得:φ(0)=φ(0+0)=φ(0)+φ(0),消去得 φ(0)=0。
情况三:n<0。
设 n=−m,m>0,则:
φ(na)=φ(−ma)=φ(−(ma))=−φ(ma)=−mφ(a)=nφ(a)
其中用了 φ(−x)=−φ(x)(由加法群同态得)以及情况一的结论。
综合三种情况,对所有 n∈Z 成立。■
第4题
题目: 给出 Z10 的所有子环,指出它们各自的特征。
第一步:给出子环
Z10 的子环首先必须是 (Z10,+) 的子群,再对乘法封闭。(Z10,+) 的子群由 10 的因子决定,共四个:
H1={0},H2={0,5},H5={0,2,4,6,8},H10=Z10
验证乘法封闭性:
- {0}:0⋅0=0,封闭。
- {0,5}:5⋅5=25≡5(mod10),封闭。
- {0,2,4,6,8}:偶数之积仍为偶数,封闭。
- Z10:显然封闭。
故 Z10 共有四个子环:{0}、{0,5}、{0,2,4,6,8}、Z10。
第二步:各子环的特征。
- {0}:零环,1⋅0=0,char=1。
- {0,5}:1⋅5=5=0,2⋅5=10≡0(mod10),故 char=2。
- {0,2,4,6,8}:1⋅2=2=0,2⋅2=4=0,3⋅2=6=0,4⋅2=8=0,5⋅2=10≡0(mod10),故 char=5。
- Z10:char(Z10)=10。
综上:
| 子环 | 特征 |
|---|
| {0} | 1 |
| {0,5} | 2 |
| {0,2,4,6,8} | 5 |
| Z10 | 10 |