Put , choose a -basis of , and let be its reduced norm polynomial. For , considerThis 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. HenceThis 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
There are currently no matching articles.