Nombre multicomplexe (Segre)

Les algèbres multicomplexes ℂ_n se construisent par récurrence, en posant ℂ₀ = ℝ comme initialisation. En supposant l’algèbre ℂ_{n−1|n ≥ 1} déjà construite, on introduit une nouvelle unité imaginaire i_n ∉ ℂ_n−1 vérifiant i²
_n = −1 et commutant avec les précédentes unités imaginaires i₁, …, i_n−1 : on définit alors ℂ_n = {x + y i_n | (x,y) ∈ ℂ_n−1²}.

Pour n ≥ 1, 1 et i_n commutent avec tout nombre de ℂ_n−1, et Vect(1,i_n) ∉ ℂ_n−1 (car i_n ∉ ℂ_n−1). La relation ℂ_n = {x + y i_n | (x,y) ∈ ℂ_n−1²} peut donc se réécrire sous la forme du produit tensoriel d'algèbres ℂ_n = ℂ_n−1 ⊗_ℝ Vect(1,i_n). En outre, puisque i²
_n = −1, on a Vect(1,i_n) ≅ ℂ, d’où ℂ_n = ℂ_n−1 ⊗_ℝ ℂ. ℝ étant l’élément neutre de ⊗_ℝ, et donc son produit vide, on a donc :

${\displaystyle \forall n\in \mathbb {N} ,\mathbb {C} _{n}=\underbrace {\mathbb {C} \otimes _{\mathbb {R} }\mathbb {C} \otimes _{\mathbb {R} }\cdots \otimes _{\mathbb {R} }\mathbb {C} } _{n{\text{ facteurs}}}={\bigotimes ^{n}}_{\mathbb {R} }\mathbb {C} \ .}$

• ℂ_n ≅ 𝓜ℂ_2ⁿ.

• Pour n ≥ 1, ℂ₀, …, ℂ_n−1 sont des sous-algèbres de ℂ_n.
• Pour k ≤ n, ℂ_n est de dimension 2^n−k sur ℂ_k.
• Pour n ≥ 1, chaque unité i_k vérifie i²
  _k = −1, donc ℂ_n contient n copies du plan complexe.
• Pour n ≥ 2 et a ≠ b, chaque nombre j_a,b = i_ai_b = i_bi_a vérifie j_a,b² = 1, donc ℂ_n contient n(n−1)/2 copies du plan des complexes déployés.

• (it) Corrado Segre, The real representation of complex elements and hyperalgebraic entities, Mathematische Annalen, 1892, 40:413–467.
• (en) Griffith Baley Price, An Introduction to Multicomplex Spaces and Functions, Marcel Dekker, New York, 1991.