设[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]LyvDGollVJ+xwurtsLcn0g==[/tex]是 群，[tex=6.571x1.214]uMsLZUvBm/U1t0BJKnH46ZybOgL3qtB/Ir71uhja2Lw=[/tex]. 假设[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]的阶与[tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]的阶互素,证明:[tex=4.429x1.357]Hq1c9kI2AKr0Cb49HFTqHA==[/tex].
- 设 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 和 [tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex] 是单位向量,证明 [tex=1.786x1.143]+JWM/sEBO49/oaEmZ4MdCQ==[/tex] 平分 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]与 [tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/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.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].