ティーツェ変換
次数 3 の対称群がもつ表示 G ≅ ⟨ x, y | x = 1, y = 1, (xy) = 1 ⟩ をとる。生成元 x は置換 (1, 2, 3) と、生成元 y は置換 (2, 3) と対応している。ティーツェ変換により置換 (1, 2) と対応する生成元 z を添加し、生成元 x を削除することで、この表示を G ≅ ⟨ y, z | (zy) = 1, y = 1, z = 1 ⟩ へ変換できる。
G ≅ ⟨ x, y | x = 1, y = 1, (xy) = 1 ⟩ 出発点
G ≅ ⟨ x, y, z | x = 1, y = 1, (xy) = 1, z = xy ⟩ 生成元の添加
G ≅ ⟨ x, y, z | x = 1, y = 1, (xy) = 1, z = xy, x = zy = zy ⟩ 関係子の添加
G ≅ ⟨ x, y, z | x = 1, y = 1, (xy) = 1, x = zy = zy ⟩ 関係子の削除
G ≅ ⟨ y, z | (zy) = 1, y = 1, z = 1 ⟩ 生成元の削除