Abstract
We say that a ring K is (right) split by a subring A provided that A is an (right) A-module direct summand of K. Then K is said to be a split extension of A. By a theorem of Azumaya [1], a necessary and sufficient condition for this to happen is that K generates the category mod-A of all right A-modules. A classical example of this occurs when A = KG is a Galois subring corresponding to a finite group of invertible order |G|. In order that A be a right self-injective subring of K it is necessary that A split in K, and the latter condition is sufficient for a right self-injective left A-flat extension K of A (Theorem 1).
We also study when the (F)PF property is inherited by a subring A: K is right (F)PF if each (finitely generated) faithful right K module generates mod-K. Any quasi-frobenius (QF) ring is right and left PF; any commutative Prufer domain, and any commutative self-injective ring is FPF [4,5].
The main theorem on FPF rings states that A inherits the right (F)PF hypothesis on K when K is left faithfully flat right projective generator over A. Now another theorem of Azumaya [1] states that if A is commutative, then any finitely generated faithful projective A-module generates mod-A, hence a corollary is that K FPF => A FPF whenever K is finitely generated projective over a commutative subring A.
We apply the foregoing results to a subring A of a right self-injective ring K in the case that A is right non-singular. Then, assuming that AK is flat, by the structure theory of nonsingular rings K (being injective over A on the right) contains a unique injective hull of A which is canonically the maximal quotient ring Q = Qmax(A), and, moreover, then Q splits in K (Theorem 4.) This holds in particular if A is a von Neumann regular ring (Corollary 5). Furthermore, if A = KG is a Galois subring, then A = Q rmax (A) is right self-injective (Theorem 6 and Corollary 7).
As a final application we derive a theorem of Armendariz-Steinberg [19] stating that if K is a right self-injective regular ring then the center of K is self-injective (Theorem 10).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Azumaya, G., Completely faithful modules and self-injective rings, Nagoya Math. J. 27 (1966) 697–708.
Endo, S., Completely faithful modules and quasi-Frobenius rings, J. Math. Soc. Japan 19 (1967) 437–456.
Tachikawa, H., A generalization of quasi-Frobenius rings, Proc. Amer. Math. Soc. 20 (1969) 471–476.
Faith, C., Injective quotient rings of commutative rings I, in Module Theory, Lecture Notes in Math. (Springer) vol. 700 (1979).
_____, Injective quotient rings of commutative rings II, in Injective Modules and Injective Quotient Rings, Lecture Notes in Pure and Applied Math. Vol. 72 (1982). (Dekker)
_____, On the Galois Theory of commutative rings, I: Dedekind's theorem on the independence of automorphisms revisited, preprint presented at the Yale symposium in honor of Nathan Jacobson, June, 1981. Contemporary Math. (to appear).
Auslander, M., and Goldman, O., The Brauer group of a commutative ring, Trans. Amer. Math. Soc. 97 (1960) 367–409.
Chase, S.U., Harrison, D.K., and Rosenberg, A., Galois Theory and Galois cohomology of Commutative rings, Memoirs of the Amer. Math. Soc. 52 (1965) 15–33.
Lambek, J., Rings and Modules, Blaisdell, 1974, Reprinted Chelsea, Waltham 1976.
Faith, C., Injective cogenerator rings and a theorem of Tachikawa I, II, Proc. Amer. Math. Soc. 60 (1976) 25–30; 62 (1977) 15–18.
_____, Self-injective rings, Proc. Amer. Math. Soc. 77 (1979) 157–164.
_____, Galois extensions of commutative rings, Math. J. Okayama U. 18 (1976) 113–116.
_____, Algebra I: Rings, Modules and categories, Grundl. der Math. Wiss Bd. 190, Springer-Verlag, Berlin-Heidelberg-New York, Corrected Reprint, 1981.
_____, Algebra II: Ring Theory, Grundl. der Math. Wiss Bd. 191, Springer, 1976.
Vamos, P., The decomposition of finitely generated modules and fractionally self-injective rings, J. London Math. Soc., (2), 16 (1977) 209–220.
Faith, C., Rings with ascending conditions on annihilators, Nagoya Math. J. (1966).
_____ and Walker, Direct sum representations of injective modules, J. Algebra (1967).
Faith, C., Lectures on Injective Modules and Quotient Rings, Springer Lecture Notes in Mathematics, vol. 49, Berlin, Heidelberg, and New York, 1967.
Goursaud, J.M., Osterburg, J., Pascaud, J.L., and Valette, J., Points fixes des anneaux reguliers auto-injectifs a gauche, preprint, Dept. des math., V. de Poitiers, 1981.
Armendariz, E.P., and Steinberg, S., Regular self-injective rings with a polynomial identity, Trans. Amer. Math. Soc. 190 (1974) 417–425.
Henriksen, M., Two classes of rings generated by their units, J. Alg. 31 (1974) 182–193.
Rights and permissions
Copyright information
© 1982 Springer-Verleg
About this paper
Cite this paper
Faith, C. (1982). Subrings of self-injective and FPF rings. In: Advances in Non-Commutative Ring Theory. Lecture Notes in Mathematics, vol 951. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0067321
Download citation
DOI: https://doi.org/10.1007/BFb0067321
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11597-7
Online ISBN: 978-3-540-39371-9
eBook Packages: Springer Book Archive