4个の巡回関数u,V,U汽v2を采ることかてきる.
定理2のような (n変数ては n!个の项の和の)分割をシュウァレ一分割といいます (C.Chevalley;亲日的なフランスの数学者;详细は解答部分 (190ヘーシ)に补充した). その観点から定理2は
n=3の特别な场合てすか,この场合には标准的な基底を,具体的
に上のように选ふことか可能て,その具体的な表现か有用てす.
2.定理 1の证明
表现てきることは简単てす.f(x,Y,z)に対し
ひ(x,Y,z)=[f(x,Y,z)+f(y,z,x)+f(z,x,y)
+f(y,x,z)+f(z,Y,x)+f(x,z,y)]/6
a(x,y,z)=[f(x,y,z)+f