A lattice formulation of the noncommutative F₄ procedure

DOI10.1142/S0218196718500613MaRDI QIDQ4629508zbMATH OpenFDO

Authors Cyrille Chenavier

Publication date 27 March 2019

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0218196718500613

zbMATH Keywords

lattice structurenoncommutative \(F_4\) procedurereduction operators

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to ordered structures (06-04) Lattices (06B99) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) (16S15) Computational aspects of associative rings (general theory) (16Z05) Symbolic computation and algebraic computation (68W30)

Recommendations

• Linear algebraic approach to Gröbner-Shirshov basis theory
• scientific article; zbMATH DE number 4077463
• Modular techniques for noncommutative Gröbner bases
• An introduction to commutative and noncommutative Gröbner bases
• Noncommutative Gröbner bases over rings.

Cites work

• A new efficient algorithm for computing Gröbner bases (F₄)
• An introduction to commutative and noncommutative Gröbner bases
• Computational commutative algebra. I
• Computing Gröbner bases by FGLM techniques in a non-commutative setting
• Computing inhomogeneous Gröbner bases
• Confluence and Koszulity
• Convergent presentations and polygraphic resolutions of associative algebras
• Efficient computation of zero-dimensional Gröbner bases by change of ordering
• Efficiently computing minimal sets of critical pairs
• Gröbner bases of associative algebras and the Hochschild cohomology
• scientific article; zbMATH DE number 3649988 (Why is no real title available?)
• scientific article; zbMATH DE number 2151220 (Why is no real title available?)
• scientific article; zbMATH DE number 2206382 (Why is no real title available?)
• Koszul Resolutions
• On the Homology of Associative Algebras
• Projective resolutions of associative algebras and ambiguities.
• Reduction operators and completion of rewriting systems
• The diamond lemma for ring theory

Cited in

(1)

• Topological rewriting systems applied to standard bases and syntactic algebras

This page was built for publication: A lattice formulation of the noncommutative \(F_4\) procedure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4629508)