Чотиривимірні гіперкомплексні числа

Чотиривимірні гіперкомплексні числа — гіперкомплексні числа з трьома уявними одиницями.

Тобто числа виду ${\displaystyle \ a+bi+cj+dk,}$

де

${\displaystyle \ a,b,c,d}$ — дійсні числа;

${\displaystyle \ i,j,k}$  — уявні одиниці,

${\displaystyle \ I=bi+cj+dk}$  — уявна частина.

Всі 3*3 взаємних добутків уявних одиниць є деякими чотиривимірними гіперкомплексними числами, наприклад:

${\displaystyle ij=a+bi+cj+dk}$

Погрупувавши доданки

${\displaystyle (i-c)(j-b)=(a+cb)+dk}$

Після заміни змінних, отримаємо:

${\displaystyle ij=k}$

Тому довільне чотиривимірне гіперкомплексне число можна записати рекурсивно:

${\displaystyle \ (a+bi)+(c+di)j}$.

Додавання і множення гіперкомплексних чисел повинно бути узгодженим з традиційним додаванням і множенням дійсних чисел.

Дійсні числа в даній гіперкомплексній системі мають вигляд ${\displaystyle \ a+0I.}$

• ${\displaystyle \ (a_{1}+I_{1})+(a_{2}+I_{2})=(a_{1}+a_{2})+(I_{1}+I_{2})}$ — додавання,
• ${\displaystyle \ (a_{1}+I_{1})\cdot (a_{2}+I_{2})=a_{1}a_{2}+(a_{1}I_{2}+a_{2}I_{1})+I_{1}I_{2}}$ — множення (може бути не комутативним і не асоціативним).

Щоб була хоча б одна з найслабших форм асоціативності — степенева асоціативність:

${\displaystyle z\cdot z^{2}=z^{2}\cdot z}$

${\displaystyle z^{2}=(a+I)(a+I)=(a^{2}+2aI)+I^{2}}$

достатньо комутативності множення або степеневої асоціативності для ${\displaystyle I}$.

Другого легко досягти при:

${\displaystyle I^{2}=(bi+cj+dk)^{2}=b^{2}i^{2}+c^{2}j^{2}+d^{2}k^{2}+bc(ij+ji)+bd(ik+ki)+cd(jk+kj)\in \mathbb {R} \quad \forall a,b,c}$

Почергово зануляючи всі числа окрім одного отримаємо:

${\displaystyle ij+ji=ik+ki=jk+kj=0}$ — антикомутативність добутків ${\displaystyle i,j,k}$

${\displaystyle i^{2}=a_{ii}\in \mathbb {R} }$

${\displaystyle j^{2}=a_{jj}\in \mathbb {R} }$

${\displaystyle k^{2}=a_{kk}\in \mathbb {R} }$

• Використавши ще одну із слабких форм асоціативності — альтернативність, отримаємо:

Розглядаючи тільки варіанти з ${\displaystyle i^{2}=-1}$, отримаємо комутативність тільки при ${\displaystyle j^{2}=-k^{2}}$

• Виконавши множення в різному порядку отримаємо асоціативність:

${\displaystyle ijk=jki=kij=a_{kk}}$

${\displaystyle kji=ikj=jik=a_{ii}a_{jj}}$

При відсутності альтернативності, не можливо вивести одні добутки із інших, але легко побачити степенево-асоціативну систему:

• ${\displaystyle a_{ii}=a_{jj}=a_{kk}=+1}$ гіперболічні кватерніони

${\displaystyle ij=k=-ji}$

${\displaystyle jk=i=-kj}$

${\displaystyle ki=j=-ik}$

${\displaystyle i^{2}}$	${\displaystyle j^{2}}$	${\displaystyle k^{2}}$	Назва	${\displaystyle ij=ji}$	${\displaystyle ij=-ji}$	${\displaystyle \ z,w\in \mathbb {C} ,\quad i_{2}^{2}=-1,\epsilon ^{2}=0}$	Примітки
-1	-1	-1	кватерніони	✗	Так	${\displaystyle z+w\cdot i_{2}}$
-1	-1	+1	бікомплексні числа	Так	✗	${\displaystyle z+w\cdot i_{2}}$	комутативні кватерніони
-1	+1	-1	тессаріни	Так	✗	${\displaystyle z+w\cdot j}$	ізоморфні бікомплексним числам
-1	+1	+1	спліт-кватерніони	✗	Так	${\displaystyle z+w\cdot j}$
-1	0	0	дуальні комплексні числа	✗	Так	${\displaystyle z+w\cdot \epsilon }$
+1	+1	+1	гіперболічні кватерніони	✗	Так