20/10/26 13:41:12.20 poLVk42H.net
まあいいやここは自分でやろう
n=8 の時 V_n の基底として
f(x)=x^3
g(x)=(x^3 mod 9)
をとることができる。
ただし(x mod 9)は x-y が9で割りきれ、かつ -4≦y≦4 を満たすような唯一の整数 y とする。
fが条件(A)を満たすこととf,gの一次独立性は明らか。
g が条件(A)を満たすことは以下ようにしてわかる。
もし (x_1)^3 +…+(x_8)^3 = 0 なら、f_2 の定義から
S := f_2(x_1) +…+ f_2(x_8) が9で割りきれることがわかる。
しかし実際のところ f_2(x) がとり得る値は 1,0,-1 しかないので -8≦S≦8.
ゆえに S=0 になるしかない。