Hyperbolic quaternion¶

Extend real scalars by three anticommuting square-\(+1\) units, producing a four-dimensional unital nonassociative algebra whose associator and quadratic form distinguish it from Hamilton and split quaternions.

Version: v2 · 2026-09-19 · History
Domain-specific #: 2030
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Historical Hypercomplex Number Systems → Mathematics
Aliases: Cockle hyperbolic quaternion, Hyperbolic quaternion algebra

Core Idea¶

A hyperbolic quaternion is an element \(q=a+bi+cj+dk\) of a four-dimensional real algebra with unit \(1\), generator squares \(i^2=j^2=k^2=+1\), and anticommuting cyclic products such as \(ij=k=-ji\), \(jk=i=-kj\), and \(ki=j=-ik\). Those rules are historically associated with James Cockle's nineteenth-century hypercomplex systems. Because the square signs and cyclic rules conflict with associativity, the algebra is nonassociative; parentheses are load-bearing in products of three or more factors.

How would you explain it like I'm…

No faithful explanation at this level. A picture simple enough for a five-year-old turns into 'numbers with four parts' or 'order matters'. It hides the real point: the units square to plus one, and grouping three or more factors changes the answer.

Brackets-Matter Numbers

A Hyperbolic quaternion is a number built from four parts: a plain number plus amounts of three special units, i, j and k. Each special unit times itself gives +1, and multiplying them in a circle works like i times j gives k, while j times i gives minus k. These rules clash with each other in a surprising way: (i times j) times j is not the same as i times (j times j). So brackets really matter here, unlike with ordinary numbers. These are different from the more famous quaternions, where each unit times itself gives minus one.

Nonassociative Plus-Square Quaternions

A Hyperbolic quaternion has the form a + bi + cj + dk, with i² = j² = k² = +1 and ij = k = −ji, jk = i = −kj, ki = j = −ik. These rules are tied to James Cockle's nineteenth-century number systems. You can check that grouping matters: (ij)j = kj = −i, but i(jj) = i·1 = i. Because the two results differ, the algebra is nonassociative, so brackets cannot be dropped. Be careful: Hamilton's quaternions have all three squares equal to −1 and do obey associativity. Split quaternions are a different, associative system too. Only the multiplication table tells you which system is meant.

Hyperbolic quaternions form a four-dimensional real algebra with unit 1 and basis i, j, k. The defining table is i² = j² = k² = +1, with anticommuting cyclic products ij = k = −ji, jk = i = −kj, ki = j = −ik, a convention associated with James Cockle. Multiplication of general elements follows by bilinear expansion from this table. The sign pattern is incompatible with associativity, as one explicit associator shows: (ij)j = −i while i(jj) = i, a difference of −2i. Some other triples happen to associate, so nonassociativity has to be shown by a counterexample rather than inferred from one product. Conjugation negates the imaginary parts, and q times its conjugate yields an indefinite quadratic expression, not Hamilton's positive norm. The algebra must be kept distinct from Hamilton's quaternions (squares −1, associative) and from split quaternions or coquaternions (associative matrix algebra with another sign pattern). Since the name is used loosely in modern literature, the multiplication table should be stated before borrowing results about inverses, rotations or exponentials.

Scope of Application¶

The abstraction is literal wherever practitioners can identify the same constitutive roles, apply the same boundary tests, and obtain the same kind of output. The following habitats are uses of Hyperbolic quaternion itself, not metaphors based only on resemblance.

History of hypercomplex numbers. Studying Cockle's alternatives to Hamilton's quaternions.
Nonassociative algebra. Using associators and multiplication tables to classify small real algebras.
Quadratic-form analysis. Examining indefinite conjugation forms and zero divisors.
Convention comparison. Separating Cockle, split-quaternion, Clifford, and matrix presentations.
Symbolic computation. Expanding products while retaining explicit parentheses.
Historical physics. Interpreting proposed spacetime analogies without assigning them modern canonical status.

Clarity¶

A clear account of Hyperbolic quaternion must preserve the recognition invariant stated in the Core Idea rather than rely on the title alone. Display the full generator square and ordered-product table before using the term. State whether multiplication is associative, alternative, flexible, or none of these under the chosen convention. Parenthesize every product of three or more factors and compute associators explicitly. Do not transfer split-quaternion matrix formulas or Hamilton norms without verifying an algebra homomorphism.

Manages Complexity¶

Hyperbolic quaternion manages complexity by replacing a diffuse field of observations or possible operations with a bounded role structure: real scalar field supplies real coefficients support addition and scalar multiplication.; four-dimensional basis supplies the elements 1, i, j, and k provide unique coordinate expansion.; unit element supplies the scalar basis element acts as a two-sided multiplicative identity.; square rules supplies each nonreal generator squares to plus one in the Cockle convention.; cyclic products supplies ordered products of distinct generators return the third with orientation-dependent sign..

Abstract Reasoning¶

Fix a basis and the coefficient field.
Declare generator squares and every oriented product of distinct generators.
Extend the table bilinearly to arbitrary coordinate tuples.
Test the unit, commutators, associators, conjugation, and quadratic expression.
Locate zero divisors or noninvertible elements rather than assuming division-algebra properties.
Compare invariants with Hamilton and split quaternions before assigning an alias.
Restrict geometric or physical interpretation to the verified algebraic convention.

Knowledge Transfer¶

The strict upward abstraction is Vector Space. Hyperbolic Quaternion instantiates Vector Space because its underlying carrier is a four-dimensional real vector space, enriched by a multiplication that is not present in the parent abstraction. Within historical hypercomplex number systems, the full mechanism transfers literally when the same roles and boundary tests recur. Beyond that domain, only the parent-level skeleton should travel. Reusing the label Hyperbolic quaternion after removing its constitutive vocabulary would hide a change of mechanism behind an analogy. The honest transfer rule is therefore two-stage: recognize the domain-specific pattern first, then lift only the parent relation that remains invariant under a substrate change.

Relationships to Other Abstractions¶

Current abstraction Hyperbolic quaternion Domain-specific

Parents (1) — outgoing typed relations

Hyperbolic quaternion is a kind of Vector Space Prime

Hyperbolic Quaternion instantiates Vector Space because its underlying carrier is a four-dimensional real vector space, enriched by a multiplication that is not present in the parent abstraction.

Hierarchy path (1) — routes to 1 parentless root

Hyperbolic quaternion → is a kind of Vector Space → presupposes Set and Membership

Neighborhood in Abstraction Space¶

Hyperbolic quaternion sits in a sparse region of the domain-specific corpus (73^rd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

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