Bicomplex Number

Extend complex arithmetic with a second commuting imaginary unit, producing a four-real-dimensional commutative algebra whose idempotent decomposition reveals two coupled complex components and zero divisors.

Version

v4 · 2026-09-19 · History

Domain-specific #

1376

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomains

Abstract Algebra, Hypercomplex Number Systems → Mathematics

Aliases

Bicomplex numbers, Tessarine algebra

Core Idea

A bicomplex number extends the complex numbers by adjoining a second imaginary unit that commutes with the first. If (i^2=j2=-1) and (ij=ji=k), then (k^2=+1), and every bicomplex number has the form

\[ w=a+bi+cj+dk=z_1+jz_2, \qquad a,b,c,d\in\mathbb R, \]

with \(z_1,z_2\in\mathbb C(i)\). Addition is componentwise and multiplication follows the stated unit relations. The resulting object is a commutative, associative, unital algebra of dimension two over \(\mathbb C\) and dimension four over \(\mathbb R\).

How would you explain it like I'm…

Two-Seat Numbers

Imagine a special number that is really two numbers riding together in a two-seat car. When you add or multiply two of these cars, each seat just works with the matching seat in the other car. But there's a catch: if one seat is empty and the other isn't, you can't undo multiplying by that car, even though the car isn't completely empty.

Two Complex Numbers Side by Side

Complex numbers use a special number i where i × i = −1. Bicomplex numbers add a second special number j, also with j × j = −1, and i and j can be multiplied in either order. Their product k = ij has the surprising property k × k = +1. Every bicomplex number is built from four ordinary numbers. A clever trick shows each bicomplex number is really a pair of complex numbers that get added and multiplied separately. Because of this, some bicomplex numbers that aren't zero still can't be divided by, which is different from normal and complex numbers.

Commuting Two-Unit Complex Algebra

A bicomplex number extends the complex numbers by adding a second imaginary unit j that commutes with i, where i² = j² = −1 and k = ij = ji satisfies k² = +1. Every bicomplex number can be written w = a + bi + cj + dk with real a, b, c, d, or as z₁ + j z₂ with complex z₁, z₂. Using the elements e₊ = (1 + k)/2 and e₋ = (1 − k)/2, which multiply like independent 'switches' (e₊² = e₊, e₋² = e₋, e₊e₋ = 0, e₊ + e₋ = 1), any bicomplex number splits uniquely into two complex components. Arithmetic then happens separately in each component, so the system is really a copy of pairs of complex numbers. That makes it commutative and associative, but it is not a field: a nonzero number with one component zero has no inverse.

 

Bicomplex numbers adjoin to ℂ(i) a second imaginary unit j with j² = −1 commuting with i, so k = ij = ji is a hyperbolic unit with k² = +1. Elements have the form w = a + bi + cj + dk = z₁ + jz₂ with a, b, c, d real and z₁, z₂ ∈ ℂ(i), with componentwise addition and multiplication determined by the unit relations. The result is a commutative, associative, unital algebra of dimension 2 over ℂ and 4 over ℝ. The key structure comes from e₊ = (1 + k)/2 and e₋ = (1 − k)/2, which are orthogonal idempotents summing to 1. Every element decomposes uniquely as w = w₊e₊ + w₋e₋ with w₊, w₋ ∈ ℂ, identifying the algebra with ℂ ⊕ ℂ and making arithmetic componentwise. This exposes the null cone of zero divisors: a nonzero element is non-invertible exactly when one idempotent component vanishes. Thus bicomplex numbers resemble complex numbers in form but are not a field, and unlike quaternions they are commutative.

Scope of Application

Bicomplex numbers are studied in hypercomplex algebra, bicomplex analysis, functional analysis with bicomplex scalars, operator theory, polynomial theory, and mathematical physics. They provide a commutative enlargement of complex analysis in which idempotent coordinates often reduce a bicomplex problem to two complex problems. Rönn's treatment develops bicomplex algebra and function theory from this structure.

Applications exploit the capacity to encode two complex components while retaining multiplication. The source literature includes bicomplex signal processing and adaptive filters, where additional involutions and augmented representations can model multichannel or improper complex signals, and operator theory on bicomplex Hilbert or Banach modules.

Clarity

Fix the unit convention before calculating. A common notation writes (i_1^2=i_22=-1) and (j=i_1i_2), so (j^2=+1). Other texts use (j) for the second imaginary unit and (k) for the hyperbolic product. Statements that appear contradictory may simply rename the units.

Manages Complexity

Direct manipulation of four basis coefficients produces many cross terms. The idempotent basis diagonalizes multiplication: two orthogonal components do not interact because (e_+e_-=0). Polynomial equations, exponentials, holomorphicity conditions, linear systems, and spectral questions can frequently be decomposed into paired complex problems.

This simplification comes with a controlled singular set. Division and analytic identities that assume a field fail on zero divisors.

Abstract Reasoning

Basis expansion. Reduce products using (i^2=j2=-1), (ij=ji=k), and (k^2=1). This proves closure and the multiplication table.

Idempotent decomposition. Project onto (e_+) and (e_-), solve two complex component equations, and recombine. This is the standard canonical reduction.

Unit and zero-divisor test. A bicomplex number is a unit exactly when neither idempotent coordinate vanishes.

Knowledge Transfer

Within mathematics, the idempotent method transfers to commutative algebras that decompose into orthogonal ideals, to multicomplex systems, and to modules over rings with zero divisors. It offers a concrete example of how a canonical form can turn one apparently richer operation into parallel operations on familiar factors.

The generic residues—ring, direct sum, canonical form, and isomorphism—travel widely. The bicomplex identity does not: it requires two commuting imaginary units and their particular algebra. It is therefore a domain-specific mathematical object rather than a prime abstraction.

Relationships to Other Abstractions

Current abstraction Bicomplex Number Domain-specific

Parents (1) — outgoing typed relations

• Bicomplex Number is a kind of Ring Domain-specific

  ring: bicomplex numbers form a commutative ring with identity and zero divisors.

Hierarchy paths (5) — routes to 5 parentless roots

• Bicomplex Number → is a kind of Ring → includes Group → is a kind of Monoid → is a kind of Semigroup → is a kind of Set and Membership

Show alternative paths (4)

Neighborhood in Abstraction Space

Bicomplex Number 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 (2769 abstractions)

Nearest neighbors

• Cellular algebra — 0.82
• Associative algebra — 0.82
• Spectrum of a C*-Algebra — 0.81
• Hyperbolic quaternion — 0.81
• Complex conjugate — 0.81

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