The diamond lemma for ring theory.(English)Zbl 0326.16019
MSC:
| 16D70 | Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) |
| 03D40 | Word problems, etc. in computability and recursion theory |
| 08Axx | Algebraic structures |
| 17B35 | Universal enveloping (super)algebras |
Citations:
Zbl 0060.12501Cite
Full Text:DOI
References:
| [1] | . Amer. math. Monthly 70, 335 (1963) |
| [2] | Amitsur, S. A.: Polynomial identities. Israel J. Math. 19, 183-199 (1974) ·Zbl 0297.16009 |
| [3] | Bergman, G. M.: The index of a group in a semigroup. Pacific J. Math. 36, 55-62 (1971) ·Zbl 0196.04101 |
| [4] | Bergman, G. M.: Modules over coproducts of rings. Trans. amer. Math. soc. 200, 1-32 (1974) ·Zbl 0264.16017 |
| [5] | Bergman, G. M.: Coproducts, and some universal ring constructions. Trans. amer. Math. soc. 200, 33-88 (1974) ·Zbl 0264.16018 |
| [6] | G. M. Bergman, Some category-theoretic ideas in algebra, in ”Proceedings of the 1974 (Vancouver) I.C.M.,” Vol. 1, pp. 285-296. |
| [7] | Bergman, G. M.: Rational relations and rational identities in division rings. J. algebra 43, 267-297 (1976) ·Zbl 0307.16013 |
| [8] | Bergman, G. M.: General theory of algebraic structures. Course notes (1974) ·Zbl 0263.16010 |
| [9] | G. M. Bergman, A lemma of Razmyslov, and central polynomials, unpublished. |
| [10] | G. M. Bergman and A. P. Doohovskoy, On subsemigroups of free semigroups, and quasivarieties, in preparation. |
| [11] | Birkhoff, G.: Representability of Lie algebras and Lie groups by matrices. Ann. of math. 38, 526-532 (1937) ·JFM 63.0090.01 |
| [12] | Bokut’, L. A.: Unsolvability of the word problem, and subalgebras of finitely presented Lie algebras. Izv. akad. Nauk S.S.S.R. Ser. mat. 36, 1173-1219 (1972) |
| [13] | P. M. Cohn, Homomorphic images of special Jordan-algebras, in ”Proceedings of the 1954 (Amsterdam) I.C.M.” |
| [14] | Cohn, P. M.: On the free product of associative rings. Math. Z. 71, 380-398 (1959) ·Zbl 0087.26303 |
| [15] | Cohn, P. M.: On the free product of associative rings. II. the case of skew fields. Math. Z. 73, 433-456 (1960) ·Zbl 0095.25701 |
| [16] | Cohn, P. M.: Universal algebra. (1965) ·Zbl 0141.01002 |
| [17] | Cohn, P. M.: Some remarks on the invariant basis property. Topology 5, 215-228 (1966) ·Zbl 0147.28802 |
| [18] | . Erratum 10, 123 (1968) ·Zbl 0172.13102 |
| [19] | Cohn, P. M.: Dependence in rings. II. the dependence number. Trans. amer. Math. soc. 135, 267-279 (1969) ·Zbl 0217.05801 |
| [20] | Cohn, P. M.: Free rings and their relations. (1971) ·Zbl 0232.16003 |
| [21] | Dean, R. A.: Completely free lattices generated by partially ordered sets. Trans. amer. Math. soc. 83, 238-249 (1956) ·Zbl 0072.02101 |
| [22] | Dicks, W.: Mayer-vietoris presentations over colimits of trees of rings. Proc. London math. Soc. 34, No. 3, 557-576 (1977) ·Zbl 0356.16009 |
| [23] | Dilworth, R. P.: Lattice theory. Proceedings of symposia in pure mathematics (1961) ·Zbl 0101.27004 |
| [24] | Evans, T.: On multiplicative systems defined by generators and relations. I. normal form theorems. Proc. Cambridge philos. Soc. 47, 637-649 (1951) ·Zbl 0043.02001 |
| [25] | Evans, T.: A decision problem for transformations of trees. Canad. J. Math. 15, 584-590 (1963) ·Zbl 0116.14905 |
| [26] | Evans, T.: The isomorphism problem for some classes of multiplicative systems. Trans. amer. Math. soc. 109, 303-312 (1963) ·Zbl 0141.01303 |
| [27] | . Soviet math. Dokl. 1, 519-522 (1960) |
| [28] | Hall, P.: Some word problems. J. London math. Soc. 33, 482-496 (1958) ·Zbl 0198.02902 |
| [29] | Hermann, G.: Die frage der endlich viele schritte in der theorie der polynomideale. Math. ann. 95, 31-65 (1926) ·JFM 52.0127.01 |
| [30] | Hughes, D. R.; Piper, F. C.: Projective planes. Springer graduate texts in mathematics (1973) ·Zbl 0267.50018 |
| [31] | Jacobson, N.: Lie algebras. (1962) ·Zbl 0121.27504 |
| [32] | Jacobson, N.: Structure and representation of Jordan algebras. AMS colloquium publications 39 (1968) ·Zbl 0218.17010 |
| [33] | Jónsson, B.: Modular lattices and desargues’ theorem. Math. scand. 2, 295-314 (1954) ·Zbl 0056.38403 |
| [34] | Knuth, D. E.; Bendix, P. B.: Simple word problems in universal algebras. Computational problems in abstract algebra, 263-297 (1969) ·Zbl 0188.04902 |
| [35] | Kurosh, A. G.: Theory of groups. (1960) ·Zbl 0094.24501 |
| [36] | Lawvere, F. W.: Functional semantics of algebraic theories. Ph.d. thesis (1963) ·Zbl 0119.25901 |
| [37] | Leavitt, W. G.: Modules without invariant basis number. Proc. amer. Math. soc. 8, 322-328 (1957) ·Zbl 0073.02402 |
| [38] | Linton, F. E. J: Some aspects of equational categories. Proceedings of the conference on categorical algebra, 88-94 (1966) ·Zbl 0201.35003 |
| [39] | Maclane, S.: Categories for the working mathematician. Graduate texts in mathematics (1971) |
| [40] | Mal’cev, A. I.: Algebraic systems. Grundlagen der mathematischen wissenschaften 192 (1973) |
| [41] | Mauldon, J. G.: Nonorthogonal idempotents whose sum is idempotent. Amer. math. Monthly 71, 963-973 (1964) ·Zbl 0152.01604 |
| [42] | Milnor, M. W.; Moore, J. C.: On the structure of Hopf algebras. Ann. of math. 81, 211-264 (1965) ·Zbl 0163.28202 |
| [43] | Newman, M. H. A: On theories with a combinatorial definition of ”equivalence”. Ann. of math. 43, 223-243 (1942) ·Zbl 0060.12501 |
| [44] | Ore, O.: Theory of noncommutative polynomials. Ann. of math. 34, 480-508 (1933) ·Zbl 0007.15101 |
| [45] | Osborne, J. M.: Varieties of algebras. Advances in math. 8, 163-369 (1972) |
| [46] | D. Pigozzi, Universal equational theories and varieties of algebra, to appear. ·Zbl 0436.03021 |
| [47] | Poincaré, H.: Sur LES groupes continus. Trans. Cambridge philos. Soc. 18, 220-255 (1900) ·JFM 31.0386.01 |
| [48] | Razmyslov, Yu.P: The finite generability of the identities of a matrix algebra of order 2 over a field of characteristic 0. Algebra i logika 12, 83-113 (1973) |
| [49] | Regev, A.: The T-ideal generated by the standard identity 3[x1, x2, x3]. Israel J. Math. 26 (1977) |
| [50] | Rosset, S.: A new proof of the amitsur-levitski identity. Israel J. Math. 23, 187-188 (1975) ·Zbl 0322.15020 |
| [51] | Seidenberg, A.: On the length of a Hilbert ascending chain. Proc. amer. Math. soc. 29, 443-450 (1971) ·Zbl 0216.32802 |
| [52] | Serre, J. -P: Lie algebras and Lie groups. (1965) ·Zbl 0132.27803 |
| [53] | Shay, P. B.: Discoherently associative bifunctors on groups. Springer lecture notes no. 195 (1971) ·Zbl 0335.18008 |
| [54] | Stallings, J. R.: Whitehead torsion of free products. Ann. of math. 82, 354-363 (1965) ·Zbl 0132.26804 |
| [55] | Taft, E. J.; Wilson, R. L.: Hopf algebras with nonsemisimple antipode. Proc. amer. Math. soc. 49, 269-276 (1975) ·Zbl 0305.16008 |
| [56] | Radford, D. E.: Operators on Hopf algebras. Amer. J. Math. 99, 139-158 (1977) ·Zbl 0369.16011 |
| [57] | Viennot, G.: Algèbres de Lie libres et monoïdes libres. Thèse de doctorat d’état (1974) |
| [58] | Van Der Waerden, B. L.: Free products of groups. Amer. J. Math. 70, 527-528 (1948) ·Zbl 0038.01202 |
| [59] | Whitman, P.: Free lattices. Ann. of math. 43, 104-115 (1942) ·Zbl 0063.08232 |
| [60] | Witt, E.: Treue darstellung liescher ringe. J. reine angew. Math. 117, 152-160 (1937) ·JFM 63.0089.02 |
| [61] | Birkhoff, G.: Lattice theory. AMS colloquium publication no. 25 (1967) ·Zbl 0126.03801 |
| [62] | Jacobson, N.: PI-algebras, an introduction. Springer lecture notes in mathematics no. 441 (1975) ·Zbl 0326.16013 |
| [63] | Kostant, B.: A theorem of Frobenius, a theorem of amitsur-levitzky, and cohomology theory. J. math. Mech. (now indian univ. J. math.) 7, 237-264 (1958) ·Zbl 0087.25702 |
| [64] | Mitchell, B.: Rings with several objects. Advances in math. 8, 1-161 (1972) ·Zbl 0232.18009 |
| [65] | Procesi, C.: The invariant theory of n \({\times}\) n matrices. Advances in math. 19, 306-381 (1976) ·Zbl 0331.15021 |
| [66] | Gluhov, M. M.; Stelletski, I. V.; Fofanova, T. S.: Lattice theory (Russian, survey article). Algebra, topologiya, geometriya 1968 (1970) |
| [67] | Evans, T.: Some solvable word problems. Proceedings of a conference on decision problems in algebra held in Oxford (July 1976) |
| [68] | Pigozzi, D.: Base-undecidable properties of universal varieties. Algebra universalis 6, 193-223 (1976) ·Zbl 0356.08005 |
| [69] | Crawley, P.; Dilworth, R. P.: Algebraic theory of lattices. (1973) ·Zbl 0494.06001 |
| [70] | Hutchinson, G.: Recursively undecidable word problems of modular lattices and diagram chasing. J. algebra 26, 385-399 (1973) ·Zbl 0272.06010 |
| [71] | Hutchinson, G.: Embedding and unsolvability theorems for modular lattices. Algebra universalis 7, 47-84 (1977) ·Zbl 0376.06015 |
| [72] | Regev, A.: The representations of sn and explicit identities for P.I. Algebras. J. algebra 51, 25-40 (1978) ·Zbl 0374.16009 |
| [73] | Corwin, L.; Ne’eman, Y.; Sternberg, S.: Graded Lie algebras in mathematics and physics. Rev. modern physics 47, 573-603 (1975) ·Zbl 0557.17004 |
| [74] | G. M. Bergman The global dimension of mixed coproduct/tensor-product algebras, to appear. |
| [75] | G. M. Bergman, Embedding filtered rings in completed graded rings, to appear. ·Zbl 0504.16015 |
| [76] | G. M. Bergman, The Lie algebra of vector fields on Rn satisfies polynomial identities, to appear. |
| [77] | Cohn, P. M.: Skew field constructions. London math. Soc. lecture note series 27 (1977) ·Zbl 0355.16009 |
| [78] | P. M. Cohn, The universal field of fractions of a semifir, Proceedings London Math. Soc., to appear. ·Zbl 0526.16003 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
