约化环次直表示定理的构造性对应

我们给出了 Andrunakievič 和 Rjabuhin 定理的一个构造性对应，该定理指出每个约化环都是域的次直积。作为一个应用，我们从一个经典证明中提取出一个构造性证明，以证明每个满足 $\forall x\in A. x^3=x$ 的环 $A$ 都是交换的。我们还证明了关于半素理想的一个类似结果。