Brauer's theorem on forms

There also is Brauer's theorem on induced characters.

In mathematics, Brauer's theorem, named for Richard Brauer, is a result on the representability of 0 by forms over certain fields in sufficiently many variables.

Statement of Brauer's theorem

Let K be a field such that for every integer r > 0 there exists an integer ψ(r) such that for n ≥ ψ(r) every equation

$(*)\qquad a_{1}x_{1}^{r}+\cdots +a_{n}x_{n}^{r}=0,\quad a_{i}\in K,\quad i=1,\ldots ,n$

has a non-trivial (i.e. not all x_i are equal to 0) solution in K. Then, given homogeneous polynomials f₁,...,f_k of degrees r₁,...,r_k respectively with coefficients in K, for every set of positive integers r₁,...,r_k and every non-negative integer l, there exists a number ω(r₁,...,r_k,l) such that for n ≥ ω(r₁,...,r_k,l) there exists an l-dimensional affine subspace M of K (regarded as a vector space) satisfying

$f_{1}(x_{1},\ldots ,x_{n})=\cdots =f_{k}(x_{1},\ldots ,x_{n})=0,\quad \forall (x_{1},\ldots ,x_{n})\in M.$

An application to the field of p-adic numbers

Letting K be the field of p-adic numbers in the theorem, the equation (*) is, by the well-known fact that $\mathbb {Q} _{p}^{*}/\left(\mathbb {Q} _{p}^{*}\right)^{r}$, where r is a natural number, is finite, fulfilled. Letting k = 1, one obtains the following corollary.

A homogeneous equation f(x₁,...,x_n)=0 of degree r in the field of p-adic numbers has a non-trivial solution if n is sufficiently large.