Abstract
A basis of identities for an algebra is irredundant if each of its proper subsets fails to be a basis for the algebra. The first known examples of finite involution semigroups with infinite irredundant bases are exhibited. These involution semigroups satisfy several counterintuitive properties: their semigroup reducts do not have irredundant bases, they share reducts with some other finitely based involution semigroups, and they are direct products of finitely based involution semigroups.
| Original language | American English |
|---|---|
| Pages (from-to) | 587–607 |
| Journal | Forum Mathematicum |
| Volume | 28 |
| Issue number | 3 |
| DOIs | |
| State | Published - May 1 2016 |
Bibliographical note
Publisher Copyright:© 2016 by De Gruyter 2016.
ASJC Scopus Subject Areas
- General Mathematics
Keywords
- Semigroup
- Involution semigroup
- Identity
- Basis
- Irredundant basis
- Finite basis
Disciplines
- Mathematics