22/03/12 17:59:37.13 SYo+2ymZ.net
S = {x, y, x^{-1}, y^{-1}} をアルファベットとする任意の語を x^i * y^j (0 ≦ i < n, 0 ≦ j < 2）の形に変形するのに、
x^n = 1
y^2 = 1
x*y*x*y = 1
を使うという話なら分かるのですが。
22/03/12 17:59:37.13 SYo+2ymZ.net
S = {x, y, x^{-1}, y^{-1}} をアルファベットとする任意の語を x^i * y^j (0 ≦ i < n, 0 ≦ j < 2）の形に変形するのに、
x^n = 1
y^2 = 1
x*y*x*y = 1
を使うという話なら分かるのですが。