The diamond lemma for ring theory

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

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

17B35: Universal enveloping (super)algebras

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

Related Items

Generalized Lie algebras of type An, Crossed products for pointed hopf algebras, Skew fields with a non-trivial generalised power central rational identity, Cleft extensions for a hopf algebra generated by a nearly primitive element, Poincaré series of quantum matrix bialgebras determined by a pair of quantum spaces, Unnamed Item, A complete system of relations for zhu's algebra, Non-noetherian regular rings of dimension 2, Noetherian Properties of Skew Polynomial Rings with Binomial Relations, Coalgebras Over the Higher Rank Symplectic Groups, The Representation Category of the Quantum Group of a Non-degenerate Bilinear Form, On Serre's Problem for RIT Algebras, The Noetherian property in some quadratic algebras, Quantum Differential Forms, ON TORSION-FREE METABELIAN GROUPS WITH COMMUTATOR QUOTIENTS OF PRIME EXPONENT, A SIMPLE NIL RING EXISTS, THE CONSTRUCTION OF BRAID HOPF ALGEBRA, ON CERTAIN FINITELY PRESENTED ALGEBRAS AND FILTRATIONS, FOCK REPRESENTATIONS AND QUANTUM MATRICES, The homogenization of the three dimensional skew polynomial algebras of type I, Poisson–Lie structures on infinite-dimensional jet groups and quantum groups related to them, Tensor Product Representations of the Lie Superalgebra 𝔭(n) and Their Centralizers, Gröbner bases of associative algebras and the Hochschild cohomology, Construction of diffusion algebras, A combinatorial approach to the set-theoretic solutions of the Yang–Baxter equation, The quantum site of a schematic algebra, Generalized rational identities of subnormal subgroups of skew fields, Comodule algebras and galois extensions relative to polynomial algebras, free algebras, and enveloping algebras, Clifford-type algebras as cleft extensions for some pointed hopf algebras, Differential Hopf algebra structures on the universal enveloping algebra of a Lie algebra, Noncommutative rational double points, Coproducts and Some Universal Ring Constructions, Koszulity for nonquadratic algebras., A pairing theorem between a braided bialgebra and its dual bialgebra, Quadratic algebras in traffic flow models., Shirshov composition techniques in Lie superalgebras (noncommutative Gröbner bases), Left Hopf algebras, Algebra structures of Koszul complexes defined by Yang-Baxter operators, Representations of the quantum group \(SU_ q(2)\) and the little q-Jacobi polynomials, Quantum deformation of flag schemes and Grassmann schemes. I: A \(q\)- deformation of the shape-algebra for \(GL(n)\), Some experiments with a completion theorem prover, \(R\)-commutative geometry and quantization of Poisson algebras, Quantum groups and quantum determinants, Local finiteness of the adjoint action for quantized enveloping algebras, Embeddings into simple associative algebras, The partition algebras and a new deformation of the Schur algebras, Confluence and Koszulity, Quantizable orders over surfaces, Down-up algebras, Lifting of quantum linear spaces and pointed Hopf algebras of order \(p^3\), On infinite Gröbner bases in free algebras, On Gröbner bases of noncommutative power series, Quantum \(\text{SL}(3,\mathbb{C})\)'s with classical representation theory, Finite-dimensional simple-pointed Hopf algebras, Quantization of quadratic Poisson brackets on a polynomial algebra of three variables, Gröbner-Shirshov bases for Lie superalgebras and their universal enveloping algebras, On free conformal and vertex algebras, Quantum deformation of classical groups, Some remarks on algebras with straightening laws, An introduction to commutative and noncommutative Gröbner bases, Calculations of some groups of Hopf algebra extensions, On quantum general linear groups, Examples and quantum sections of schematic algebras, Homotopies for resolutions of skew-hook shapes., Every finite semigroup is embeddable in a finite relatively free semigroup., Kazhdan-Lusztig polynomials and character formulae for the Lie superalgebra \(\mathfrak q(n)\), Composition-diamond lemma for associative conformal algebras., Multiplicative bases, Gröbner bases, and right Gröbner bases, On representability of a finite local ring, Gröbner-Shirshov bases for irreducible \(sl_{n+1}\)-modules, Regular Gröbner bases, Category \(\mathcal O\) over a deformation of the symplectic oscillator algebra., A left quantum group., Acyclic heaps of pieces. I., Coherence and embedding of algebras, Hecke algebras, Specht modules and Gröbner-Shirshov bases., Combinatorics of free vertex algebras., Monomial Hopf algebras., Minimal subcoideals and multiparameter deformation., Basic properties of generalized down-up algebras., Strong convergence and the polygon property of 1-player games, Quantum subgroups of the quantum group \(\text{GL}(2)\), Partition functions for general multi-level systems, Twisted multi-homogeneous coordinate rings, Lazy cohomology: an analogue of the Schur multiplier for arbitrary Hopf algebras., CLEFT EXTENSIONS FOR A CLASS OF POINTED HOPF ALGEBRAS CONSTRUCTED BY ORE EXTENSIONS, Hecke-Clifford superalgebras, crystals of type 𝐴_{2ℓ}⁽²⁾ and modular branching rules for ̂𝑆_{𝑛}, GRÖBNER-SHIRSHOV BASES FOR COXETER GROUPS, The algebra of differential forms on a full matric bialgebra, Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I, Gel'fand-Kirillov dimension can go up in extension modules, On Bialgebras Which are Simple Hopf Modules, Conditions for a universal mapping of algebras to be a monomorphism, A skew polynomial ring over a jacobson ring need not be a jacobson ring, Word problems, Quotients of hopf algebras, Bialgebras of type one^*, Quantum theory of the real and the complexified projective line, A Matrix Representation for Associative Algebras. II, Systems of linear equations over associative algebras and the occurrence problem for lie algebras

Cites Work