CINTA——8

CINTA——8

第十二章习题1

证明：因为环$R$带有单位元$1$,故$a=a1=1a$,根据教材中的命题12.1，因此有$-a=-1a=(-1)a$得证。

习题2

由题意得：$\forall a,b\in R$,有$a^2=a,b^2=b$,又因为R是环，根据环的定义，对加法操作封闭，所以有$a+b\in R$,由题意有$(a+b{)}^2=a+b\iff (a+b{)}^2=a^2+b^2+ab+ba=a+b$,又因为$a^2=a,b^2=b$，所以上式有$(a+b{)}^2=a+b+ab+baa+b\iff ab+ba=0$，即$ab=-ba$

若要证明R是交换元，就要证明$ab=ba$，故现在需要证明$-ba=ba$，（一定不要忘记题中条件!!!），继续使用题目的条件$x^2=x$，有$(-ba{)}^2=-ba,(ba{)}^2=ba$,又根据命题12.1，有$(-ba{)}^2=(-ba)(-ba)=(ba{)}^2$,综上可得：$-ba=ba$，因此$ab=-ba=ba$,$R$是交换环。

习题3

给$Z_n$配置上乘法$\ast$，则容易知$Z_n$是环，（并且是一个交换环），则$Z_n$在加法上的子群，根据子群的定义易知：$Z_n$在加法上的子群肯定满足环对加法的封闭性、交换律、单位元和逆元的要求，所以只需要证明$Z_n$在加法上的子群满足环对于乘法的封闭性和结合律还有分配律的要求即可

对于乘法的结合律结合律显然成立，下面证明封闭性也成立：

设$Z_{n1}$是$Z_n$的子群，任取$a,b\in Z_{n_1}$,则对于乘法$a\ast b=a+a+......+a(\mathrm{mod}n)（共有b个a相加）\in Z_{n1}$,故封闭性得证，因此$Z_n$在加法上的子群是$Z_n$的子环。

然后证明乘法对分配律也成立，即证明$\forall a,b,c\in Z_{n_1},(a+b)\cdot c=ac+bc$,$n\ast (a+b)$就等于$n$个$a+b$相加，$\underset{c}{\underbrace{(a+b)(a+b)\cdots (a+b)}}=\underset{c}{\underbrace{a+a+\cdots +a}}+\underset{c}{\underbrace{b+b+\cdots +b}}=ac+bc$得证。

习题14

个人觉得这样想可能更简单一些

环$2Z$是整数环$Z$通过$\varphi (k)=2k$映射形成的； 2 Z = { 0 , 2 , 4 , …   } 2Z=\{0,2,4,\dots\} 2Z={0,2,4,…}。环$3Z$是整数环$Z$通过$\varphi (k)=3k$映射形成的。 3 Z = { 0 , 3 , 6 , …   } 3Z=\{0,3,6,\dots\} 3Z={0,3,6,…}。若要证明环$2Z$和$3Z$同构，即证明环$2Z$和$3Z$同态，并且它们之间的映射为双射。我们可以考虑它们之间的元素个数，因为如果要满足双射，那么它们之间的元素个数肯定是相同的。

但是$2Z$是无限个可以被2整除的偶数，环$3Z$是无限个可以被3整除的可奇可偶的整数，它们之间的元素个数并不相同，所以它们并不同构。

另一种思路是：

若$2Z和3Z$同构，则$\forall a\in 2Z$
存在双射使$\varphi (a)=\varphi (a/2+a/2)=\varphi (a/2)+\varphi (a/2)=2\varphi (a/2)①$，
还有$\varphi (a)=\varphi (a/2\ast 2)=\varphi (a/2)\varphi (2)②$
联立两个等式并化简有$\varphi (a/2)(\varphi (2)-2)=0③$
因为$3Z$是环，所以有以下等式：
$\forall a\in R,a0=0a=0$
再根据③式类比得：$\varphi (2)-2=0$，因此有$\varphi (2)=2$。
但是$2\notin 3Z$，因此$2Z与3Z$不同构得证。