Modules over coproducts of rings
HTML articles powered by AMS MathViewer
- by George M. Bergman PDF
- Trans. Amer. Math. Soc. 200 (1974), 1-32 Request permission
Abstract:
Let ${R_0}$ be a skew field, or more generally, a finite product of full matrix rings over skew fields. Let ${({R_\lambda })_{\lambda \in \Lambda }}$ be a family of faithful ${R_0}$rings (associative unitary rings containing ${R_0}$) and let $R$ denote the coproduct ("free product") of the ${R_\lambda }$ as ${R_0}$-rings. An easy way to obtain an $R$-module $M$ is to choose for each $\lambda \in \Lambda \cup \{ 0\}$ an ${R_\lambda }$-module ${M_\lambda }$, and put $M = \oplus {M_\lambda }{ \otimes _{{R_\lambda }}}R$. Such an $M$ will be called a “standard” $R$-module. (Note that these include the free $R$-modules.) We obtain results on the structure of standard $R$-modules and homomorphisms between them, and hence on the homological properties of $R$. In particular: (1) Every submodule of a standard module is isomorphic to a standard module. (2) If $M$ and $N$ are standard modules, we obtain simple criteria, in terms of the original modules ${M_\lambda },{N_\lambda }$, for $N$ to be a homomorphic image of $M$, respectively isomorphic to a direct summand of $M$, respectively isomorphic to $M$. (3) We find that $\text {r gl} \dim R = {\sup _\Lambda }(\text {r gl}\dim {R_\lambda })$ if this is > 0, and is 0 or 1 in the remaining case.References
- Hyman Bass, Algebraic $K$-theory, W. A. Benjamin, Inc., New York-Amsterdam, 1968. MR 0249491
- George M. Bergman, Hereditarily and cohereditarily projective modules, Ring theory (Proc. Conf., Park City, Utah, 1971) Academic Press, New York, 1972, pp. 29–62. MR 0393124
- George M. Bergman, Coproducts and some universal ring constructions, Trans. Amer. Math. Soc. 200 (1974), 33–88. MR 357503, DOI 10.1090/S0002-9947-1974-0357503-7 —, The diamond lemma in ring theory (to appear).
- G. M. Bergman and P. M. Cohn, The centres of $2$-firs and hereditary rings, Proc. London Math. Soc. (3) 23 (1971), 83–98. MR 291200, DOI 10.1112/plms/s3-23.1.83 Sylvain Cappell, (personal communication). P. M. Cohn, Morita equivalence and duality, Queen Mary College Mathematics Notes, Queen Mary College, London, 1969. MR 41 #3530.
- P. M. Cohn, On the free product of associative rings, Math. Z. 71 (1959), 380–398. MR 106918, DOI 10.1007/BF01181410
- Paul M. Cohn, On the free product of associative rings. II. The case of (skew) fields, Math. Z. 73 (1960), 433–456. MR 113916, DOI 10.1007/BF01215516
- P. M. Cohn, Quadratic extensions of skew fields, Proc. London Math. Soc. (3) 11 (1961), 531–556. MR 136633, DOI 10.1112/plms/s3-11.1.531
- P. M. Cohn, On a generalization of the Euclidean algorithm, Proc. Cambridge Philos. Soc. 57 (1961), 18–30. MR 118743, DOI 10.1017/s0305004100034812
- P. M. Cohn, Rings with a weak algorithm, Trans. Amer. Math. Soc. 109 (1963), 332–356. MR 153696, DOI 10.1090/S0002-9947-1963-0153696-8
- P. M. Cohn, Universal algebra, Harper & Row, Publishers, New York-London, 1965. MR 0175948
- P. M. Cohn, On the free product of associative rings. III, J. Algebra 8 (1968), 376–383. MR 222118, DOI 10.1016/0021-8693(68)90066-5
- P. M. Cohn, Dependence in rings. II. The dependence number, Trans. Amer. Math. Soc. 135 (1969), 267–279. MR 279122, DOI 10.1090/S0002-9947-1969-0279122-1
- P. M. Cohn, Free rings and their relations, London Mathematical Society Monographs, No. 2, Academic Press, London-New York, 1971. MR 0371938 —, Euclid’s elements, 2nd ed., Dover, New York, 1956. MR 17, 814.
- P. Freyd, Algebra valued functors in general and tensor products in particular, Colloq. Math. 14 (1966), 89–106. MR 195920, DOI 10.4064/cm-14-1-89-106
- Irving Kaplansky, Fields and rings, University of Chicago Press, Chicago, Ill.-London, 1969. MR 0269449
- J. C. Robson and Lance W. Small, Hereditary prime P.I. rings are classical hereditary orders, J. London Math. Soc. (2) 8 (1974), 499–503. MR 349743, DOI 10.1112/jlms/s2-8.3.499
- T. H. M. Smits, The free product of a quadratic number field and a semi-field, Nederl. Akad. Wetensch. Proc. Ser. A 72=Indag. Math. 31 (1969), 145–159. MR 0244316
- John Stallings, Whitehead torsion of free products, Ann. of Math. (2) 82 (1965), 354–363. MR 179270, DOI 10.2307/1970647 S. Stevin, Arithmétique (1585) (vol. II of collected works, 1958). A. G. Waterman, General-valued polarities, Doctoral Thesis, Harvard University, Cambridge, Mass., 1971.
- K. G. Choo, K. Y. Lam, and E. Luft, On free product of rings and the coherence property, Algebraic $K$-theory, II: “Classical” algebraic $K$-theory and connections with arithmetic (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972) Lecture Notes in Math., Vol. 342, Springer, Berlin, 1973, pp. 135–143. MR 0360707 W. Dicks, Mayer- Vietoris presentations over coproducts of rings (to appear).
- Roger C. Lyndon, Cohomology theory of groups with a single defining relation, Ann. of Math. (2) 52 (1950), 650–665. MR 47046, DOI 10.2307/1969440
- Jean-Pierre Serre, Cohomologie des groupes discrets, Prospects in mathematics (Proc. Sympos., Princeton Univ., Princeton, N.J., 1970) Ann. of Math. Studies, No. 70, Princeton Univ. Press, Princeton, N.J., 1971, pp. 77–169 (French). MR 0385006
- T. H. M. Smits, On special hereditary orders in quaternion algebras, Delft Progress Rep. 1 (1974/75), no. 2, 37–40. MR 0506398
- Richard G. Swan, Groups of cohomological dimension one, J. Algebra 12 (1969), 585–610. MR 240177, DOI 10.1016/0021-8693(69)90030-1
- Friedhelm Waldhausen, Whitehead groups of generalized free products, Algebraic $K$-theory, II: “Classical” algebraic $K$-theory and connections with arithmetic (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972) Lecture Notes in Math., Vol. 342, Springer, Berlin, 1973, pp. 155–179. MR 0370576
Additional Information
- © Copyright 1974 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 200 (1974), 1-32
- MSC: Primary 16A64
- DOI: https://doi.org/10.1090/S0002-9947-1974-0357502-5
- MathSciNet review: 0357502