コクセター群
双曲空間における鏡映群（特に双曲三角群が含まれる）を記述する双曲コクセター群が無限に存在する。