- UID
- 14
- 帖子
- 427
|
2#
发表于 2011-11-18 12:50
1# icesheep
个人觉得环R要有单位元e.
proof:
设$c=(e-ab)^{-1}$,则
\[ e-ba=e-bc(e-ab)^{-1}a=e-bca+bcaba=e-bca(e-ba). \]
\[ (e+bca)(e-ba)=e. \]
又有 \[ (e-ba)(e+bca)=e-ba+bca-babca=e-ba+b(e-ab)ca=e \]
所以$e-ba$可逆
\[ (e-ba)^{-1}=e+bca=e+b(e-ab)^{-1}a \]
|
Let's solution say the method! |
|