NOTE ON SEPARABILITY OF ENDOMORPHISM RINGS
NOTE ON SEPARABILITY OF ENDOMORPHISM RINGS
复制标题
DOI：
10.14492/hokmj/1529913617
复制
发表时间：
1971
影响因子：
0.5
通讯作者：
Sugano Kozo
中科院分区：
文献类型：
--
作者：
Sugano Kozo
It is well known that the endomorphism ring [)=End (RE) of a finitely generated projective module E over a commutative ring R is a separable Rュ algebra with R/αits center, where αis the annihilator ideal of E in R. Then, there comes out a problem whether or not this theorem holds in case R is non commutative and E is an R・R・.bimodule. Partially, an a伍rmative answer was given in Theorem 1 [11]. In this paper we give some su伍cient conュ ditions for [) to be separable over R in the case where M is an R-Rュ bimodule. In ~3 we give our main results. For example, if RMR is left R-finitely generated projective and R is isomorphic to a direct summand of a 五nite direct sum of copies of M as R-R-module, [) is separable over R (Theorem 6). This is a generalization of the well known result in com・ mutative case because every 五nitely generated projective module E over a commutative ring R is an R/α-progenerator. Furthermore, we obtain that for a ring extension A IF such that A is left r -progenerator, [) = End (rA) is separable over A if and only if r is a r-r-direct summand of A (Theorem 7). The 白・st two sections are devoted to the preperations for ~ 3. And we introduce the notions of M-semisimplisity, M-separability and centrally Mュ separability. These are equal to the notions of semisimple, separable and H幽 separable extensions respectively, in case M=SコR. In ~4 we give some commutor theory for some separable extensions.