Triple system¶

Equip a vector space with a trilinear product returning to that space, creating a generic ternary algebra whose added identities specialize it into Lie, Jordan, and geometry-bearing triple systems.

Version: v2 · 2026-08-30 · History
Domain-specific #: 3006
Origin domain: nonassociative algebra
Subdomain: ternary algebraic structures

Core Idea¶

A triple system, or ternar, is a vector space \(V\) over a field \(F\) equipped with an \(F\)-trilinear map \(V\times V\times V\to V\); Lie and Jordan triple systems impose additional distinct polynomial identities on that product.^[1] Three vectors enter one multilinear operation whose value remains in the carrier; identities among nested triple products control inner derivations and permit Lie or Jordan structures to be encoded without choosing a binary product.

Its autonomous residual is the vector-space-valued trilinear algebraic carrier, not a set of three objects, a scalar-valued trilinear form, a binary algebra with three generators, or the union of Lie and Jordan subclasses alone. The identity fails when the operation is not linear in all slots, its output leaves the vector space, subclass identities are assumed from trilinearity alone, a scalar form is mistaken for an internal product, or characteristic-dependent equivalences are used without hypotheses.

Recognition requires an analyst to state the field and characteristic restrictions, verify trilinearity in each slot and closure in the carrier, list any symmetry and nested-product identities, and distinguish the generic triple system from Lie, Jordan, associative-derived, and pair constructions. Once established, it supports encoding tangent algebra of symmetric spaces, relating graded Lie algebras to ternary products, studying bounded symmetric domains, organizing nonassociative algebra, and comparing derivation structures without turning those uses into the definition.

Structural Signature¶

Carrier: a vector space over a specified field together with a ternary operation on vectors
Inputs or antecedent state: base field, vector space, trilinear map, argument order, symmetry or skew-symmetry identities, derivation identities, nondegeneracy or positivity conditions, morphisms, and associated graded algebra constructions
Constitutive operation: Three vectors enter one multilinear operation whose value remains in the carrier; identities among nested triple products control inner derivations and permit Lie or Jordan structures to be encoded without choosing a binary product
Invariant: the carrier is a vector space and one declared ternary product is linear separately in all three arguments and takes every input triple back into that vector space
Recognition test: state the field and characteristic restrictions, verify trilinearity in each slot and closure in the carrier, list any symmetry and nested-product identities, and distinguish the generic triple system from Lie, Jordan, associative-derived, and pair constructions
Output or consequence: encoding tangent algebra of symmetric spaces, relating graded Lie algebras to ternary products, studying bounded symmetric domains, organizing nonassociative algebra, and comparing derivation structures
Failure boundary: the operation is not linear in all slots, its output leaves the vector space, subclass identities are assumed from trilinearity alone, a scalar form is mistaken for an internal product, or characteristic-dependent equivalences are used without hypotheses

What It Is Not¶

It is not the whole field of nonassociative algebra; many objects in that field do not satisfy its constitutive rule.
It is not its canonical example. Every Lie algebra yields a Lie triple system by \([x,y,z]=[[x,y],z]\), whose skew and derivation identities follow from the binary Lie bracket and Jacobi identity. That is an instance, not a definition.
It is not Multilinear Form. A multilinear form is scalar-valued. A triple system's trilinear operation is internal, returning a vector in the same carrier and therefore supporting iterated nested products.
It is not an unrestricted metaphor. Jordan pairs replace one carrier by two paired vector spaces and two typed triple maps, while a Jordan triple system identifies the two sides; these constructions are related but not definitionally identical

Scope of Application¶

Triple system applies when the analyst can specify a vector space over a specified field together with a ternary operation on vectors and establish that the carrier is a vector space and one declared ternary product is linear separately in all three arguments and takes every input triple back into that vector space. The entry treats algebraic triple systems on vector spaces. Steiner triple systems, ternary quasigroups, triple categories, and physical three-body systems are separate typed concepts.^[2]

Recognition. state the field and characteristic restrictions, verify trilinearity in each slot and closure in the carrier, list any symmetry and nested-product identities, and distinguish the generic triple system from Lie, Jordan, associative-derived, and pair constructions
Comparison. Compare legitimate instances through field, characteristic, carrier dimension, product symmetry, derivation identity, degeneracy, positivity, simplicity, ideals, morphisms, embedding algebra, grading, and geometric realization.
Boundary. Jordan pairs replace one carrier by two paired vector spaces and two typed triple maps, while a Jordan triple system identifies the two sides; these constructions are related but not definitionally identical
Use. Preserve every assumption when using the identity for encoding tangent algebra of symmetric spaces, relating graded Lie algebras to ternary products, studying bounded symmetric domains, organizing nonassociative algebra, and comparing derivation structures.

Clarity¶

A clear claim names the carrier, governing rule, assumptions, and recognition test. This matters because triple system is overloaded across nonassociative algebra and combinatorics, while authors sometimes use it narrowly for Lie or Jordan systems rather than the generic trilinear carrier. The disciplined statement is that the object counts as Triple system exactly when the carrier is a vector space and one declared ternary product is linear separately in all three arguments and takes every input triple back into that vector space

Identity and measurement remain separate. Membership is proved symbolically from multilinearity and identities; checking finitely many basis triples suffices only when bilinearity extensions, structure constants, and the field are rigorously controlled. Approximation or noisy evidence may weaken a classification without changing its definition.

Manages Complexity¶

The abstraction compresses generic ternars, Lie and Jordan triple systems, associative-derived products, hermitian forms of Jordan triples, positive and nondegenerate systems, super and graded variants, and Jordan pairs into a stable carrier, rule, invariant, and failure boundary. It makes comparison tractable while retaining the variables that control validity.

Compression can hide assumptions. A responsible use therefore declares field, characteristic, carrier dimension, product symmetry, derivation identity, degeneracy, positivity, simplicity, ideals, morphisms, embedding algebra, grading, and geometric realization and returns to the full diagnostic whenever a convention or boundary case changes.

Abstract Reasoning¶

Type the carrier. Establish a vector space over a specified field together with a ternary operation on vectors and reject examples from a different problem.
Lock the rule. Express that the carrier is a vector space and one declared ternary product is linear separately in all three arguments and takes every input triple back into that vector space independently of one notation or implementation.
Derive carefully. Infer encoding tangent algebra of symmetric spaces, relating graded Lie algebras to ternary products, studying bounded symmetric domains, organizing nonassociative algebra, and comparing derivation structures only under the stated assumptions.
Stress-test. Contrast the legitimate boundary case—Jordan pairs replace one carrier by two paired vector spaces and two typed triple maps, while a Jordan triple system identifies the two sides; these constructions are related but not definitionally identical—with this counterexample: a determinant \((u,v,w)\mapsto\det[u\,v\,w]\) is a trilinear form but not a triple-system product because its value lies in the base field rather than in \(V\).

Knowledge Transfer¶

Transfer within nonassociative algebra is strong when new cases preserve the same carrier, mechanism, and diagnostic. The move from Every Lie algebra yields a Lie triple system by \([x,y,z]=[[x,y],z]\), whose skew and derivation identities follow from the binary Lie bracket and Jacobi identity. to The tangent space at a point of a symmetric space carries a natural Lie triple product, and its inner derivations assemble with the tangent space into a graded Lie algebra. demonstrates that continuity.^[3]

Outside the domain, only the skeleton—replace a binary composition law with a closed three-input law whose nested identities encode the interactions formerly carried by a larger ambient structure—travels automatically. The terms vector space, trilinear product, ternary algebra, inner derivation, Lie triple system, Jordan triple system, graded Lie algebra, symmetric space, and Jordan pair retain domain-specific meanings, so every role and inference must be revalidated.

Examples¶

Canonical¶

Every Lie algebra yields a Lie triple system by \([x,y,z]=[[x,y],z]\), whose skew and derivation identities follow from the binary Lie bracket and Jacobi identity. The construction supplies one important subclass and shows how a ternary product can retain symmetric-space information, but a generic triple system need not come from a Lie algebra. It is canonical because the carrier, rule, invariant, and consequence are all inspectable.^[1]

Mapped back: a vector space over a specified field together with a ternary operation on vectors → Three vectors enter one multilinear operation whose value remains in the carrier; identities among nested triple products control inner derivations and permit Lie or Jordan structures to be encoded without choosing a binary product → the carrier is a vector space and one declared ternary product is linear separately in all three arguments and takes every input triple back into that vector space → encoding tangent algebra of symmetric spaces, relating graded Lie algebras to ternary products, studying bounded symmetric domains, organizing nonassociative algebra, and comparing derivation structures

Applied / In Practice¶

The tangent space at a point of a symmetric space carries a natural Lie triple product, and its inner derivations assemble with the tangent space into a graded Lie algebra. Geometry determines the subclass identities and associated embedding; neither the ambient Lie group nor a chosen binary multiplication is part of every abstract triple system. It qualifies only after the same diagnostic and failure boundary are checked.^[2]

Mapped back: declared instance → recognition test → boundary check → qualified use

Structural Tensions¶

T1: Exact identity vs. practical recognition. The constitutive condition may be exact while evidence is indirect. Diagnostic: Can the reviewer state both the condition and the warrant?
T2: Canonical form vs. variants. generic ternars, Lie and Jordan triple systems, associative-derived products, hermitian forms of Jordan triples, positive and nondegenerate systems, super and graded variants, and Jordan pairs can preserve or change the identity. Diagnostic: Which named role is invariant across the variants?
T3: Compression vs. hidden assumptions. The label is useful only while prerequisites remain visible. Diagnostic: Can each downstream inference be traced to a declared assumption?
T4: Autonomy vs. reduction. The candidate uses broader structures but claims the vector-space-valued trilinear algebraic carrier, not a set of three objects, a scalar-valued trilinear form, a binary algebra with three generators, or the union of Lie and Jordan subclasses alone. Diagnostic: Does that residual still support independent recognition after the parent and neighbors are subtracted?

Structural–Framed Character¶

The entry is structurally mixed but domain-framed. Its portable skeleton is replace a binary composition law with a closed three-input law whose nested identities encode the interactions formerly carried by a larger ambient structure; its identity-bearing terms are vector space, trilinear product, ternary algebra, inner derivation, Lie triple system, Jordan triple system, graded Lie algebra, symmetric space, and Jordan pair. Those terms determine admissible objects, evidence, and consequences inside nonassociative algebra.

Structural Core vs. Domain Accent¶

The structural core is a carrier governed by Three vectors enter one multilinear operation whose value remains in the carrier; identities among nested triple products control inner derivations and permit Lie or Jordan structures to be encoded without choosing a binary product and tested by state the field and characteristic restrictions, verify trilinearity in each slot and closure in the carrier, list any symmetry and nested-product identities, and distinguish the generic triple system from Lie, Jordan, associative-derived, and pair constructions. The domain accent is constitutive rather than decorative, so an analogy that preserves only the skeleton is not another instance of Triple system.

The proposed strict upward parent is prime:function_mapping. The ternary product is literally a function from an ordered triple of vectors to one vector, constrained to be linear in each input; its internal carrier and algebraic identities supply the specialization. The edge is proposal-only and points to a frozen prior-baseline Prime.

The entry does not collapse into the parent because the vector-space-valued trilinear algebraic carrier, not a set of three objects, a scalar-valued trilinear form, a binary algebra with three generators, or the union of Lie and Jordan subclasses alone A thematic neighbor is declined whenever it does not literally subsume that rule.

The prospective workspace queue contains one strict upward edge to prime:function_mapping. No live DAG mutation is authorized.

Relationships to Other Abstractions¶

Current abstraction Triple system Domain-specific

Parents (1) — more general patterns this builds on

Triple system is a kind of Function (Mapping) Prime

The proposed strict upward parent is prime:function_mapping.

Hierarchy path (1) — routes to 1 parentless root

Triple system → Function (Mapping)

Neighborhood in Abstraction Space¶

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

Family — Ambient Structures & Local Geometry (9 abstractions)

Nearest neighbors

Frobenius normal form — 0.91
Outer product — 0.90
Linear map — 0.90
Subrepresentation — 0.90
Linear group — 0.90

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

Not to Be Confused With¶

Lie triple system. A subclass satisfying skew, cyclic, and derivation identities associated with symmetric spaces.
Jordan triple system. A subclass with its own outer-variable symmetry and Jordan triple identity.
Trilinear form. A scalar-valued multilinear map rather than an internal ternary product.
Triple system in combinatorics. A family of three-element blocks such as a Steiner triple system, with no vector-space trilinear operation.

References¶

[1] Nathan Jacobson, 'Lie and Jordan Triple Systems,' American Journal of Mathematics 71(1), 149–170 (1949), DOI 10.2307/2372102. registry ↩a ↩b

[2] Wolfgang Bertram, The Geometry of Jordan and Lie Structures, Lecture Notes in Mathematics 1754, Springer, 2000, ISBN 978-3-540-41426-1. registry ↩a ↩b

[3] Ottmar Loos, 'Jordan Triple Systems, R-Spaces, and Bounded Symmetric Domains,' Bulletin of the American Mathematical Society 77(4), 558–561 (1971), DOI 10.1090/S0002-9904-1971-12753-2. registry ↩