Put , choose a -basis of , and let be its reduced norm polynomial. For , consider
This has degree and variables. The property gives a nontrivial zero . Necessarily : otherwise forces in the division algebra, making the whole coordinate vector zero. Homogeneity now gives . The value zero is achieved by the zero element. Hence
This is the surjectivity of reduced norms over C2 fields, and the proof also gives the multiplicative surjection . The argument works for degree one as well.

Articles by others on the same topic (0)

There are currently no matching articles.