Euler's Four-Square Identity¶

A bilinear four-component composition law whose output represents the product of two sums of four squares as another sum of four squares.

Version: v2 · 2026-09-06 · History
Domain-specific #: 1795
Origin domain: algebra and number theory
Subdomain: composition of quadratic forms
Aliases: Euler Four Square Identity

Core Idea¶

Euler's Four-Square Identity is an explicit bilinear rule showing that the product of two values represented as sums of four squares is again represented as a sum of four squares. Let

\[ Q(x_0,x_1,x_2,x_3)=x_0^2+x_1^2+x_2^2+x_3^2. \]

For two quadruples \(a=(a_0,a_1,a_2,a_3)\) and \(b=(b_0,b_1,b_2,b_3)\), define

\[ \begin{aligned} c_0&=a_0b_0-a_1b_1-a_2b_2-a_3b_3,\\ c_1&=a_0b_1+a_1b_0+a_2b_3-a_3b_2,\\ c_2&=a_0b_2-a_1b_3+a_2b_0+a_3b_1,\\ c_3&=a_0b_3+a_1b_2-a_2b_1+a_3b_0. \end{aligned} \]

Then

\[ Q(a)Q(b)=Q(c). \]

Scope of Application¶

The home domains are algebra, elementary number theory, quadratic forms, and quaternion theory. Over \(\mathbb Z\), the identity composes integral representations. Over \(\mathbb Q\), \(\mathbb R\), or another commutative ring, it remains a polynomial equality. Over \(\mathbb R\), it expresses the Euclidean squared norm on \(\mathbb H\cong\mathbb R^4\) as a multiplicative quadratic form.

In elementary number theory, let

\[ S_4=\{x_0^2+x_1^2+x_2^2+x_3^2:x_i\in\mathbb Z\}. \]

Clarity¶

A quick diagnostic asks:

Are there two four-component inputs evaluated by the sum-of-four-squares form?
Are four output components given bilinearly in the two inputs?
Does the output's four-square value equal the product of the input values as a universal identity?
Is the claim about composition of representations rather than universal representability of integers?

Manages Complexity¶

A bare closure proof would show only that some four-square representation of \(mn\) exists whenever representations of \(m\) and \(n\) exist. Euler's identity compresses that search into four fixed formulas. No new Diophantine search is required: insert the two witnesses and evaluate the bilinear map.

That compression scales to products of many represented integers. Repeated composition transports witnesses along a factorization, while quaternion associativity explains why different parenthesizations of the standard Hamilton product agree.

Abstract Reasoning¶

The identity licenses a closure inference: for any commutative ring \(R\), the value set \(Q(R^4)\) is closed under multiplication. It also licenses witness propagation: given actual coordinate witnesses \(a\) and \(b\), the bilinear output \(B(a,b)\) is a computable witness for the product.

Knowledge Transfer¶

Within mathematics, the exact transferable pattern is quadratic-form witnesses + bilinear composition → multiplicative norm → closure of represented values. It transfers from complex numbers and two squares to quaternions and four squares, and—with nonassociative qualifications—to octonions and eight squares.

The identity also transfers between coordinate algebra and structural algebra. A polynomial-expansion proof works over arbitrary commutative rings; a quaternion proof reveals why the signs and pairings fit together. In arithmetic, the same structure propagates integral representations. In quadratic-form theory, it is an example of composition.

Relationships to Other Abstractions¶

Current abstraction Euler's Four-Square Identity Domain-specific

Parents (1) — more general patterns this builds on

Euler's Four-Square Identity is a kind of Closure Prime

Closure is the proposed minimal parent.

Hierarchy path (1) — routes to 1 parentless root

Euler's Four-Square Identity → Closure

Neighborhood in Abstraction Space¶

Euler's Four-Square Identity sits in a sparse region of the domain-specific corpus (84^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08