如果[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]是含幺环中左可逆元, 并且[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]不是右零因子, 则[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]只有唯一的左逆.
举一反三
- 用 3 种方法(真值表法,等值演算法,主析取范式法)证明下面推理是正确的. 若 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]是奇数,则 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 不能被 2 整除.若[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 是偶数,则 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 能被 2 整除.因此,若[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]是偶数,则 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/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.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]，[tex=0.5x0.786]hycNLgozeED/VkKdun7zdA==[/tex]，如果 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]，[tex=2.214x1.143]0r4yD2FUhMBrZI0Ja3cQ+A==[/tex]，[tex=4.643x1.357]mYudu4hCS+Lfb4CA1kmzuk0JsvuG1VzazALUYw0OIQ8=[/tex] 共面,问[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]，[tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]，[tex=0.5x0.786]hycNLgozeED/VkKdun7zdA==[/tex]有什么关系?
- 矩阵 [tex=6.143x3.5]jcCMHflCR8OS9TosV6N5vIZxl6lKL+7Cj8vCwYxKvywAkeVyUA48x/ME5ZnLhS2saYFq46YyrnqGJ7m7n+CD60TSIbP+8cJUunz12/8V8EY=[/tex]不是可逆矩阵, 则 [tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex] 的值等于[input=type:blank,size:6][/input]
- 以向量 [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.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]边上的高向量.