令R是含单位元的素环,则R到其自身的每个完全保交换性的满射Φ都具有形式Φ=LC°π,其中C∈Z(R)是可逆元,π是R的环同构。令R是含单位元的素对合环,其对合运算记为*,则R到其自身的每个完全保斜交换性的满射Φ都具有形式Φ=LC°π,其中C∈Z(R)是可逆对称元,π是R的*-环同构。如果映射是保单位元的,则上述结果中环为素的假设可以去掉,即一般环(对合环)上的满射是环同构(对合环同构)当且仅当它是保单位的且完全双边保交换性(斜交换性)的。上述结果应用到算子代数,获得C*-代数、von Neuma