Some splitting theorems for algebras over commutative rings
HTML articles powered by AMS MathViewer
- by W. C. Brown PDF
- Trans. Amer. Math. Soc. 162 (1971), 303-315 Request permission
Abstract:
Let R denote a commutative ring with identity and Jacobson radical p. Let ${\pi _0}:R \to R/p$ denote the natural projection of R onto $R/p$ and $j:R/p \to R$ a ring homomorphism such that ${\Pi _0}j$ is the identity on $R/p$. We say the pair (R, j) has the splitting property if given any R-algebra A which is faithful, connected and finitely generated as an R-module and has $A/N$ separable over R, then there exists an $(R/p)$-algebra homomorphism $j’:A/N \to A$ such that ${\Pi _{j’}}$ is the identity on $A/N$. Here N and II denote the Jacobson radical of A and the natural projection of A onto $A/N$ respectively. The purpose of this paper is to study those pairs (R, j) which have the splitting property. If R is a local ring, then (R, j) has the splitting property if and only if (R, j) is a strong inertial coefficient ring. If R is a Noetherian Hilbert ring with infinitely many maximal ideals such that $R/p$ is an integrally closed domain, then (R, j) has the splitting property. If R is a dedekind domain with infinitely many maximal ideals and x an indeterminate, then the power series ring $R[[x]]$ together with the inclusion map 1 form a pair $(R[[x]],1)$ with the splitting property. Two examples are given at the end of the paper which show that $R/p$ being integrally closed is necessary but not sufficient to guarantee (R, j) has the splitting property.References
- Maurice Auslander and Oscar Goldman, The Brauer group of a commutative ring, Trans. Amer. Math. Soc. 97 (1960), 367–409. MR 121392, DOI 10.1090/S0002-9947-1960-0121392-6
- Gorô Azumaya, On maximally central algebras, Nagoya Math. J. 2 (1951), 119–150. MR 40287
- William C. Brown, Strong inertial coefficient rings, Michigan Math. J. 17 (1970), 73–84. MR 263802
- W. C. Brown and E. C. Ingraham, A characterization of semilocal inertial coefficient rings, Proc. Amer. Math. Soc. 26 (1970), 10–14. MR 260730, DOI 10.1090/S0002-9939-1970-0260730-2
- Silvio Greco, Algebra over nonlocal Hensel rings, J. Algebra 8 (1968), 45–59. MR 218348, DOI 10.1016/0021-8693(68)90034-3
- Edward C. Ingraham, Inertial subalgebras of algebras over commutative rings, Trans. Amer. Math. Soc. 124 (1966), 77–93. MR 200310, DOI 10.1090/S0002-9947-1966-0200310-1
- Edward C. Ingraham, On the occasional equality of the lower and Jacobson radicals in noetherian rings, Arch. Math. (Basel) 20 (1969), 267–269. MR 244301, DOI 10.1007/BF01899298
- Nathan Jacobson, Structure of rings, Revised edition, American Mathematical Society Colloquium Publications, Vol. 37, American Mathematical Society, Providence, R.I., 1964. MR 0222106
- G. J. Janusz, Separable algebras over commutative rings, Trans. Amer. Math. Soc. 122 (1966), 461–479. MR 210699, DOI 10.1090/S0002-9947-1966-0210699-5
- Saunders MacLane, Homology, 1st ed., Die Grundlehren der mathematischen Wissenschaften, Band 114, Springer-Verlag, Berlin-New York, 1967. MR 0349792
- Wolmer V. Vasconcelos, On finitely generated flat modules, Trans. Amer. Math. Soc. 138 (1969), 505–512. MR 238839, DOI 10.1090/S0002-9947-1969-0238839-5
- Oscar Zariski and Pierre Samuel, Commutative algebra. Vol. II, The University Series in Higher Mathematics, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto-London-New York, 1960. MR 0120249
Additional Information
- © Copyright 1971 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 162 (1971), 303-315
- MSC: Primary 13.50; Secondary 16.00
- DOI: https://doi.org/10.1090/S0002-9947-1971-0284428-5
- MathSciNet review: 0284428