In de algebra is de zestien-kwadratenidentiteit van Pfister een niet-bilineaire identiteit van de vorm
Deze identiteit werd in de jaren 1960 voor het eerst bewezen door Hans Zassenhaus en W. Eichhorn.[1] en Ongeveer tegelijkertijd werd de identiteit onafhankelijk daarvan door Pfister bewezen.[2] Er zijn verschillende versies, een beknopte luidt als volgt:
waar de 
gelijk zijn aan,
en
De dan gehoorzamen aan
De identiteit laat dus zien dat het product van twee sommen van zestien kwadraten in het algemeen de som is van zestien rationale kwadraten. Als alle 
met 
gelijk worden gesteld aan nul, dan reduceert deze identiteit tot de acht-kwadratenidentiteit van Degen.
Er bestaat geen zestien kwadratenidentiteit waarbij alleen bilineaire functies betrokken zijn aangezien de stelling van Hurwitz laat zien dat een identiteit van de vorm
met de 
bilineair functies van de 
en 
alleen mogelijk is voor n ∈ {1, 2, 4, 8}.
De meer algemenere stelling van Pfister (1965) laat echter zien dat als de rationale functies zijn van slechts één verzameling van variabelen, (dus een noemer heeft), dat het dan mogelijk is voor alle 
.[3] Er bestaan dus ook niet-bilineaire versies van de vier-kwadratenidentiteit van Euler en de acht-kwadratenidentiteit van Degen.
Zie ook
- Identiteit van Brahmagupta-Fibonacci
- Vier-kwadratenidentiteit van Euler
- Acht-kwadratenidentiteit van Degen
- Sedenion
Voetnoten
- ↑ H. Zassenhaus en 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), blz. 492-496
- ↑ A. Pfister, Zur Darstellung von -1 als Summe von Quadraten in einem Körper, 'J. London Math. Soc. 40 (1965), blz. 159-165
- ↑ Keith Conrad, Pfister's Theorem on Sums of Squares, Keith Conrad, (zie hier)
Externe link
- (en) Zestien-kwadratenidentiteit van Pfister
