Regular Gröbner bases (Q1599541)

From MaRDI portal
Revision as of 18:32, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Regular Gröbner bases
scientific article

    Statements

    Regular Gröbner bases (English)
    0 references
    0 references
    0 references
    11 June 2002
    0 references
    \textit{V. A. Ufnarovskij} [Mat. Sb. 180, No. 11, 1548-1560 (1989; Zbl 0685.16007)] defined automaton algebras. These are finitely generated algebras such that the normal words modulo the defining ideal constitute a normal set. Let \(X\) be a finite set of generators and \({\mathcal X}=(X\times\{1\})\cup(\{1\}\times X)\). Given a semigroup ordering on the free semigroup \(X^*\), a Gröbner basis \(G\) for an ideal \(I\) in the free associative algebra \(k\langle X\rangle\) is a subset \(G\subseteq I\) such that the set of leading words of \(G\) generates the set of leading words of \(I\) as monomial ideal. A Gröbner basis is said to be regular if it consists of pure binomials (i.e., differences of two words) and these binomials are obtained from a set of regular words \(S\) in \(\mathcal X\). An algebra is said to be bi-automaton if the defining ideal admits a regular Gröbner basis. Bi-automaton implies automaton and most of the examples handled by Ufnarovskij are bi-automaton. Subalgebras of \(k\langle X \rangle\) generated by words are isomorphic to bi-automaton algebras. Moreover, subalgebras having a finite SAGBI basis are isomorphic to automaton algebras. The reductions in an algebra with a Gröbner basis \(G\) can be implemented if \(G\) is finite. In the infinite case, if \(G\) is regular the automaton accepting the regular set \(S\) allows the implementation of reductions. A previous algorithm of the authors can be used to predict a possible infinite regular Gröbner basis for an ideal given by pure binomials.
    0 references
    finitely generated algebras
    0 references
    noncommutative Gröbner bases
    0 references
    regular sets
    0 references
    bi-automaton algebras
    0 references
    free algebras
    0 references
    algorithms
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references