Minimal presentations and efficiency of semigroups
Let \(A\) be an alphabet and let \(A^+\) be the free semigroup generated by \(A\). A semigroup presentation is an ordered pair \({\mathcal P}=\langle A|R\rangle\), where \(R\subset A^+\times A^+\). The deficiency \(\text{def}({\mathcal P})\) of \(\mathcal P\) is the number \(|R|-|A|\). The deficiency \(\text{def}(S)\) of a finitely presented semigroup \(S\) is defined to be \(\min\{\text{def}({\mathcal P})\mid{\mathcal P}\) is a finite presentation of \(S\}\). In general, \(\text{def}(S)\geq\text{rank}(H_2(S))\) for any finite semigroup \(S\), where \(H_2(S)=\text{Tor}^{\mathbb{Z} S}_2(\mathbb{Z},\mathbb{Z})\) is the second homology group of \(S\). A finite semigroup \(S\) is efficient if \(\text{def}(S)=\text{rank}(H_2(S))\). The authors show that finite Abelian groups, the dihedral groups \(D_{2n}\) with \(n\) even, and finite rectangular bands are efficient. On the other hand, finite zero semigroups and finite semilattices, though they are Abelian, are not efficient.
- Comparing semigroup and monoid presentations for finite monoids
- On semigroup presentations and Adian graphs.
- Efficiency for self semi-direct products of the free Abelian monoid on two generators.
- On the efficiency of finite simple semigroups
- The semigroup efficiency of direct powers of groups
- The semigroup efficiency of groups and monoids
- scientific article; zbMATH DE number 5155103 (Why is no real title available?)
- On defining groups efficiently without using inverses
- Minimal Presentations and Embedding into Inefficient Semigroups
- A higher version of Zappa products for monoids
- On the Efficiency of the Direct Products of Monogenic Monoids
- Minimal But Inefficient Presentations for Self Semidirect Products of the Free Abelian Monoid on Two Generators
- On the minimal length of semigroup presentations.
- Generating sets of certain finite subsemigroups of monotone partial bijections
This page was built for publication: Minimal presentations and efficiency of semigroups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1971716)