ティーツェ変換
ある生成元が他の生成元の語と関係式で結べるとき、表示からその生成元を削除できる。そのためには関係子に現れる削除する生成元をすべて同値な語により置換する必要がある。位数 4 の基本アーベル群がもつ表示 G ≅ ⟨ x, y, z | x = yz, y = 1, z = 1, x = x ⟩ から生成元 x を削除すると同じ群の別表現 G ≅ ⟨ y, z | y = 1, z = 1, yz = (yz) ⟩ へ変換される。
↑ Tietze, Heinrich (1908), “Über die topologischen Invarianten mehrdimensionaler Mannigfaltigkeiten”, Monatsh. Math. Phys. 19: 1–118, doi:10.1007/BF01736688
↑ Lyndon & Schupp 1977, p. 89.