设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是一个有单位元(用[tex=0.5x1.0]oYgVDn+QZqcDCRxqEZwM2A==[/tex]表示) 的有限环. 证明：如果 [tex=1.857x1.0]NkWFkOlv9vzbJwwsZoWoUA==[/tex]，则[tex=2.571x1.0]iBMGu3A+Zdl9UrLXP22w+w==[/tex]
举一反三
- 设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是一个有单位元（用[tex=0.5x1.0]oYgVDn+QZqcDCRxqEZwM2A==[/tex]表示）的环，[tex=3.143x1.214]jaZMaos6zVCOKtLo+H9F+w==[/tex]证明：如果 [tex=2.286x1.143]6XLDFpbGC81VG9rXBUGstg==[/tex]在[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]中有逆元，则[tex=2.286x1.143]oXBfnhsYpkpRkDchPfN9Jg==[/tex]在[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]中也有逆元.
- 设环[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]有单位元[tex=0.429x1.357]ljx4OiPNKel/qklZEW5k2A==[/tex]用[tex=0.5x1.0]oYgVDn+QZqcDCRxqEZwM2A==[/tex]表示[tex=0.643x1.286]FnhFrN9oO7CZh9W5AkR0zQ==[/tex]又[tex=3.143x1.214]jaZMaos6zVCOKtLo+H9F+w==[/tex]证明：如果[tex=3.5x1.143]Fik258M4ECQmxbviDiMiew==[/tex]且 [tex=1.857x1.143]4WPfFx57ZNON7NcLT4Yb3w==[/tex]在[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]中有逆元，则[tex=3.0x1.0]cLq7etbzBnS290w+TLxPqA==[/tex]
- 设 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是有单位元的交换环, [tex=0.5x1.0]3EF1VcotinZAjtQqtSWaxw==[/tex] 是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的真理想. 证明: 如果 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的每个不在 [tex=0.5x1.0]3EF1VcotinZAjtQqtSWaxw==[/tex] 中的元素都可逆, 则 [tex=0.5x1.0]3EF1VcotinZAjtQqtSWaxw==[/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=0.5x1.0]3EF1VcotinZAjtQqtSWaxw==[/tex] 是[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的一个真理想, 证明:存在[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的极大理想 [tex=1.0x1.0]0KCelhZna0R9EGhYF1VZHA==[/tex]使 [tex=2.786x1.143]/AskU05rJFzE+CohvFDboA==[/tex].