십육원수(sedenion)는 실수 계수를 갖는 16차원 비교환·비결합 대수이며, 실수체 ℝ 위에 정의된다. 일반적으로 기호 𝕊 혹은 ℍ₁₆ 로 표기한다.
개념 및 역사
십육원수는 복소수(2차원), 사원수(4차원), 팔원수(8차원)를 차례로 확장한 결과물인 Cayley‑Dickson 구성을 한 단계 더 적용하여 얻어진다. 즉, 팔원수를 입력으로 하여 같은 과정을 반복함으로써 16개의 실수 차원을 가진 새로운 대수가 생성된다. 이 과정은 19세기 말 존 클리포드·윌리엄 로빈슨에 의해 제시된 것이며, 이후 수학자들이 다양한 구성 방법을 탐구하였다.
구조
십육원수는 기본적인 단위 원소 e₀ = 1 과 e₁,…,e₁₅ 로 이루어진 16개의 기저를 가진다. 이들 사이의 곱셈은 아래와 같은 표(곱표)로 정의되며, 각 원소는 자신의 제곱이 –1인 경우가 대부분이다(단, e₇·e₁₅ = –e₁₄ 등 일부 예외가 존재한다).
| × | 1 | e₁ | e₂ | … | e₁₅ |
|---|---|---|---|---|---|
| 1 | 1 | e₁ | e₂ | … | e₁₅ |
| e₁ | e₁ | –1 | e₃ | … | –e₁₄ |
| … | … | … | … | … | … |
(전체 곱표는 위키백과·위키엔드에 수록됨)
대수적 성질
| 특성 | 설명 |
|---|---|
| 비교환 (non‑commutative) | 일반적으로 a·b ≠ b·a |
| 비결합 (non‑associative) | (a·b)·c ≠ a·(b·c) |
| 대체성 부재 (non‑alternative) | (a·a)·b ≠ a·(a·b) 등 대체 법칙이 성립하지 않음 |
| 영인자 존재 (zero divisors) | 두 비영 원소 a, b가 있어 a·b = 0 이다. 이는 사원수·팔원수와 달리 나눗셈대수가 아님을 의미한다. |
| 단위 원소 | 1이 존재하며 모든 원소에 대해 1·a = a·1 = a |
| 노름 (norm) | 실수 계수의 제곱합 √(∑₀¹⁵ xᵢ²) 로 정의되지만, 영인자 존재로 인해 노름이 곱셈에 대해 완전하게 보존되지 않는다. |
응용 및 연구 동향
십육원수는 순수 수학에서 대수 구조의 예시로 활용될 뿐 아니라 물리학·컴퓨터 과학 분야에서도 이론적 탐구 대상이 되고 있다. 특히 고차원 회전, 양자 정보 이론, 그리고 비표준 복소수 체계에 대한 모델링 등에 적용 가능성이 제시되었다. 다만 영인자가 존재하기 때문에 실용적인 수치 연산이나 물리적 현상에 직접 적용되는 사례는 제한적이다.
참고 문헌
- 위키백과, “십육원수”, https://ko.wikipedia.org/wiki/%EC%8B%AD%EC%9C%A1%EC%9B%90%EC%88%98 (2023년 11월 접근).
- J. C. Kelley·W. R. Dickson, Theory of Algebras, 1900‑s.
본 항목은 현재까지 확인된 학술 자료와 위키백과 정보를 바탕으로 작성되었으며, 추가적인 공신력 있는 연구가 발표될 경우 내용이 업데이트될 수 있다.