设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是有单位元的环, 证明:[tex=5.929x1.571]SThGLpH9d2j8Zyp+1rNVBbPRnoE8DWZPaNmxgxfzd8s=[/tex]
举一反三
- 设 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是有单位元的环. 证明: 环 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的可逆元全体 [tex=2.286x1.357]VSrq2EBbjY/lzOCsf2jcIg==[/tex] 关于环 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的乘法构成群.
- 设 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是有单位元的有限交换环. 证明: [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的每一个素理想都是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的极大理想.
- 设环[tex=3.5x1.286]9nlEIvQxLeNuWoevFsUZE039BKqeYdh1Ja/Kg/QP+Hk=[/tex]有左单位元 [tex=0.786x0.786]smkeai0+myg9f5pS0Q47qg==[/tex]证明:如果[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]无右零因子,则 [tex=0.5x0.786]rCTQ93hYjIOF3vc8FasIqg==[/tex] 是环[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的单位元.
- 设 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是有单位元 [tex=3.143x1.357]BwybrwuFYErsCAQCXkFyKQ==[/tex] 的环, 证明 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 中的可逆元不可能是零因子.
- 证明定理:设 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是一个有单位元的环, [tex=0.571x0.786]ZKO2xs0EgSemzoH7MSmYTA==[/tex] 是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 上的一个未定元.(1) [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的零元 0 就是[tex=1.929x1.357]d5PlggfPq7IWhxnCFu/8ng==[/tex]的零元 (即零多项式);(2) [tex=1.929x1.357]d5PlggfPq7IWhxnCFu/8ng==[/tex] 是有单位元的环,且 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的单位元就是 [tex=1.929x1.357]d5PlggfPq7IWhxnCFu/8ng==[/tex] 的单位元;(3) 如果 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是无零因子环, 则 [tex=1.929x1.357]d5PlggfPq7IWhxnCFu/8ng==[/tex] 也是无零因子环, 且 [tex=1.929x1.357]d5PlggfPq7IWhxnCFu/8ng==[/tex] 的单位就是[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的单位;(4) 如果 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是交换环,则 [tex=1.929x1.357]d5PlggfPq7IWhxnCFu/8ng==[/tex] 也是交换环;