Balanced module

From HandWiki

In the subfield of abstract algebra known as module theory, a right R module M is called a balanced module (or is said to have the double centralizer property) if every endomorphism of the abelian group M which commutes with all R-endomorphisms of M is given by multiplication by a ring element. Explicitly, for any additive endomorphism f, if fg = gf for every R endomorphism g, then there exists an r in R such that f(x) = xr for all x in M. In the case of non-balanced modules, there will be such an f that is not expressible this way. In the language of centralizers, a balanced module is one satisfying the conclusion of the double centralizer theorem, that is, the only endomorphisms of the group M commuting with all the R endomorphisms of M are the ones induced by right multiplication by ring elements.

A ring is called balanced if every right R module is balanced.[1] It turns out that being balanced is a left-right symmetric condition on rings, and so there is no need to prefix it with "left" or "right".

The study of balanced modules and rings is an outgrowth of the study of QF-1 rings by C.J. Nesbitt and R. M. Thrall. This study was continued in V. P. Camillo's dissertation, and later it became fully developed. The paper (Dlab Ringel) gives a particularly broad view with many examples. In addition to these references, K. Morita and H. Tachikawa have also contributed published and unpublished results. A partial list of authors contributing to the theory of balanced modules and rings can be found in the references.

Examples and properties

Examples
  • Semisimple rings are balanced.[2]
  • Every nonzero right ideal over a simple ring is balanced.[3]
  • Every faithful module over a quasi-Frobenius ring is balanced.[4]
  • The double centralizer theorem for right Artinian rings states that any simple right R module is balanced.
  • The paper (Dlab Ringel) contains numerous constructions of nonbalanced modules.
  • It was established in (Nesbitt Thrall) that uniserial rings are balanced. Conversely, a balanced ring which is finitely generated as a module over its center is uniserial.[5]
  • Among commutative Artinian rings, the balanced rings are exactly the quasi-Frobenius rings.[6]
Properties
  • Being "balanced" is a categorical property for modules, that is, it is preserved by Morita equivalence. Explicitly, if F(–) is a Morita equivalence from the category of R modules to the category of S modules, and if M is balanced, then F(M) is balanced.
  • The structure of balanced rings is also completely determined in (Dlab Ringel), and is outlined in (Faith 1999).
  • In view of the last point, the property of being a balanced ring is a Morita invariant property.
  • The question of which rings have all finitely generated right R modules balanced has already been answered. This condition turns out to be equivalent to the ring R being balanced.[7]

Notes

  1. ↑ The definitions of balanced rings and modules appear in (Camillo 1970), (Cunningham Rutter), (Dlab Ringel), and (Faith 1999).
  2. ↑ Bourbaki 1973, §5, No. 4, Corrolaire 2.
  3. ↑ Lam 2001, p.37.
  4. ↑ Camillo & Fuller 1972.
  5. ↑ Faith 1999, p.223.
  6. ↑ Camillo 1970, Theorem 21.
  7. ↑ Dlab & Ringel 1972.

References

  • Bourbaki, Nicolas (1973), Algébre, Ch. 8: Modules et Anneaux Semi-Simples, p. 50, ISBN 978-2-7056-1261-0 
  • Faith, Carl (1999), Rings and things and a fine array of twentieth century associative algebra, Mathematical Surveys and Monographs, 65, Providence, RI: American Mathematical Society, pp. xxxiv+422, ISBN 0-8218-0993-8 
  • Lam, T.Y. (2001), A first course in noncommutative rings, Graduate Texts in Mathematics, 131 (2 ed.), New York: Springer-Verlag, pp. xx+385, doi:10.1007/978-1-4419-8616-0, ISBN 0-387-95183-0 
  • Nesbitt, C. J.; Thrall, R. M. (1946), "Some ring theorems with applications to modular representations", Ann. of Math., 2 47 (3): 551–567, doi:10.2307/1969092, ISSN 0003-486X 



Retrieved from "https://handwiki.org/wiki/index.php?title=Balanced_module&oldid=3380898"