顾沛《抽象代数》2.1"环、子环和商环"习题解答

习题:

2.设$R$是无零因子环,只有有限个元素但至少有两个元素.证明$R$是体.

证明    只需说明$\{R^*;\cdot\}$构成群即可.由于$R$是环,因此$\{R^*;\cdot\}$构成有限半群;此外$R$无零因子,所以$\{R^*;\cdot\}$满足左右消去律,从而$\{R^*;\cdot\}$是群.即$\{R^*;+,\cdot\}$是体.

3.设$R$是环,若存在$a_{1},a_{2},\cdots,a_{n}\in R$,且每个$a_{i}\neq0$,使得

$$a_{1}a_{2}\cdots a_{n}=0$$

证明:$R$有零因子.

证明    采用数学归纳法.当$n=2$时结论显然成立.假设$n=k$时成立,考虑$k+1$的情形,若

$$a_{1}a_{2}\cdots a_{k}a_{k+1}=0,a_{i}\neq0$$

如果$a_{1}a_{2}=0$,那么$R$有零因子$a_{1},a_{2}$,结论已经成立.

如果$a_{1}a_{2}\neq0$,记$b=a_{1}a_{2}$,那么

$$ba_{3}\cdots a_{k+1}=0$$

由归纳假设知$R$有零因子.

综上根据数学归纳法的原理可是$R$有零因子.

5.设$R$为环,$a\in R$,证明:

$$<a>=\left\{\sum_{i=1}^{n}x_{i}ay_{i}+ra+as+na|r,s,x_{i},y_{i}\in R,n\in\mathbb Z\right\}$$

证明    记上式右端集合为$S$,容易验证$S$为$R$的理想.我们来说明$S$是$R$的所有包含$a$的理想中的最小者.任取$R$的包含$a$的理想$I$,按照题目中的式子任取$x_{i},y_{i},r,s\in R,n\in\mathbb Z$,根据理想的定义便知

$$x_{i}ay_{i};as;ra;na\in I$$

进而\begin{align*}\sum_{i=1}^{n}x_{i}ay_{i}+ra+as+na&\in I\\\Rightarrow S&\subset I\end{align*}

所以说$<a>=S$.

6.设$R$为无零因子环,,$I$为$R$的理想,问商环$R/I$是否一定是无零因子环?

解答    不一定.例如取$R=\mathbb Z,I=6\mathbb Z$,那么

$$R/I=\mathbb Z_{6}$$

在$\mathbb Z_{6}$中

$$\overline{2}\cdot\overline{3}=\overline{0}$$

是有零因子的.

7.设$\mathbb P$为数域.证明:环$M_{n}(\mathbb P)$仅有平凡理想.

证明    即$R=M_{n}(\mathbb P)$,并任取$R$的非零理想$I$,我们来说明必有$I=R$,为此只需说明$R$中的幺元

$$e=E$$

即可.其中$E$为数域$\mathbb P$上的$n$阶单位阵.任取$I$中的非零元$A=\left(a_{ij}\right)_{n\times n}$,不是一般性的我们可以设

$$a_{ij}=\left\{\begin{array}{cc}1&i=j=1\\0&other\end{array}\right.$$

即$A=E_{11}$.这是由于我们可在$R$中取一些列初等方阵,分别左右乘以$A$,将其化为相抵标准型

$$\left(\begin{array}{cc}E_{r}&\\&0\end{array}\right),r\geq1$$

再通过$R$中矩阵$E_{11}$的作用便使得$E_{11}\in I$,再取$R$中的矩阵对$E_{11}$做适当的行列互换便可得到

$$E_{ii}\in I,i=1,2,\cdots,n$$

这样幺元$$e=E=E_{11}+E_{22}+\cdots+E_{nn}\in I$$

从而将$r$遍历$R$中所有元素,根据$$re=r\in I$$

便知$R=I$.也就是说环$R$仅有平凡理想.

8.设$R$为环,若$R$作为加法群是循环群,证明$R$是交换环.

证明    由题意$R$中元素均形如$na,n\in\mathbb Z$.这样任取$ka,la\in R$,显然$$(ka)\cdot(la)=kla^2=(la)\cdot(ka)$$

从而$R$是交换环.

补充题:

2.设$R$为幺环,称$x\in R$为可逆元,若存在$y\in R$使得$$xy=yx=1$$

设$a,b\in R$,证明$1-ab$可逆当且仅当$1-ba$可逆.

证明    我们先从形式上推导,注意到

\begin{align*}\frac{1}{1-ab}&=1+ab+(ab)^2+\cdots\\&=1+a\left(1+ba+(ba)^2+\cdots\right)b\\&=1+\frac{ab}{1-ba}\end{align*}

也就是说$(1-ab)^{-1}=1+a(1-ba)^{-1}b$.剩下的仅仅是机械的验证形式推导的结果.从而易知题重结论成立.

3.设$R$为环,$a\in R$.若存在$m\in\mathbb N$使得$a^m=0$,则称$a$为幂零元.证明:若$R$为交换环,则$R$中幂零元的全体构成$R$的理想.

证明    记$I$为$R$的全体幂零元构成的集合.首先不难证明若$a$幂零,那么$-a$也是幂零的,且二者幂零指数相同.且若$a^m=0$,那么

$$a^m=a^{m+1}=\cdots=0$$

因此任取$a,b\in I$,且幂零指数分别为$k_{1},k_{2}$,那么对于充分大的$m>>k_{1}+k_{2}$,在交换环$R$中考虑\begin{align*}(a-b)^{m}&=\sum_{i=0}^{m}\binom{n}{i}a^i(-b)^{m-i}=0\end{align*}

上式为零是由于对任意的$i=0,1,\cdots,m$,必然有$m-i\geq k_{2}$或$i\geq k_{1}$其一成立.因此$a-b\in I$.另一方面对任意的$r\in R$,有

$$(ra)^{k_{1}}=r^{k_{1}}a^{k_{1}}=0$$

从而$ra\in I$.综上可知$I$为$R$的理想.(由于是交换环,因此只需验证一边即可)

4.设$R$为环,$a\in R$.若$a\neq0$且$a^2=a$,则称$a$为幂等元.证明:

(1)若环$R$的所有非零元都是幂等元,那么$R$必为交换环;

(2)若$R$为无零因子环,且存在幂等元,则$R$只有唯一的幂等元,且$R$为幺环.

证明    (1)任取$R$的非零元$a$,那么$$a^2=a$$

显然$-a\neq0$,从而$-a$也是幂等元,即$$(-a)^2=a^2=a=-a$$

这样对任意的$a\neq b\in R$,显然$a+b\neq0$,从而其也是幂等元,因此

\begin{align*}a+b&=(a+b)(a+b)=a^2+b^2+ab+ba\\\Rightarrow ab&=-ba=ba\end{align*}

所以说$R$是交换环.

(2)注意到$$e(ea-a)=ea-ea=0$$

而$R$无零因子,因此$ea=a$,同理$ae=a$.所以$e$是$R$的幺元.由幺元的唯一性便知$e$也是唯一的幂等元.

6.设$R$为无零因子环,$e$是$R$的关于乘法的左(右)幺元,证明:$e$必是$R$的幺元.

证明    任取$R$中的非零元$a,b$,则\begin{align*}ab-ab&=0\\\Rightarrow (ea)b-a(eb)&=0\\\Rightarrow (ea-ae)b&=0\end{align*}

而$R$中无零因子,因此$ae=ea=a$,这说明$e$是$R$的幺元.

顾沛《抽象代数》2.1"环、子环和商环"习题解答

时间: 2024-10-11 22:59:53

顾沛《抽象代数》2.1"环、子环和商环"习题解答的相关文章

顾沛《抽象代数》1.6&quot;变换群与置换群&quot;习题解答

习题 4.证明:置换群$G$中若含有奇置换,则$G$必有指数为$2$的子群. 证明    易知$G$中若有奇置换,则奇偶置换各半.不妨设$G$的偶置换为 $${\rm id}=\sigma_{1},\sigma_{2},\cdots,\sigma_{m}$$ 而奇置换$\phi_{1},\cdots,\phi_{m}$,又消去律可知每个$\sigma_{i}\phi_{1}$均为奇置换且互不相等,从而 $$\{\sigma_{i}\phi_{1}|i=1,2,\cdots,m\}=\{\phi_

顾沛《抽象代数》1.3&quot;子群与商群&quot;习题解答

习题: 4.证明指数为$2$的子群必正规. 证明    设$G$为群且$H<G$且$[G:H]=2$,那么有左陪集分解 $$G=H\cup aH,a\notin H$$ 同样的一定有右陪集分解 $$G=H\cup Ha$$ 显然$aH=Ha$.由等价类的代表元之任意性便知$H\lhd G$. 5.设$G$是群,$H\lhd G,K\lhd G$且$H\cap K=\{e\}$,证明 $$hk=kh,\forall h\in H,k\in k$$ 证明    又正规子群可知 \begin{alig

顾沛《抽象代数》1.5&quot;循环群&quot;习题解答

习题: 5.设$G$为循环群,$N<G$,证明$G/N$也是循环群. 证明    由于$G$可交换,从而$N\lhd G$,并且只需注意到$G/N$为自然同态$\pi:G\to G/N$的同态象,便知$G/N$也是循环群.事实上如果设$G=<a>$,那么不难证明 $$G/N=<aN>.$$ 6.设$a,b$分别为群$G$中的$m,n$阶元素,且满足 $$ab=ba,<a>\cap<b>=\{e\}$$ 证明:$ab$的阶为$[m,n]$. 证明    

顾沛《抽象代数》1.4&quot;群的同态与同构&quot;习题解答

习题: 7.请把定理1.4.10改写成更一般的语言来叙述,第一句是:"设$f$是群$G_{1}$到$G_{2}$的满同态,且$H<G_{1}$,并记$N={\rm Ker}f$,则……" 解答    与该定理类似的我们有: (1)$HN$是$G_{1}$中包含$N$的子群且 $$HN=f^{-1}(f(H))$$ 即$HN$是$f(H)$的完全原象; (2)$(H\cap N)\lhd H$且${\rm Ker}f|_{H}=H\cap N$; (3)考虑同态满射$f|_{H}:

【抽象代数】 05 - 环和域

抽象代数不是为了抽象而抽象,它所研究的代数系统都有着广泛的实例原型.群论的学习中我们已经看到很多系统同时存在着两个运算,而且它们是相互关联的,这就迫使我们来研究这种代数系统的结构和特点.从另一方面看,运算之间的互相牵连也会导致单个运算的特殊性质,你将会在后面的讨论中看到这一点. 1. 环 1.1 环和子环 具有两个运算的系统比较多,性质也各有不同,我们必须先从中抽取出“最小”的系统才能有通用性.各种数系.多项式.矩阵的加法和乘法是最具代表性的双运算系统,以它们为参考可以得到比较有用的系统.矩阵(

单向链表上是否有环

详见:http://blog.yemou.net/article/query/info/tytfjhfascvhzxcyt115 有一个单链表,其中可能有一个环,也就是某个节点的next指向的是链表中在它之前的节点,这样在链表的尾部形成一环. 问题: 1.如何判断一个链表是不是这类链表?2.如果链表为存在环,如果找到环的入口点? 解答: 1.最简单的方法, 用一个指针遍历链表, 每遇到一个节点就把他的内存地址(java中可以用object.hashcode())做为key放在一个hashtabl

如何判断链表中是否有环

1.如何判断是否有环?如果有两个头结点指针,一个走的快,一个走的慢,那么若干步以后,快的指针总会超过慢的指针一圈. 2.如何计算环的长度?第一次相遇(超一圈)时开始计数,第二次相遇时停止计数. 3.如何判断环的入口点:碰撞点p到连接点的距离=头指针到连接点的距离,因此,分别从碰撞点.头指针开始走,相遇的那个点就是连接点. 为什么呢?需要一个简单的计算过程: (1)当fast与slow相遇时,show肯定没有走完链表,而fast已经在还里走了n(n>= 1)圈.假设slow走了s步,那么fast走

【分享】近4000份数学学习资源免费分享给大家

一直以来喜欢收集数学类的教程资源,于是费了好大劲从万千合集站上扒拉了下来,总结归类了一下,一共有将近4000本电子书.经测试,均可免费下载,可能会弹出小广告,可不必理会之.[仅供学术学习和交流,请无用于商业用途.]另外,如有可能,还请尽量支持正版纸质书.   数学史(54)     数学史.rar 55.6 MB   数学的起源与发展.rar 4.3 MB   费马大定理—一个困惑了世间智者358年的谜.pdf 9.5 MB   通俗数学名著译丛14-无穷之旅:关于无穷大的文化史.pdf 14.

南开大学数学院本科生课程信息汇总表(2013.11.19)

      数学院本科生课程信息汇总表         课程代码 课程名称 英文课程名称 课程组成员 学分 先导课程 参考教材 作者 出版社 1010011090 概率论 江一鸣 4 数学分析 概率论基础 李贤平 高等教育出版社 1010011690 金融信用风险 江一鸣 3 概率论 金融衍生品定价模型---数理金融引论 孙健 中国经济出版社 1010010120 抽象函数与Banach代数 Abstract Functions and Banach Algebras 刘锐 3 实变函数(实分析