记 A 是除环 F 的(无限维)向量空间,φ是 F 的中心,(?)(F,A),(?)(φ,A)分别是 A 的 F-及φ-线性交换完全环.本文证明了如下结构定理:[F:φ]=n<∞当且仅当(?)(φ,A)=f_(1L)(?)(F,A)(?)…(?)(F,A),其中 f_1,…,f_n 是 F 的φ-线性无关元,f_(jL)表示元素 f_j 的标量左乘,(?)表示直和.其次,若 R_1,…,R_n 是(?)(F,A)的加法子群,那末(?)(φ,A)的加法子群 R=F_(1L)R_1+…+f_(nL)R_n 在(?)(φ,A)中稠密当且仅当每个 R_i 在(?)(F,A)中稠密,如记 T_v(φ,A),T_v(F,A)分别是 A 的所有秩小于(?)_v 的φ-及 F-线性变换环,那末还有 T_v(φ,A)=f_(1L)T_v·(F,A)(?)…(?)f_(nL)T_v(F,A).另方面,如仅仅假设φ为 F 的子除环,那末[F:φ]<(?)_v 当且仅当 T_v(φ,A)=(?)(φ,A)T_v(F,A).