Skip to main content
1 of 2
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$.

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

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

PowerSums := function(vals,n)

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

end;

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

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

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

zibadawa timmy
  • 822
  • 1
  • 8
  • 11