第一批例子。
其他Artin群.若一个Artin群或一个考克斯特群的对应矩阵中，对所有"i" ≠ "j"都有"m" ≥ 3，称这个群是大型（）的；若对所有"i" ≠ "j"都有"m" ≥ 4，则称这个群是超大型（）的。凯尼斯·阿佩尔和P.E. Schupp探讨Artin群的性质，证明了四条定理。这些定理之前已知对考克斯特群成立，而他们证明对Artin群也成立。他们发现可以使用小消去理论的技巧研究超大型Artin群和考克斯特群，并可以把技巧改进来用在那些大型的群中。他们证明的