Elements of trace zero in a field extension - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T21:56:33Z http://mathoverflow.net/feeds/question/31971 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/31971/elements-of-trace-zero-in-a-field-extension Elements of trace zero in a field extension Izhar Oppenheim 2010-07-15T07:23:00Z 2010-07-15T16:15:41Z <p>Let $K=F_q$ and $F=F_{q^3}$, define the set A={$x \in F$ : $Tr_{F/K} (x)=0$}. Is it true that for every $x \in A$ there are $y,z \in A$ such that $x=yz$? </p> http://mathoverflow.net/questions/31971/elements-of-trace-zero-in-a-field-extension/31999#31999 Answer by Tom Goodwillie for Elements of trace zero in a field extension Tom Goodwillie 2010-07-15T13:51:19Z 2010-07-15T16:15:41Z <p>In characteristic $3$, yes.</p> <p>Proof: Let $y=1$.</p> <p>In characteristic $2$, yes. In all other cases, no.</p> <p>Proof: The symmetric bilinear form $Tr(yz)$ on the vector space $F$ is nondegenerate (for any finite separable field extension). Its restriction to the codimension one subspace $A$ is also nondegenerate, since the orthogonal complement of $A$ is spanned by $1$, which is not in $A$. Count the nonzero solutions of $x=yz$ with $x,y,z$ all in $A$: the number is $(q^2-1)(q-1)$, because $y$ can be any nonzero vector in $A$ and $z$ can be any nonzero vector in the (one-dimensional) orthogonal complement of $Ky$ in $A$. If we identify the solutions $(x,y,z)$ and $(x,cy,c^{-1}z)$ for $c\in F$ then the count becomes $q^2-1$. This set is mapped to another set $A-0$ of the same size by $(x,y,z)\mapsto x$. To decide whether the map is surjective, look at whether it's injective. </p> <p>In characteristic different from $2$, nondegeneracy of the form implies that there is a solution $(x,y,z)$ with $y$ and $z$ linearly independent, so that $(x,z,y)$ is an inequivalent solution.</p> <p>In characteristic $2$, since $Tr(y^2)$ is universally congruent to $Tr(y)^2$ mod $2$, $A$ is closed under squaring; thus every solution has the form $(x,y,ay)$ with $a\in K$. And injectivity holds because if $(x,y_1,a_1y_1)$ and $(x,y_2,a_2y_2)$ are solutions then $\frac{y_1}{y_2}$ is a square root of $\frac{a_2}{a_1}$, so an element of $K$.</p>