ティーツェ変換
表示に既にある生成元の語を新たな生成元として添加できる。表示 G ≅ ⟨ x | x = 1 ⟩ が与えられたとき y = x とすれば同じ群の別表示 G ≅ ⟨ x, y | x = 1, y = x ⟩ である。