22/03/08 20:21:47.30 yTD6aKsd.net
>>277
σ := (1, 2, 3)
τ := (1, 2)
とすると、
σ^3 = ()
τ｀^2 = ()
τ*σ*τ = σ^{-1}
が成り立ちます。
そして、この3つの関係式だけを使って、 S_3 のCayley Tableを完成させることができます。
確かに、 y^i * x^j ((i, j) ∈ {0, 1{ × {0, 1, 2}) がすべて異なるかと言われると証明が必要な気もしますが。
K を考える意味って何ですか？