Equational theories of semigroups with involution.

DOI10.1016/J.JALGEBRA.2012.06.021MaRDI QIDQ1946106zbMATH OpenOpenAlexFDO

Authors K. Auinger, Igor Dolinka, M. V. Volkov

Publication date 17 April 2013

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jalgebra.2012.06.021

zbMATH Keywords

existence varietiesfinite basis probleminvolutory semigroupsnonfinitely based varietiespartition semigroupsvarieties of semigroups

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Varieties and pseudovarieties of semigroups (20M07)

Review text

The paper deals with finite basis problem for classes of partition semigroups considered as involutary semigroups. A number of interesting results are obtained. The technique relies on a subtle analysis of the structure of the semigroups under consideration as well as on the results of a previous paper by the same authors [J. Eur. Math. Soc. (JEMS) 14, No. 3, 937-969 (2012; Zbl 1261.20068)]. It is in particular proved that the following involutive semigroups are not finitely based: the full partition semigroup \(\mathfrak C_n\) for \(n\geq 2\), the Brauer semigroup \(\mathfrak B_n\) for \(n\geq 4\), the partial Brauer semigroup \(P\mathfrak B_n\) for \(n\geq 3\), the annular semigroup \(\mathfrak U_n\) for \(n\geq 4\), \(n\) even or a prime power. It is also proved that, with respect to the `skew' involution, for each \(n\geq 4\) the semigroups \(\mathfrak B_n\), \(\mathfrak U_n\) and also the Jones semigroup \(\mathfrak J_n\) are inherently nonfinitely based. In addition, it is shown that similar techniques apply to the finite basis problem for existence varieties of locally inverse semigroups.

Recommendations

• Finitely based finite involution semigroups with non-finitely based reducts
• Non-finitely based finite involution semigroups with finitely based semigroup reducts
• A non-finitely based involution semigroup of order five
• Power semigroups of finite groups and the INFB property.
• A sufficient condition for the absence of irredundant bases
• IDENTITIES OF FINITE INVERSE SEMIGROUPS
• Unary enhancements of inherently non-finitely based semigroups.
• Non-Specht variety generated by an involution semigroup of order five
• On bases of identities of finite inverse semigroups with solvable subgroups.
• The finite basis problem for finite semigroups

Cites work

• \(\mathcal L\)- and \(\mathcal R\)-cross-sections in the Brauer semigroup.
• A new approach in the theory of orthodox semigroups
• A new product of algebras and a type reduction theorem
• A quotient of the affine Hecke algebra in the Brauer algebra
• A System of Bi-Identities for Locally Inverse Semigroups
• Bases for equational theories of semi-groups
• Cellular algebras
• Cellularity of diagram algebras as twisted semigroup algebras.
• ENDOMORPHISMS OF , , AND
• Equational Bases for Lattice Theories.
• Finite axiomatizability for equational theories of computable groupoids
• scientific article; zbMATH DE number 3809626 (Why is no real title available?)
• scientific article; zbMATH DE number 3179521 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 1356197 (Why is no real title available?)
• scientific article; zbMATH DE number 3452029 (Why is no real title available?)
• Ideal Structure of the Kauffman and Related Monoids
• Identical relations in finite groups
• Identities for existence varieties of regular semigroups
• Identities satisfied by a finite ring
• Krohn-Rhodes complexity of Brauer type semigroups.
• Matrix identities involving multiplication and transposition.
• On cross semigroup varieties and related questions
• On groups in varieties of semigroups
• On presentations of Brauer-type monoids.
• Presentation of the singular part of the Brauer monoid
• Pseudovarieties generated by Brauer type monoids.
• Regular semigroups: Amalgamation and the lattice of existence varieties
• Relations between the ‘percolation’ and ‘colouring’ problem and other graph-theoretical problems associated with regular planar lattices: some exact results for the ‘percolation’ problem
• Structure of regular semigroups. I
• TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE
• The algebra of adjacency patterns: Rees matrix semigroups with reversion
• The bifree locally inverse semigroup on a set
• THE EXISTENCE OF E-FREE OBJECTS IN E-VARIETIES OF REGULAR SEMIGROUPS
• The existence of free products in existence varieties of regular semigroups
• The finite basis problem for finite semigroups
• The natural partial order on a regular semigroup
• The structure of the partition algebras
• Varieties of groups

Cited in

(45)

• Equations in free semigroups with involution and their relation to equations in free groups.
• Presentations for rook partition monoids and algebras and their singular ideals
• Varieties generated by unstable involution semigroups with continuum many subvarieties
• Enumeration of idempotents in planar diagram monoids
• Equational theories of unstable involution semigroups
• On equations in inverse semigroups.
• Krohn-Rhodes complexity of Brauer type semigroups.
• Finite basis problem for involution monoids of unitriangular Boolean matrices
• Equational theories of upper triangular tropical matrix semigroups
• Classification of congruences of twisted partition monoids
• Intervals of varieties of involution semigroups with contrasting reduct intervals
• On identities of finite involution semigroups.
• The monoid of \(2 \times 2\) triangular Boolean matrices under skew transposition is non-finitely based
• Equations over completely simple semigroups.
• The finite basis problem for infinite involution semigroups of triangular \(2 \times 2\) matrices
• Equational theories for classes of finite semigroups
• Equational bases for some 0-direct unions of semigroups
• On the equational theories of semigroup varieties
• Infinite partition monoids.
• Motzkin monoids and partial Brauer monoids
• Diagram monoids and Graham-Houghton graphs: idempotents and generating sets of ideals
• THE EQUATIONAL THEORY OF ω-TERMS FOR FINITE ${\mathcal R}$-TRIVIAL SEMIGROUPS
• The equational theory of paramedial cancellation groupoids
• Presentations for (singular) partition monoids: a new approach
• Enumeration of idempotents in diagram semigroups and algebras
• Non-Specht variety generated by an involution semigroup of order five
• Identities of the Kauffman Monoid $$\mathcal {K}_4$$ and of the Jones Monoid $$\mathcal {J}_4$$
• Congruences on infinite partition and partial Brauer monoids
• Finite basis problem for Catalan monoids with involution
• Identities of the Kauffman monoid \(\mathcal{K}_3\)
• THE FINITE BASIS PROBLEM FOR INVOLUTION SEMIGROUPS OF TRIANGULAR MATRICES
• Presentation for the partial dual symmetric inverse monoid.
• Finite basis problem for Lee monoids with involution
• Congruence Lattices of Ideals in Categories and (Partial) Semigroups
• Covering relation for equational theories of commutative semigroups
• SEMIRING AND INVOLUTION IDENTITIES OF POWER GROUPS
• Representations and identities of Baxter monoids with involution
• Representations and identities of hypoplactic monoids with involution
• Identities in twisted Brauer monoids
• Finite basis problem for annular monoids with rotation
• Equational theories of the Boolean matrix monoid \(\mathscr{BR}_n\) with involutions
• Presentations for semigroups of full-domain partitions
• The finite basis problem for Kauffman monoids.
• On groups generated by involutions of a semigroup.
• The finite basis problem for Kiselman monoids.

This page was built for publication: Equational theories of semigroups with involution.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1946106)