The diamond lemma for ring theory

DOI10.1016/0001-8708(78)90010-5zbMath0326.16019OpenAlexW2039225816WikidataQ124831005 ScholiaQ124831005MaRDI QIDQ1225669

George M. Bergman

Publication date: 1977

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0001-8708(78)90010-5

Mathematics Subject Classification ID

Universal enveloping (super)algebras (17B35) Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) (16D70) Word problems, etc. in computability and recursion theory (03D40) Algebraic structures (08Axx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recursively unsolvable word problems of modular lattices and diagram- chasing
• On the free product of associative rings
• On the free product of associative rings. II: The case of (skew) fields
• Polynomial identities
• Rational relations and rational identities in division rings. II
• A new proof of the Amitsur-Levitski identity
• PI-algebras. An introduction
• The invariant theory of \(n\times n\) matrices
• Base-undecidable properties of universal varieties
• The representations of \(S_n\) and explicit identities for P. I. algebras
• Embedding and unsolvability theorems for modular lattices
• Embedding rings in completed graded rings. I: Triangular embeddings
• Theory of non-commutative polynomials
• Whitehead torsion of free products
• Some remarks on the invariant basis property
• On the structure of Hopf algebras
• The index of a group in a semigroup
• Rings with several objects
• Some examples in PI ring theory
• On theories with a combinatorial definition of 'equivalence'
• Free lattices. II
• The Universal Field of Fractions of a Semifir II. The Depth
• Graded Lie algebras in mathematics and physics (Bose-Fermi symmetry)
• Modules without Invariant Basis Number
• Completely Free Lattices Generated by Partially Ordered Sets
• Universal equational theories and varieties of algebras
• Hopf Algebras with Nonsemisimple Antipode
• Mayer-Vietoris Presentations Over Colimits of Rings
• Operators on Hopf Algebras
• The Isomorphism Problem for Some Classes of Multiplicative Systems
• Nonorthogonal Idempotents Whose Sum is Idempotent
• Erratum: Lagrangian Saddle Points and Optimal Control
• Some Word-Problems
• On the Length of a Hilbert Ascending Chain
• Dependence in Rings. II The Dependence Number
• Modules Over Coproducts of Rings
• Coproducts and Some Universal Ring Constructions
• A Decision Problem for Transformations of Trees
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Free Products of Groups

Related Items (only showing first 100 items - show all)

On a special presentation of matrix algebras ⋮ Generalized quadratic commutator algebras of PBW-type ⋮ Differential Hopf algebra structures on the universal enveloping algebra of a Lie algebra ⋮ Co-representation theory of universal co-sovereign Hopf algebras ⋮ Finite dimensional Hopf algebras over Kac-Paljutkin algebra $H_8$ ⋮ Estimates in Shirshov height theorem ⋮ Multiplicative preprojective algebras are 2-Calabi-Yau ⋮ Crystal base of the negative half of the quantum superalgebra \(U_q( \mathfrak{gl}(m | n))\) ⋮ Group-like small cancellation theory for rings ⋮ On non-connected pointed Hopf algebras of dimension 16 in characteristic 2 ⋮ Over then under tangles ⋮ Signature Gröbner bases in free algebras over rings ⋮ A COMBINATORIAL IDENTITY AND THE FINITE DUAL OF INFINITE DIHEDRAL GROUP ALGEBRA ⋮ The \(RO (\Pi B)\)-graded \(C_2\)-equivariant ordinary cohomology of \(B_{C_2} U(1)\) ⋮ Generalized nil-Coxeter algebras, cocommutative algebras, and the PBW property ⋮ Rigid reflections of rank 3 Coxeter groups and reduced roots of rank 2 Kac-Moody algebras ⋮ Periodic elements and lifting connections ⋮ GRÖBNER-SHIRSHOV BASIS FOR MONOMIALS SEMIRING OVER D-A RINGS ⋮ Interactions between algebraic geometry and noncommutative algebra. Abstracts from the workshop held May 1--7, 2022 ⋮ Lie structure of the Heisenberg-Weyl algebra ⋮ Two-sided noncommutative Gröbner basis on quiver algebras ⋮ Shuffle polygraphic resolutions for operads ⋮ On the structure and representation theory of \(q\)-deformed Clifford algebras ⋮ \(S\)-injective modules ⋮ Epimorphic quantum subgroups and coalgebra codominions ⋮ Finite presentations for stated skein algebras and lattice gauge field theory ⋮ Examples of non-semisimple Hopf algebra actions on Artin-Schelter regular algebras ⋮ Pointed Hopf algebras of dimension \(p^2q\) in characteristic \(p\) ⋮ On universal conformal envelopes for quadratic Lie conformal algebras ⋮ Generating numbers of rings graded by amenable and supramenable groups ⋮ Quotient Hopf algebras of the free bialgebra with PBW bases and GK-dimensions ⋮ A remark on the Galois-type correspondence between ideal coideals and comodule subrings of a Hopf algebroid ⋮ Unnamed Item ⋮ Unnamed Item ⋮ MARKOV AND ARTIN NORMAL FORM THEOREM FOR BRAID GROUPS ⋮ On Degenerate Ringel-Hall Algebras of Types A and G₂ ⋮ HIGHER KOSZUL DUALITY FOR ASSOCIATIVE ALGEBRAS ⋮ Word problem for special braid groups ⋮ Some Hopf algebras related to sl2 ⋮ Constructions of Free Commutative Integro-Differential Algebras ⋮ Basic Module Theory over Non-commutative Rings with Computational Aspects of Operator Algebras ⋮ Differential (Monoid) Algebra and More ⋮ Anick complex, Hochschild cohomology, Hilbert and Poincare series of the Manturov (3,4)-group ⋮ The Casimir elements of the Racah algebra ⋮ On Leavitt inverse semigroups ⋮ ON A QUESTION OF HARTWIG AND LUH ⋮ A CASIMIR ELEMENT INEXPRESSIBLE AS A LIE POLYNOMIAL ⋮ Universal Associative Envelopes of Nonassociative Triple Systems ⋮ Noncommutative rational double points ⋮ Associative rings ⋮ Representation Spaces of the Jordan Plane ⋮ CONSTRUCTION OF FREE COMMUTATIVE INTEGRO-DIFFERENTIAL ALGEBRAS BY THE METHOD OF GRÖBNER–SHIRSHOV BASES ⋮ Gröbner–Shirshov basis and reduced words for affine Weyl group Ã_n ⋮ Gröbner–Shirshov bases and their calculation ⋮ Representations of simple anti-Jordan triple systems of m × n matrices ⋮ A new Composition-Diamond lemma for associative conformal algebras ⋮ Extended letterplace correspondence for nongraded noncommutative ideals and related algorithms ⋮ Coproducts and Some Universal Ring Constructions ⋮ Koszulity for nonquadratic algebras. ⋮ Markov and Artin Normal Form Theorem for Braid Groups∗ ⋮ Gröbner–Shirshov Basis for HNN Extensions of Groups and for the Alternating Group ⋮ The fundamental theorem of calculus in differential rings ⋮ A pairing theorem between a braided bialgebra and its dual bialgebra ⋮ Lie pairs ⋮ PBW THEOREMS AND FROBENIUS STRUCTURES FOR QUANTUM MATRICES ⋮ Proof transformation for non-compatible rewriting ⋮ The \(\mathbb{Z}_3\)-symmetric down-up algebra ⋮ Extended commutator algebra for the \(q\)-oscillator and a related Askey-Wilson algebra ⋮ On pot, pans and pudding or how to discover generalised critical Pairs ⋮ The Universal Multiplicative Envelope of the Free Malcev Superalgebra on One Odd Generator ⋮ On Hopf algebras over the unique 12-dimensional Hopf algebra without the dual Chevalley property ⋮ Gröbner–Shirshov bases for commutative dialgebras ⋮ On the quadratic dual of the Fomin–Kirillov algebras ⋮ New Artin-Schelter regular and Calabi-Yau algebras via normal extensions ⋮ Representations of automorphism groups of algebras associated to star polygons ⋮ An algebraic study of multivariable integration and linear substitution ⋮ Gröbner–Shirshov bases for congruence classes of complex reflection groups ⋮ Construction of a quotient ring of ℤ₂ℱ in which a binomial 1+𝓌 is invertible using small cancellation methods ⋮ Gröbner bases and gradings for partial difference ideals ⋮ Gröbner-Shirshov Bases for Exceptional Lie Superalgebras ⋮ Gröbner-Shirshov Bases of Some Semigroup Constructions ⋮ Canonical forms of positive braids ⋮ A primer on ideal theoretical operation in non-commutative polynomial rings ⋮ Noncommutative Gröbner Bases over Rings ⋮ Quantum Drinfeld Orbifold Algebras ⋮ Unnamed Item ⋮ Connected Hopf algebras of Gelfand-Kirillov dimension four ⋮ Universal Enveloping Algebras of Simple Symplectic Anti-Jordan Triple Systems ⋮ Grassmann semialgebras and the Cayley-Hamilton theorem ⋮ Cohn-Leavitt path algebras of bi-separated graphs ⋮ Universal Upper Bound for the Growth of Artin Monoids ⋮ Group-regular rings ⋮ A solution of the word problem for braid groups via the complex reflection group G12 ⋮ On right McCoy rings and right McCoy rings relative to u.p.-monoids ⋮ A New Composition-Diamond Lemma for Dialgebras ⋮ On some classification of finite-dimensional Hopf algebras over the Hopf algebra Hb:1* of Kashina ⋮ Standard monomials for the Weyl group F ₄ ⋮ Embedding into 2-generated simple associative (Lie) algebras ⋮ Confluence of algebraic rewriting systems ⋮ Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories

This page was built for publication: The diamond lemma for ring theory