Pfisters Sechzehn-Quadrate-Identität
In der Algebra ist Pfisters Sechzehn-Quadrate-Identität eine nicht-bilineare Identität der Form
Nicht-bilineare Identität bedeutet hier, dass es Formeln gibt und diese keine bilinearen Abbildungen in den Argumenten sind, sondern von etwas komplizierterer Natur, siehe unten.
Angabe der Identität Bearbeiten
Diese Identität wurde erstmals von H. Zassenhaus und W. Eichhorn in den 1960ern bewiesen[1] und unabhängig und nahezu zeitgleich von Albrecht Pfister[2]. Es gibt mehrere Versionen, eine kurze und prägnante ist die folgende:
Setzt man alle und mit gleich 0, so reduzieren sich diese Identitäten auf Degens Acht-Quadrate Satz (in blau). Die sind
wobei
Bemerkungen Bearbeiten
Die Identität zeigt, dass im Allgemeinen das Produkt zweier Summen von sechzehn Quadraten wieder die Summe von sechzehn rationalen Quadraten ist. Nebenbei erfüllen die noch die Gleichung
Es gibt keine Sechzehn-Quadrate-Identität, bei der die bilinear von den und abhängen, denn der Kompositionssatz von Hurwitz besagt, dass eine Identität der Form
- ,
bei der die bilineare Funktionen der und sind, nur für möglich ist.
Allerdings zeigt der allgemeinere Satz von Pfister (1965), dass wenn die rationale Funktionen in einem Satz der Variablen sind, solche Identitäten für möglich sind.[3] Es gibt auch nicht-bilineare Versionen von Eulers Vier-Quadrate-Identität und von Degens Acht-Quadrate-Identität.
Siehe auch Bearbeiten
Einzelnachweise Bearbeiten
- ↑ H. Zassenhaus and W. Eichhorn: Herleitung von Acht- und Sechzehn-Quadrate-Identitäten mit Hilfe von Eigenschaften der verallgemeinerten Quaternionen und der Cayley-Dicksonchen Zahlen, Arch. Math. 17 (1966), 492–496
- ↑ A. Pfister: Zur Darstellung von -1 als Summe von Quadraten in einem Körper, J. London Math. Soc. 40 (1965), 159–165
- ↑ Keith Conrad: Pfister's Theorem on Sums of Squares