[代數]Group act on a set

看板Math作者 (nono)時間9年前 (2016/09/01 16:47), 編輯推噓2(207)
留言9則, 3人參與, 最新討論串1/1
書上說,可以讓S_n作用於n變數複係數多項式 令a∈S_n , f是n變數複係數多項式 定義a*f(x_1,x_2,...x_n) = f(x_a^-1(1),x_a^-1(2),...,x_a^-1(n)) 如果a,b∈S_n 則(a*b)*f = a*(b*f), 因為(a*b)*f(x_1,x_2,...x_n) = f(x_b^-1a^-1(1),x_b^-1a^-1(2),...,x_b^-1a^-1(n)) = ---(01) a*f(x_b^-1(1),x_b^-1(2),...,x_b^-1(n)) = ---(02) a*(b*f)(x_1,x_2,...x_n) 我是覺得01到02的等號很奇怪 如果令n=3,a=(123),b=(23),f=x_1x_2 + 5x_3 abf = (12)f = f 但是 a*(b*f) = (123)*(x_1x_3 + 5x_2) = x_3x_2 + 5x_1 =/= f 請問我哪裡搞錯了??? ps如果覺得我打得看不懂,我可以貼書本的照片 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.253.26.237 ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1472719632.A.EDB.html

09/01 17:26, , 1F
你的ab應該是(13)吧
09/01 17:26, 1F

09/01 17:43, , 2F
咦?可是(123)(23)不是(12)嗎
09/01 17:43, 2F

09/01 21:11, , 3F
應該是要把 f 想成函數
09/01 21:11, 3F

09/01 21:12, , 4F
a*(b*f)(x1,x2,x3)=(b*f)(x3,x1,x2)=f(x2,x1,x3)
09/01 21:12, 4F

09/01 21:14, , 5F
所以這是f是函數或者元素的差別?是因為定義嗎?
09/01 21:14, 5F

09/01 21:20, , 6F
那樣定義應該是要把 f 想成函數, 一般來說, 我們會
09/01 21:20, 6F

09/01 21:21, , 7F
定義 (g*f)(x):=f(g^{-1}*x)
09/01 21:21, 7F

09/01 21:22, , 8F
這樣才會是 group action
09/01 21:22, 8F

09/01 21:29, , 9F
謝謝,我再思考一下
09/01 21:29, 9F
文章代碼(AID): #1Nn-iGxR (Math)