Бікомплексні числа

Насправді ж навпаки, в 1892 бікомплексні числа визначили за допомогою подвоєння комплексних чисел (замінивши їх дійсні частини на комплексні). Але на відміну від кватерніонів, вимагали збереження комутативності множення.

Хоча, дещо раніше в 1848, описали схожу алгебру тессарінів, вимагаючи тільки: комутативність, ${\displaystyle i^{2}=-1,\;\;j^{2}=+1}$.

Бікомплексні числа утворюють комутативне кільце, тобто, множення є асоціативним, комутативним та дистрибутивним відносно додавання.

Але не є тілом чи полем, оскільки мають дільники нуля.

• ${\displaystyle \ (A+Bi_{2})(C+Di_{2})=(AC-BD)+(AD+BC)i_{2}}$

В бікомплексних числах, як і в подвійних числах, присутня уявна одиниця ${\displaystyle \ j^{2}=+1,}$ отже, також існують два ортогональні ідемпотентні елементи:

${\displaystyle e_{1}={1+j \over 2},\quad e_{2}={1-j \over 2}\qquad \Rightarrow \qquad {\begin{cases}e_{1}e_{1}=e_{1}\\e_{2}e_{2}=e_{2}\\e_{1}e_{2}=0\end{cases}},}$

які можна використати як альтернативний базис. Бікомплексні числа переводяться в діагональний базис так:

${\displaystyle \ A+Bi_{2}=(A-Bi_{1})e_{1}+(A+Bi_{1})e_{2}={\Big (}a+d+(b-c)i_{1}{\Big )}e_{1}\;+\;{\Big (}a-d+(b+c)i_{1}{\Big )}e_{2}={\tilde {A}}e_{1}+{\tilde {B}}e_{2}}$

У даному базисі додавання, множення та ділення обчислюються покомпонентно. Ділення не визначене коли ${\displaystyle {\tilde {A}}}$ чи ${\displaystyle {\tilde {B}}}$ рівні нулю.

• тессаріни

• Кантор И. Л., Солодовников А. С. Гиперкомплексные числа. — Москва : Наука, 1973. — 144 с.(рос.)