In mathematics, the Pythagoras number or reduced height of a field describes the structure of the set of squares in the field. The Pythagoras number p ( K ) {\displaystyle p(K)} of a field K {\displaystyle K} is the smallest positive integer p {\displaystyle p} such that every sum of squares in K {\displaystyle K} is a sum of p {\displaystyle p} squares. A Pythagorean field is a field with Pythagoras number 1: that is, every sum of squares is already a square.
Examples Every non-negative real number is a square, so p ( R ) = 1 {\displaystyle p(\mathbb {R} )=1} . For a finite field of odd characteristic, not every element is a square, but all are the sum of two squares, so p = 2 {\displaystyle p=2} . By Lagrange's four-square theorem, every positive rational number is a sum of four squares, and not all are sums of three squares, so p ( Q ) = 4 {\displaystyle p(\mathbb {Q} )=4} .
Properties Every positive integer occurs as the Pythagoras number of some formally real field. The Pythagoras number is related to the Stufe by p ( F ) ≤ s ( F ) + 1 {\displaystyle p(F)\leq s(F)+1} . If F {\displaystyle F} is not formally real then s ( F ) ≤ p ( F ) ≤ s ( F ) + 1 {\displaystyle s(F)\leq p(F)\leq s(F)+1} , and both cases are possible: for F = C {\displaystyle F=\mathbb {C} } we have s = p = 1 {\displaystyle s=p=1} , whereas for F = F 5 {\displaystyle F=\mathbb {F} _{5}} we have s = 1 {\displaystyle s=1} , p = 2 {\displaystyle p=2} . As a consequence, the Pythagoras number of a non-formally-real field is either a power of 2, or 1 more than a power of 2. All such cases occur: i.e., for each pair ( s , p ) {\displaystyle (s,p)} of the form ( 2 k , 2 k ) {\displaystyle (2^{k},2^{k})} or ( 2 k , 2 k + 1 ) {\displaystyle (2^{k},2^{k}+1)} , there exists a field F {\displaystyle F} such that ( s ( F ) , p ( F ) ) = ( s , p ) {\displaystyle (s(F),p(F))=(s,p)} . For example, quadratically closed fields and fields of characteristic 2 give ( s ( F ) , p ( F ) ) = ( 1 , 1 ) {\displaystyle (s(F),p(F))=(1,1)} ; for primes p ≡ 1 ( mod 4 ) {\displaystyle p\equiv 1\!\!\!\!{\pmod {4}}} , F p {\displaystyle \mathbb {F} _{p}} and the p-adic field Q p {\displaystyle \mathbb {Q} _{p}} give ( 1 , 2 ) {\displaystyle (1,2)} ; for primes p ≡ 3 ( mod 4 ) {\displaystyle p\equiv 3\!\!\!\!{\pmod {4}}} , F p {\displaystyle \mathbb {F} _{p}} gives ( 2 , 2 ) {\displaystyle (2,2)} and Q p {\displaystyle \mathbb {Q} _{p}} gives ( 2 , 3 ) {\displaystyle (2,3)} ;
… excerpt ends here. Continue reading the full article.
