
Let R R be a commutative semilocal noetherian ring, Λ \Lambda a left noetherian R R -algebra and M , N M,N finitely generated left Λ \Lambda -modules such that End Λ ( M ) {\operatorname {End} _\Lambda }(M) is of finite type over R R . By R ^ \hat R we denote the ( rad R ) (\operatorname {rad} R) -adic completion of R R . Theorem. M M is Λ \Lambda -isomorphic to a direct summand of N N iff R ^ ⊗ R M \hat R{ \otimes _R}M is R ^ ⊗ R Λ \hat R{ \otimes _R}\Lambda -isomorphic to a direct summand of R ^ ⊗ R N \hat R{ \otimes _R}N . This result is used to prove a generalization of the Noether-Deuring theorem. Let S S be a commutative R R -algebra which is a faithful projective R R -module of finite type; then M M is Λ \Lambda -isomorphic to direct summand of N N iff S ⊗ R M S{ \otimes _R}M is S ⊗ R Λ S{ \otimes _R}\Lambda -isomorphic to a direct summand of S ⊗ R N S{ \otimes _R}N .
Representation theory of associative rings and algebras, Local rings and semilocal rings
Representation theory of associative rings and algebras, Local rings and semilocal rings
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 6 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
