Stufe (algebra)

In field theory, the Stufe (/ʃtuːfə/; German: level) s(F) of a field F is the least number of squares that sum to -1. If -1 cannot be written as a sum of squares, s(F)=. In this case, F is a formally real field. Albrecht Pfister proved that the Stufe, if finite, is always a power of 2, and that conversely every power of 2 occurs.[1]

Powers of 2

If then for some .[1][2]

Proof: Let be chosen such that . Let . Then there are elements such that

Both and are sums of squares, and , since otherwise , contrary to the assumption on .

According to the theory of Pfister forms, the product is itself a sum of squares, that is, for some . But since , we also have , and hence

and thus .

Positive characteristic

The Stufe for all fields with positive characteristic.[3]

Proof: Let . It suffices to prove the claim for .

If then , so .

If consider the set of squares. is a subgroup of index in the cyclic group with elements. Thus contains exactly elements, and so does . Since only has elements in total, and cannot be disjoint, that is, there are with and thus .

Properties

The Stufe s(F) is related to the Pythagoras number p(F) by p(F) ≤ s(F)+1.[4] If F is not formally real then s(F) ≤ p(F) ≤ s(F)+1.[5][6] The additive order of the form (1), and hence the exponent of the Witt group of F is equal to 2s(F).[7][8]

Examples

Notes

  1. 1 2 Rajwade (1993) p.13
  2. Lam (2005) p.379
  3. 1 2 Rajwade (1993) p.33
  4. Rajwade (1993) p.44
  5. Rajwade (1993) p.228
  6. Lam (2005) p.395
  7. 1 2 Milnor & Husemoller (1973) p.75
  8. 1 2 3 Lam (2005) p.380
  9. 1 2 Lam (2005) p.381
  10. Singh, Sahib (1974). "Stufe of a finite field". Fibonacci Quarterly. 12: 81–82. ISSN 0015-0517. Zbl 0278.12008.

References

Further reading

This article is issued from Wikipedia - version of the 10/26/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.