设环[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=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] 也是交换环;
- 设 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是有单位元 [tex=0.5x0.786]rCTQ93hYjIOF3vc8FasIqg==[/tex] 的环, [tex=2.286x1.071]BX5Hq24pv20xx1ImfWhlnQ==[/tex] 证明: 如果存在唯一的 [tex=2.143x1.214]0G40S7xy/AyjVZa9odMngw==[/tex] 使 [tex=3.071x1.214]7QjMUvcbaXnFztR0qOs4Dg==[/tex]则 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]为[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的单位.
- 设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是无零因子的环,[tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex] 是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的子环, 且 [tex=3.286x1.357]Pd1PDhcqZGZ+SPuTqEqZBQ==[/tex] 证明: 当 [tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex] 有单位元时, [tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex] 的单位元就是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的单位元.
- 证明 设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是有单位元 [tex=0.5x0.786]rCTQ93hYjIOF3vc8FasIqg==[/tex]的环, 则映射[p=align:center][tex=5.143x1.214]4huI4vPuOC5DwSwh9v+pqmZ8zIR4uMpqJJGCJdNZD5284UHYZUBluqcDPeiVBFsU[/tex][p=align:center][tex=3.857x0.786]xjKJOk7jgWMso5Sqhr+k7m3CrOAppVSxOnlWEawUee8=[/tex]是环 [tex=0.714x1.0]oaXPjenEQATpEhakjoja5g==[/tex] 到 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的同态.
- 设 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是有单位元 [tex=0.5x0.786]rCTQ93hYjIOF3vc8FasIqg==[/tex] 的环, [tex=3.143x1.214]jaZMaos6zVCOKtLo+H9F+w==[/tex] 证明: 如果 [tex=2.214x1.143]slu224WKP2NMGi0SG1x36Q==[/tex] 可逆, 则 [tex=2.214x1.143]7ETOFDf7M7Dc343wjMscNw==[/tex] 也可逆.