设[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]和[tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]是含幺环[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]中的两个可逆元,证明:[br][/br][tex=1.0x1.0]gYJhypvKme6HbnVYnWCsSw==[/tex]$a也是可逆元, 且[tex=6.571x1.5]txJ7J5UMd4f8cDkFvH0gEvJm62B6SrhNMW3V0Q7S5M4=[/tex]
举一反三
- 设[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]和[tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]是含幺环[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]中的两个可逆元,证明:[tex=1.357x1.071]fA225ivWb74oma1CR5Piow==[/tex]也是可逆元, 且 [tex=6.357x1.5]oiuwd+L46nf4K9wnrs8yJhxCg2GxCkxMeZ3YRQhQONQ=[/tex]
- 设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是一个有单位元的环. 如果[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]中元素[tex=1.286x1.214]rkgrF+YaaESwSQDjR6KfWg==[/tex]有[tex=2.286x1.0]rZ0c/DqUwOwC6KLNVAW7uQ==[/tex]，则称 [tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]是[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]的一个右逆元，而称[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]是[tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]的一个左逆元. 证明卡普兰斯基(L Kaplansky) 定理：若[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]中元素[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]有多于一个的右逆元，则[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]必有无限多个右逆元.
- 设 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 是有单位元环 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 中的一个可逆元，证明[tex=1.357x1.071]8yCwfz9DDtEtAlvOBd+Hzg==[/tex] 也是可逆元， 且 [tex=6.071x1.5]oiuwd+L46nf4K9wnrs8yJpYIcX6RhmujF1kSw3uHa1c=[/tex]。
- 设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是唯一分解整环,[tex=4.286x1.214]uTy6R3F65a66IXR6qHmTRw==[/tex], 假设[tex=1.714x1.357]1mJQqZzrH+TIDpo6SuXAXQ==[/tex]且[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]与[tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]互素, 证明:[tex=1.286x1.357]CXIInTAbUhSPbRPM0AkH9A==[/tex].
- 设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是一个有单位元的环，[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]与[tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]是[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]中的单位(即可逆元).证明：若有二互素整数[tex=1.929x1.0]+MkgvJhrh9DSU9I+bn6v4w==[/tex]使[p=align:center][tex=6.286x1.214]heRFm+iYOVdYaQJun1eOIrMHsUgW8o1KE1j3nQoyuE0=[/tex]则必[tex=1.786x1.0]e6yz2KDSejyMapjVGIIQDA==[/tex].