加载中…
Let be an Artin group. A partition of the set of standard generators of is called admissible if, for all , $X \neq Y(s,t) \in X \times Y$ which has a relation. An admissible partition determines a quotient Coxeter graph . We prove that, if is either a forest or an even triangle free Coxeter graph and is residually finite for all , then is residually finite.

生成讲解博客的中文版本

生成AI智能校验的中文版本