Complexity issues of checking identities in finite monoids

DOI10.1007/S00233-009-9180-YzbMATH Open1185.68345OpenAlexW2064411534MaRDI QIDQ2655464FDOQ2655464

Authors: Ondřej Klíma 

Publication date: 25 January 2010

Published in: Semigroup Forum (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00233-009-9180-y

Recommendations

• Identity checking problem for transformation monoids
• Complexity of the identity checking problem for finite semigroups.
• COMPLEXITY OF SEMIGROUP IDENTITY CHECKING
• Checking quasi-identities in a finite semigroup may be computationally hard.
• scientific article; zbMATH DE number 1834675

zbMATH Keywords

complexityfinite semigroupschecking identities

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The equivalence problem for finite rings
• THE COMPLEXITY OF CHECKING IDENTITIES OVER FINITE GROUPS
• Algebra complexity problems involving graph homomorphism, semigroups and the constraint satisfaction problem
• Computational complexity of checking identities in 0-simple semigroups and matrix semigroups over finite fields
• Results on the equivalence problem for finite groups.
• The complexity of checking identities for finite matrix rings
• Title not available (Why is that?)
• The complexity of the equivalence problem for nonsolvable groups
• THE PERKINS SEMIGROUP HAS CO-NP-COMPLETE TERM-EQUIVALENCE PROBLEM
• The complexity of equivalence for commutative rings
• Title not available (Why is that?)

Cited In (19)

• On finitely related semigroups.
• Monoids with sub-log-exponential free spectra.
• COMPLEXITY OF SEMIGROUP IDENTITY CHECKING
• Identities of the Kauffman Monoid $$\mathcal {K}_4$$ and of the Jones Monoid $$\mathcal {J}_4$$
• Identities of the Kauffman monoid K3
• Identity checking problem for transformation monoids
• The complexity of the equivalence and equation solvability problems over nilpotent rings and groups.
• Checking quasi-identities in a finite semigroup may be computationally hard.
• From \(A\) to \(B\) to \(Z\)
• Complexity of the identity checking problem for finite semigroups.
• Satisfiability in MultiValued Circuits
• Checking identities is computationally intractable NP-hard and therefore human provers will always be needed
• Equivalence and equation solvability problems for the alternating group \(\mathbf A_4\).
• A minimal nonfinitely based semigroup whose variety is polynomially recognizable.
• Complexity results on the conjugacy problem for monoids
• Evaluation of polynomials over finite rings via additive combinatorics
• The complexity of checking identities for finite matrix rings
• A survey on varieties generated by small semigroups and a companion website
• The complexity of the equivalence and equation solvability problems over meta-abelian groups

This page was built for publication: Complexity issues of checking identities in finite monoids

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