15/10/31 19:20:25.27 bHyeETRo.net
P
=P(x[1],x[2],…,x[n])
=(x[1]-x[2])(x[1]-x[3])…(x[1]-x[n])(x[2]-x[3])(x[2]-x[4])………(x[n-1]-x[n])
と定義し、
このときM_n={1,2,3…,n}上の置換pに対して
pP(x[1],x[2],…,x[n])=P(x[p(1)],x[p(2)],…,x[p(n)])
と定める。とくにpが互換ならば
pP=-Pとなる
ーーーーーーー
sgn(p)が一意的であることの証明の前半部分なのですが、これが分からないです