陵21世纪教材 定理71.6给定独异点<M,O,>,对任 意a,b∈M且a,b均有逆元,则 (1)(a)1=ao (2)aob有逆元,且(aob)1= b-loar1 PT PRESS 人民邮电出版社定理7.1.6 给定独异点<M，○，e>，对任 意a，b∈M且a，b均有逆元，则 (1) (a -1 ) -1=a。 (2) a○b有逆元，且(a○b) -1=b -1○a -1