𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Covering Relation for Equational Theories of Commutative Semigroups

✍ Scribed by Mariusz Grech; Andrzej Kisielewicz

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
125 KB
Volume
232
Category
Article
ISSN
0021-8693

No coin nor oath required. For personal study only.

✦ Synopsis

In this paper we describe the covering relation in the lattice of the equational theories of commutative semigroups. We use the description and the methods worked out in an earlier paper by the second author [1994, Trans. Amer. Math. Soc. 342, 275-306].

πŸ“œ SIMILAR VOLUMES

Eventually H-Related Sets and Systems of
Eventually H-Related Sets and Systems of Equations over Finite Semigroups and Rings
✍ M.V. Sapir πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 158 KB

I prove that given a finite semigroup or finite associative ring S and a system ⌺ of equations of the form ax s b or xa s b, where a, b g S, x is an unknown, it is algorithmically impossible to decide whether or not ⌺ is solvable over S, that is, Ž whether or not there exists a bigger semigroup or r

An Optimal Algorithm for Constructing th
An Optimal Algorithm for Constructing the Reduced GrΓΆbner Basis of Binomial Ideals, and Applications to Commutative Semigroups
✍ Ulla Koppenhagen; Ernst W. Mayr πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 404 KB

It is known that the reduced GrΓΆbner basis of general polynomial ideals can be computed in exponential space. The algorithm, obtained by KΓΌhnle and Mayr, is, however, based on rather complex parallel computations, and, above that, makes extensive use of the parallel computation thesis. In this paper

Bass–Serre Theory for Groupoids and the
Bass–Serre Theory for Groupoids and the Structure of Full Regular Semigroup Amalgams
✍ Stephen Haataja; Stuart W. Margolis; John Meakin πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 202 KB

U have the same set of idempotents , then the amalgam is strongly embeddable in a regular semigroup S that contains S , S , and U as full regular subsemigroups. In 1 2 this case the inductive structure of the amalgamated free produce S ) S was 1 U 2 studied by Nambooripad and Pastijn in 1989, using