MHB Squares in a field with q^n elements

Prefer
Messages
2
Reaction score
0
Let $F$ be a field with $q^n$ elements, where $q$ is an odd prime. Write $q^n=2m +1$ with $m \in \mathbb{N}.$

If $r \in F^{\times},$ show that the equation $y^2= r$ has a solution iff $r^m=1.$
 
Last edited:
Physics news on Phys.org
Hi Prefer,

Please show what your thoughts are on this problem or where you're stuck. Have you been able to prove one of the directions, e.g., if the equation $ y^2 = r $ has a solution, then $ r^m = 1$?
 
Euge said:
Hi Prefer,

Please show what your thoughts are on this problem or where you're stuck. Have you been able to prove one of the directions, e.g., if the equation $ y^2 = r $ has a solution, then $ r^m = 1$?

I have the direction you mention, so far:

The non-zero elements of $\mathbf F_{q^n}$ are a cyclic group of order $q^n-1=2m$. So, if $y^2=r$, we have $r^m=y^{2m}=1$.
 
Prefer said:
I have the direction you mention, so far:

The non-zero elements of $\mathbf F_{q^n}$ are a cyclic group of order $q^n-1=2m$. So, if $y^2=r$, we have $r^m=y^{2m}=1$.

Ok, great. For the reverse direction, assume $r^m = 1$. Since $q$ is odd, $q^n + 1$ is divisible by $2$. So we may consider $r^{(q^n + 1)/2}$. Show that this element is a solution to $y^2 = r$.
 
The world of 2\times 2 complex matrices is very colorful. They form a Banach-algebra, they act on spinors, they contain the quaternions, SU(2), su(2), SL(2,\mathbb C), sl(2,\mathbb C). Furthermore, with the determinant as Euclidean or pseudo-Euclidean norm, isu(2) is a 3-dimensional Euclidean space, \mathbb RI\oplus isu(2) is a Minkowski space with signature (1,3), i\mathbb RI\oplus su(2) is a Minkowski space with signature (3,1), SU(2) is the double cover of SO(3), sl(2,\mathbb C) is the...
Back
Top