Computation of free non-commutative Gröbner Bases over Z with Singular:Letterplace - Archive ouverte HAL
Conference Papers Year : 2020

Computation of free non-commutative Gröbner Bases over Z with Singular:Letterplace

Abstract

The extension of Gröbner bases concept from polynomial algebras over fields to polynomial rings over rings allows to tackle numerous applications, both of theoretical and of practical importance. Gröbner and Gröbner-Shirshov bases can be defined for various non-commutative and even non-associative algebraic structures. We study the case of associative rings and aim at free algebras over principal ideal rings. We concentrate ourselves on the case of commutative coefficient ring without zero divisors (i. e. a domain). Even working over Z allows one to do computations, which can be treated as universal for fields of arbitrary characteristic. By using the systematic approach, we revisit the theory and present the algorithms in the implementable form. We show drastic differences in the behavior of Gröbner bases between free algebras and algebras, close to commutative. Even the formation of critical pairs has to be reengineered, together with the criteria for their quick discarding. We present an implementation of algorithms in the Singular subsystem called Letterplace, which internally uses Letterplace techniques (and Letterplace Gröbner bases), due to La Scala and Levandovskyy. Interesting examples accompany our presentation.
Fichier principal
Vignette du fichier
Computation of free non-commutative GB with LP.pdf (632.51 Ko) Télécharger le fichier
Origin Publisher files allowed on an open archive
Loading...

Dates and versions

hal-02496535 , version 1 (03-03-2020)
hal-02496535 , version 2 (07-07-2020)

Identifiers

Cite

Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid. Computation of free non-commutative Gröbner Bases over Z with Singular:Letterplace. ISSAC 2020 - International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. ⟨10.1145/3373207.3404052⟩. ⟨hal-02496535v2⟩
289 View
518 Download

Altmetric

Share

More