しかしながら、性質の多くが理解され、分類は純粋に群論的な問題となっている(すなわち、formula_1やformula_14、従ってformula_39やformula_40の等長群の全ての自由な離散部分群(discrete subgroups)を決定する問題となっている)。