Седенион
Седенио́н — элемент 16-мерной алгебры над полем вещественных чисел. Каждый седенион — это линейная комбинация элементов [math]\displaystyle{ 1 }[/math], [math]\displaystyle{ e_1 }[/math], [math]\displaystyle{ e_2 }[/math], [math]\displaystyle{ e_3 }[/math], [math]\displaystyle{ e_4 }[/math], [math]\displaystyle{ e_5 }[/math], [math]\displaystyle{ e_6 }[/math], [math]\displaystyle{ e_7 }[/math], [math]\displaystyle{ e_8 }[/math], [math]\displaystyle{ e_9 }[/math], [math]\displaystyle{ e_{10} }[/math], [math]\displaystyle{ e_{11} }[/math], [math]\displaystyle{ e_{12} }[/math], [math]\displaystyle{ e_{13} }[/math], [math]\displaystyle{ e_{14} }[/math] и [math]\displaystyle{ e_{15} }[/math], которая формирует базис векторного пространства седенионов. (Аналогично комплексным числам, двумерной алгебре, где каждое число является комбинацией двух элементов и имеет вид: [math]\displaystyle{ a + bi }[/math]).
Как и в случае октонионов, умножение седенионов не является ни коммутативным, ни ассоциативным. В отличие от октонионов, седенионы не обладают и свойством альтернативности. Тем не менее седенионы обладают свойством степенной ассоциативности. Кроме того, для седенионов не выполняется тождество восьми квадратов, имеющее место для октонионов, кватернионов, комплексных и вещественных чисел.
Есть единичный элемент, есть обратные элементы, но нет алгебры деления. Это происходит из-за того, что есть делители нуля, то есть существуют два ненулевых элемента, при перемножении которых получится нулевой результат: например, [math]\displaystyle{ (e_3+e_{10})\times(e_6-e_{15}) }[/math].
Множество седенионов обычно обозначается как [math]\displaystyle{ \mathbb{S} }[/math].
Таблица умножения элементов:
× | 1 | e1 | e2 | e3 | e4 | e5 | e6 | e7 | e8 | e9 | e10 | e11 | e12 | e13 | e14 | e15 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | 1 | e1 | e2 | e3 | e4 | e5 | e6 | e7 | e8 | e9 | e10 | e11 | e12 | e13 | e14 | e15 |
e1 | e1 | −1 | e3 | −e2 | e5 | −e4 | −e7 | e6 | e9 | −e8 | −e11 | e10 | −e13 | e12 | e15 | −e14 |
e2 | e2 | −e3 | −1 | e1 | e6 | e7 | −e4 | −e5 | e10 | e11 | −e8 | −e9 | −e14 | −e15 | e12 | e13 |
e3 | e3 | e2 | −e1 | −1 | e7 | −e6 | e5 | −e4 | e11 | −e10 | e9 | −e8 | −e15 | e14 | −e13 | e12 |
e4 | e4 | −e5 | −e6 | −e7 | −1 | e1 | e2 | e3 | e12 | e13 | e14 | e15 | −e8 | −e9 | −e10 | −e11 |
e5 | e5 | e4 | −e7 | e6 | −e1 | −1 | −e3 | e2 | e13 | −e12 | e15 | −e14 | e9 | −e8 | e11 | −e10 |
e6 | e6 | e7 | e4 | −e5 | −e2 | e3 | −1 | −e1 | e14 | −e15 | −e12 | e13 | e10 | −e11 | −e8 | e9 |
e7 | e7 | −e6 | e5 | e4 | −e3 | −e2 | e1 | −1 | e15 | e14 | −e13 | −e12 | e11 | e10 | −e9 | −e8 |
e8 | e8 | −e9 | −e10 | −e11 | −e12 | −e13 | −e14 | −e15 | −1 | e1 | e2 | e3 | e4 | e5 | e6 | e7 |
e9 | e9 | e8 | −e11 | e10 | −e13 | e12 | e15 | −e14 | −e1 | −1 | −e3 | e2 | −e5 | e4 | e7 | −e6 |
e10 | e10 | e11 | e8 | −e9 | −e14 | −e15 | e12 | e13 | −e2 | e3 | −1 | −e1 | −e6 | −e7 | e4 | e5 |
e11 | e11 | −e10 | e9 | e8 | −e15 | e14 | −e13 | e12 | −e3 | −e2 | e1 | −1 | −e7 | e6 | −e5 | e4 |
e12 | e12 | e13 | e14 | e15 | e8 | −e9 | −e10 | −e11 | −e4 | e5 | e6 | e7 | −1 | −e1 | −e2 | −e3 |
e13 | e13 | −e12 | e15 | −e14 | e9 | e8 | e11 | −e10 | −e5 | −e4 | e7 | −e6 | e1 | −1 | e3 | −e2 |
e14 | e14 | −e15 | −e12 | e13 | e10 | −e11 | e8 | e9 | −e6 | −e7 | −e4 | e5 | e2 | −e3 | −1 | e1 |
e15 | e15 | e14 | −e13 | −e12 | e11 | e10 | −e9 | e8 | −e7 | e6 | −e5 | −e4 | e3 | e2 | −e1 | −1 |
Ссылки
- Ян Стюарт (Ian Stewart). Недостающее звено = The missing link… // New Scientist. — 2002. — Т. 176, вып. 2368. — С. 30.