Skip to main content
2 of 2
added 109 characters in body
zibadawa timmy
  • 822
  • 1
  • 8
  • 11

It's not true. You can easily check it in GAP, for example. Here's a way to get a counterexample in $\mathbb{F}_9$ for $n=4$.

q:=9; n:=4; FF:=GF(q); sets:=Tuples(FF,n);; sets:=Set(List(sets,Set));;

sets:=Filtered(sets,x->Length(x)=n);;

PowerSums := function(vals,m)

return(List([1..m],k->Sum(List(vals,t->t^k))));

end;

S:=First(sets,x->ForAny(sets,y->(not x=y) and PowerSums(x,n)=PowerSums(y,n)));

This returns a four element set, and we can find the other one similarly.

T:=First(sets,y->(not y=S) and PowerSums(S,n)=PowerSums(y,n));

We also get examples for $n=3$ by just changing that one value at the start and rerunning.

zibadawa timmy
  • 822
  • 1
  • 8
  • 11