Show that every element in a finite field can be written as the sum of two squares.
ok i will give u one more hint. suppose exactly half of them are squares (when is this the case ? when it is not ?) then the squares form an index 2 subgroup of F^*. the squares you can write as 0+a^2 .. suppose some element is not expressible as sum of two squares, then what happens if you take the squares and take the additive group generated by them ? if you add 0 to that set, will it become a subfield ? if so, what should be its cardinality ?
hmm...I am sorry that i cannot understand your idea..
if one element can not be written as the sum of two squares, it does not mean it will not be in the additive group generated by the squares since it may be the sum of three squares..
if it is in the additive group generated by the squares, then the group will be the original group since its order is greater than the half of the original order..then nothing would happen??
May be there are some mistakes in above statements..but I am just confused...
call as the multiplicative group of squares. so we decompose . is the set of non squares. suppose an element is not expressible as sum of two squares. consider . this set must be the same as . consider . clearly
but was the coset of the multiplicative group in . so . it follows that there exists a s.t
RHS belongs to whereas LHS belongs to which are disjoint.
a + A has the same cardinality as A as well as B. also it cannot contain 0 as a is not a square. so it follows that a + A must either be B or A or in intersects with both. in the last two cases if it intersects nontrivially with A, it means there exist an element z^2 in A such that a + y^2 = z^2, but this is a contradiction to what we assumed about a.
edit :: this is erroneous, proof corrected above
I am not quite clear where is contradiction in your statement. a+y^2=z^2,a=z^2-y^2. if the sum actually means +, then z^2-y^2 is not a sum of two squares.......If the sum can mean -, then no problem exists.....