证明。
第一个假设
*
是通勤
U
;也就是说,
(
x
,
x
*
]
=
0
对所有
x
∈
U
。通过线性化得到
(1)
(
x
,
y
*
]
=
(
x
*
,
y
]
∀
x
,
y
∈
U
。
由此可见,
(
x
y
,
x
*
]
=
(
(
x
y
)
*
,
x
]
因此
x
(
y
,
x
*
]
=
(
y
*
,
x
]
x
*
,(
1),我们得到
(2)
x
(
y
*
,
x
]
=
(
y
*
,
x
]
x
*
∀
x
,
y
∈
U
。
自
U
是一个
*
理想(
2)的收益率
(3)
x
(
x
,
y
]
=
(
x
,
y
]
x
*
∀
x
,
y
∈
U
。
替换
z
y
为
y
,
z
∈
U
,我们现在得到
x
(
x
,
z
y
]
=
(
x
,
z
y
]
x
*
,所以
x
z
(
x
,
y
]
+
x
(
x
,
z
]
y
=
(
x
,
z
]
y
x
*
+
z
(
x
,
y
]
x
*
。使用(
3)来代替这个等式的最后一学期了
z
x
(
x
,
y
]
和第二项
(
x
,
z
]
x
*
y
,我们看到,
(
x
,
z
]
(
x
,
y
]
+
(
x
,
z
]
(
x
*
,
y
]
=
0
,所以由(
1),
(4)
(
x
,
z
]
(
x
,
y
+
y
*
]
=
0
∀
x
,
y
,
z
∈
U
。
替换
z
通过
z
w
收益率
(
x
,
z
]
U
(
x
,
y
+
y
*
]
=
{
0
}
对所有
x
,
y
∈
U
,所以
(
x
,
y
+
y
*
]
U
(
x
,
y
+
y
*
]
=
{
0
}
对所有
x
,
y
∈
U
。由于半素环的理想是半素环,我们得出结论
(5)
(
x
,
y
+
y
*
]
=
0
∀
x
,
y
∈
U
。
现在(
5)可以写成
(6)
(
x
,
y
]
=
(
y
*
,
x
]
,
所以通过替换
x
通过
x
*
我们得到了
(
x
*
,
y
]
=
(
y
*
,
x
*
]
。但是,(
6)
(
x
*
,
y
]
=
(
y
,
x
]
;因此
(
y
,
x
]
=
(
y
*
,
x
*
]
对所有
x
,
y
∈
U
,所以
*
强commutativity-preserving上
U
。
反过来,我们假设
*
强commutativity-preserving上
U
,这意味着
(
x
,
y
]
=
(
x
*
,
y
*
]
对所有
x
,
y
∈
U
。替换
x
y
为
y
,我们得到
(7)
x
(
x
,
y
]
=
(
x
,
y
]
x
*
∀
x
,
y
∈
U
。
这是方程(
3),所以我们可能会说
(8)
(
x
,
y
+
y
*
]
=
0
∀
x
,
y
∈
U
,
和
y
+
y
*
∈
Z
(
U
)
对所有
y
∈
U
。它遵循一次
(
y
,
y
*
]
=
0
对所有
y
∈
U
;也就是说,
*
是通勤
U
。
证明。
它遵循从(
5),如果
y
∈
年代
∩
U
,然后
y
∈
Z
(
U
)
,因为在一个'环的中心的中心中包含的非零理想
R
,
年代
∩
U
⊆
Z
(
R
)
。假设
年代
∩
U
≠
{
0
}
,让
z
∈
(
年代
∩
U
)
∖
{
0
}
。然后对任何
年代
∈
年代
,
年代
z
∈
U
∩
年代
,所以
年代
z
∈
Z
(
R
)
。自
z
并不是一个零因子,我们得到了什么
年代
∈
Z
(
R
)
。
完成证明,我们只需要证明
年代
∩
U
≠
{
0
}
。相反,假设
年代
∩
U
=
{
0
}
。然后对任何
y
∈
U
,
y
+
y
*
=
0
;因此
U
⊆
K
。但对于任何
k
∈
K
,
k
2
∈
年代
;因此
y
2
=
0
对所有
y
∈
U
,我们有反驳的著名结果Levitzki [
4引理1.1]。