𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Gröbner bases in exterior algebra

✍ Scribed by Timothy Stokes


Publisher
Springer Netherlands
Year
1990
Tongue
English
Weight
784 KB
Volume
6
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.

✦ Synopsis


We show that the Buchberger algorithm for commutative polynomials over a field may be generalised to an algebraic structure which embeds such polymomials, the exterior polynomial algebra, and which is a natural domain for linear geometry. In particular, those finite sets of exterior polynomials which induce confluent reduction relations are characterised, and a means of algorithmically constructing them from a given set presented. A distinguished subset of such bases consists of the exterior algebra version of Grrbner bases. We charaeterise such bases and demonstrate how to construct them algorithmically from a given finite set of exterior polynomials.


📜 SIMILAR VOLUMES


Gröbner Bases in Clifford and Grassmann
✍ David Hartley; Philip Tuckey 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 287 KB

We give an account of the theory of Gröbner bases for Clifford and Grassmann algebras, both important in physical applications. We describe a characterization criterion tailored to these algebras which is significantly simpler than those given earlier or for more general non-commuting algebras. Our

Multiplicative Bases, Gröbner Bases, and
✍ Edward L. Green 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 314 KB

In this paper, we study conditions on algebras with multiplicative bases so that there is a Gröbner basis theory. We introduce right Gröbner bases for a class of modules. We give an elimination theory and intersection theory for right submodules of projective modules in path algebras. Solutions to h

Gröbner Bases in Orders of Algebraic Num
✍ David Andrew Smith 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 281 KB

We prove that any order O of any algebraic number field K is a reduction ring. Rather than showing the axioms for a reduction ring hold, we start from scratch by well-ordering O, defining a division algorithm, and demonstrating how to use it in a Buchberger algorithm which computes a Gröbner basis g

Special biserial algebras and right Gröb
✍ Yang Han; De Han 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 119 KB

It is shown that a finite-dimensional basic algebra over an algebraically closed field is representation-finite special biserial if and only if every module over it has a right Gröbner basis theory.

Hecke algebras, Specht modules and Gröbn
✍ Seok-Jin Kang; In-Sok Lee; Kyu-Hwan Lee; Hyekyung Oh 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 253 KB

In this paper, we study the structure of Specht modules over Hecke algebras using the Gröbner-Shirshov basis theory for the representations of associative algebras. The Gröbner-Shirshov basis theory enables us to construct Specht modules in terms of generators and relations. Given a Specht module S

Regular Gröbner Bases
✍ Jonas MÅnsson; Patrik Nordbeck 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 366 KB

In this paper we introduce the concept of bi-automaton algebras, generalizing the automaton algebras previously defined by Ufnarovski. A bi-automaton algebra is a quotient of the free algebra, defined by a binomial ideal admitting a Gröbner basis which can be encoded as a regular set; we call such a