“…The following consequence of Theorem 2.10 is widely used in the theory of Coxeter groups (see Krammer [
10], for example). On the other hand, an equivalent statement for Artin groups is one of the central questions in the field (see Cumplido–Gebhardt–González‐Meneses–Wiest [
5], Morris‐Wright [
13], Cumplido–Martin–Vaskou [
6], Möller–Paris–Varghese [12], and Antolín–Foniqi [
1]).
Corollary Let be a Dyer system of finite type and let be a subset of .…”