设[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.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.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.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].
- 设 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是一个有单位元 [tex=3.143x1.357]BwybrwuFYErsCAQCXkFyKQ==[/tex] 的环, 对于 [tex=2.286x1.214]SCTN5cCAZwQwtexbANDc8g==[/tex] 如果存在 [tex=2.143x1.214]MZTFub2B+s3YbGewIdydwQ==[/tex] 使得 [tex=4.286x1.214]NV1D0gBzpe77ylNh7rrBPA==[/tex] 则称 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 为可逆元( 或称 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 为单位, 注意不要与单位元 [tex=0.5x1.0]oYgVDn+QZqcDCRxqEZwM2A==[/tex] 混淆 ), 称 [tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex] 是 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 的逆, 记作 [tex=1.786x1.214]fANTqBtpXRtjjxA/FVe/Qg==[/tex] 证明 : [tex=2.0x1.357]beH6DnGK6LEsYI2cIHxhuQ==[/tex] 中一个元素 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 是可逆元当且仅当 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/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]。