PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
stufe of a field (Definition)

The stufe of a field $ F$ is the least number $ n$ such that $ -1$ can be expressed as a sum of $ n$ squares:

$\displaystyle -1=a_1^2+\cdots+a_n^2,$
where each $ a_i\in F$. If no such an $ n$ exists, then we say that the stufe of $ F$ is $ \infty$.

Remarks.

  • The word “stufe”, meaning “level” in German, is attributed to mathematician Albrecht Pfister.
  • A theorem of Pfister asserts that in a field $ F$, if $ -1$ can be expressed as a finite sum of squares, then the stufe of $ F$ is a power of $ 2$.

Bibliography

1
A. Pfister, Zur Darstellung definiter Funktionen als Summe von Quadraten, Inventiones Mathematicae (1967).
2
A. R. Rajwade, Squares, Cambridge University Press (1993).



"stufe of a field" is owned by CWoo.
(view preamble)

View style:

See Also: theorems on sums of squares

Other names:  level of a field
Also defines:  stufe
Log in to rate this entry.
(view current ratings)

Cross-references: power, finite, squares, sum, least number, field
There are 2 references to this entry.

This is version 2 of stufe of a field, born on 2005-02-25, modified 2005-06-13.
Object id is 6829, canonical name is StufeOfAField.
Accessed 2374 times total.

Classification:
AMS MSC12D15 (Field theory and polynomials :: Real and complex fields :: Fields related with sums of squares )
 15A63 (Linear and multilinear algebra; matrix theory :: Quadratic and bilinear forms, inner products)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)