Dice Question Streamline Icon: https://streamlinehq.com

Classify Artin groups with decidable group and identity problems

Classify all Artin groups A(Γ) for which the group problem (deciding, on input a finite set X of words, whether Sgp(X) is a subgroup of A(Γ)) and the identity problem (deciding, on input a finite set X of words, whether 1 ∈ Sgp(X)) are decidable.

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper provides complete classifications for several membership-type decision problems (e.g., submonoid and rational subset membership) in Artin groups via forbidden induced subgraphs of the defining graph. However, analogous classifications for the group problem and the identity problem are not yet known. The authors provide partial negative results for some families and show related fixed-target problems can be undecidable, but a full classification remains to be determined.

References

We do not currently know if this extends to also classify the Artin groups with decidable group problem or identity problem.

Membership problems in braid groups and Artin groups (2409.11335 - Gray et al., 17 Sep 2024) in Introduction