Skip to content

Jordan Identity

The nonassociative polynomial law (x²∘y)∘x=x²∘(y∘x), imposed with commutativity to define Jordan algebras and support coherent powers.

Version
v1 · 2026-09-28 · History
Domain-specific #
10192
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomains
Jordan Algebra Theory, Nonassociative Algebra → Mathematics

Core Idea

The Jordan identity controls how multiplication by an element interacts with multiplication by its square. Written with left-multiplication operators, it says L_x and L_x² commute for every x.

Together with a commutative bilinear product, the law defines ordinary Jordan algebras and yields power associativity without imposing full associativity. Symmetrized associative algebras provide the special examples; exceptional Jordan algebras show the identity is broader.

Structural Signature

Sig role-phrases:

  • Algebra and scalar field — Supply addition, scalar multiplication, and bilinear product with characteristic qualifications. It is ambient structure. Counterfactual: Characteristic two requires altered conventions.
  • Commutative product ∘ — Ensures x∘y=y∘x while not assuming associativity. It is product rule. Counterfactual: Associative commutative algebras are only a special case.
  • Element x and square x² — Provide repeated multiplication whose operators are constrained. It is power carrier. Counterfactual: Ambiguous bracketing must be controlled.
  • Element y — Tests compatibility of multiplication by x and x². It is universal test. Counterfactual: Checking one selected y does not prove the identity.
  • Polynomial equality — Requires the two bracketings to coincide for all x,y. It is defining invariant. Counterfactual: Commutativity alone is insufficient.
  • Multiplication operators L_x — Express the law as commuting actions of x and x². It is equivalent form. Counterfactual: This operator form depends on the stated product.

What It Is Not

  • It is not the Jacobi identity.
  • It is weaker than full associativity.
  • Commutativity alone is insufficient.
  • Characteristic-dependent equivalent forms require care.
  • Closest near-miss. Associativity implies the Jordan identity in a commutative associative algebra, but Jordan algebras allow nonassociative products that still obey it.

Scope of Application

  • Nonassociative algebra. Defines Jordan structures.
  • Operator theory. Studies multiplication operators.
  • Geometry. Supports symmetric-cone constructions.
  • Mathematical physics. Models commutative observable products.

Clarity

State field/ring and characteristic, bilinearity, commutativity, product notation, bracketing, exact identity, whether units are required, and whether special, exceptional, quadratic, or generalized variants are intended.

Manages Complexity

One degree-four law removes selected associativity ambiguity strongly enough to organize powers while leaving genuinely nonassociative interactions among distinct elements.

Abstract Reasoning

  1. Fix the algebra and product convention.
  2. Verify bilinearity and commutativity.
  3. Form x² and both bracketed sides.
  4. Prove equality for arbitrary x,y or valid generators/identities.
  5. Use equivalent linearizations only under valid characteristic assumptions.

Knowledge Transfer

The identity transfers across matrix, function, and abstract algebras only with the same product and scalar characteristic; ordinary matrix multiplication must not be substituted for the Jordan product.

Examples

Canonical

For matrices with x∘y=(xy+yx)/2 over characteristic not two, the symmetrized product is commutative and satisfies the Jordan identity even though it need not be associative.

Mapped back: algebra → matrices; product → symmetrized; commutative → yes; identity → holds; associative → not required.

Applied / In Practice

A commutative nonassociative product that violates [L_x,L_x²]=0 for some x is not a Jordan algebra merely because its product commutes.

Mapped back: commutativity → yes; Jordan identity → fails.

Structural Tensions

T1 — Nonassociative Flexibility versus Power Coherence. Dropping full associativity broadens models while the identity retains coherent single-element powers.

Diagnostic: Which calculations rely on power associativity rather than full reassociation?

T2 — Compact Polynomial versus Characteristic Subtleties. Equivalent linearizations may divide by small integers and fail in exceptional characteristics.

Diagnostic: What scalar characteristic supports the chosen form?

Structural–Framed Character

Jordan Identity is structural as a universal polynomial constraint on a commutative nonassociative product.

Structural Core vs. Domain Accent

The core is product, square, multiplication actions, and equality. Jordan theory supplies characteristic conventions, special/exceptional distinction, and consequences.

  • Approved root. No reviewed parent entails this algebra identity.

  • Related — Jordan algebra, power associativity, symmetrized product, associative algebra, and Jacobi identity. They provide host, consequence, construction, stronger law, and contrast.

Neighborhood in Abstraction Space

Jordan Identity sits in a crowded region of the domain-specific corpus (28th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Algebraic Structures & Homological Invariants (15 abstractions)

Nearest neighbors

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

Not to Be Confused With

  • Jacobi identity. Tell: Defines Lie-algebra bracket behavior.
  • Associative law. Tell: Equates every triple bracketing and is stronger.
  • Jordan normal form. Tell: Is matrix canonical-form terminology.
  • Flexible identity. Tell: Is another weaker nonassociative law.

References

  • Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Jordan_algebra (revision 1359001148).
  • Preserved source candidate: https://www.ams.org/bull/2002-39-02/S0273-0979-01-00934-X/home.html
  • Preserved source candidate: http://math.ucr.edu/home/baez/octonions/node8.html
  • Preserved source candidate: http://www.math.ntnu.no/~hanche/joa/
  • Preserved source candidate: https://books.google.com/books?isbn=0387954473
  • Preserved source candidate: http://www.math.virginia.edu/Faculty/McCrimmon/
  • Preserved source candidate: http://projecteuclid.org/euclid.bams/1183656879
  • Preserved source candidate: https://archive.org/details/introductiontono0000scha
  • Preserved source candidate: https://books.google.com/books?isbn=3540663371

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.