수학 에서 스플릿 옥톤 은 실수에 대한 8차원 비 연상 대수다. 표준 옥톤 과 달리, 그것들은 비반복적인 원소를 포함하고 있다. 또한 그들의 2차적 형태 의 서명은 다르다: 분할-옥톤은 분할 서명 (4,4)을 가지고 있는 반면, 옥톤은 양-확정 서명 (8,0)을 가지고 있다.
이소모르피즘까지 8차원 구성 알헤브라는 8차원 구성 알헤브라가 실수에 비해 유일하게 8차원 구성 알헤브라가 된다. 그들은 또한 실수에 대한 유일한 옥토니언 알제브라들 이다. 스플릿옥톤과 유사한 스플릿옥톤 알헤브라는 어떤 분야에서도 정의 될 수 있다.
정의 케이리-딕슨 건설 옥토니언과 스플릿 옥토니언은 쿼터니언 쌍에 대한 곱셈을 정의함으로써 케이리-딕슨 구조 에서 얻을 수 있다. 새로운 상상 단위 ℓ을 소개하고 quaternion (a , b )을 + ℓb 형식으로 쓴다. 제품은 다음 규칙에 의해 정의된다.[1]
( a + ℓ b ) ( c + ℓ d ) = ( a c + λ d ¯ b ) + ℓ ( d a + b c ¯ ) {\displaystyle (a+\ell b)(c+\ell d)=(ac+\ba {d}ba)+\ell(da+b{\c})} 어디에
λ = ℓ 2 . \displaystyle \lambda =\ell ^{2}. } 만약 λ이 -1로 선택된다면, 우리는 8진법을 얻게 된다. 대신, +1로 간주하면 분할옥톤이 나온다. 또한 Cayley-Dickson을 통해 분할 분기의 두 배가 되는 분할 옥톤을 얻을 수 있다. 여기서 λ (±1) 중 어느 하나를 선택하든지 간에 분할 옥토니언은 주어진다.
곱셈표 분할옥톤의 기본 은 세트 {1 , i , j , k , ,, ℓ i , ℓ k, ℓ k } {\ displaystyle \{\, \, \, \\, \el, \, \ell i,\\, \ell j,\\\ell k\} 에 의해 주어진다.
모든 분할-옥톤 x {\displaystyle x} 은(는) 기본 요소의 선형 조합으로 작성할 수 있다 .
x = x 0 + x 1 i + x 2 j + x 3 k + x 4 ℓ + x 5 ℓ i + x 6 ℓ j + x 7 ℓ k , {\displaystyle x=x_{0}+x_{1}\,i+x_{2}\,j+x_{3}\,k+x_{4}\,\ell +x_{5}\,\ell i+x_{6}\,\ell j+x_{7}\,\ell k,},} 실제 계수 x a {\ displaystyle x_{a} 를 사용하여 .
선형성에 의해 분할 옥톤의 곱셈은 다음 곱셈표 에 의해 완전히 결정된다.
곱셈을 하다 1 {\displaystyle 1} i (\displaystyle i} j (\displaystyle j} k (\displaystyle k} ℓ \displaystyle \ell } ℓ i \displaystyle \ell i} ℓ j \displaystyle \ell j} ℓ k \displaystyle \ell k} 곱셈의 1 {\displaystyle 1} 1 {\displaystyle 1} i (\displaystyle i} j (\displaystyle j} k (\displaystyle k} ℓ \displaystyle \ell } ℓ i \displaystyle \ell i} ℓ j \displaystyle \ell j} ℓ k \displaystyle \ell k} i (\displaystyle i} i (\displaystyle i} − 1 {\displaystyle -1} k (\displaystyle k} − j {\displaystyle -j}) − ℓ i -\displaystyle -\ell i} ℓ \displaystyle \ell } − ℓ k -\displaystyle -\ell k} ℓ j \displaystyle \ell j} j (\displaystyle j} j (\displaystyle j} − k (\displaystyle − 1 {\displaystyle -1} i (\displaystyle i} − ℓ j -\displaystyle -\ell j} ℓ k \displaystyle \ell k} ℓ \displaystyle \ell } − ℓ i -\displaystyle -\ell i} k (\displaystyle k} k (\displaystyle k} j (\displaystyle j} − i (\displaystyle -i} − 1 {\displaystyle -1} − ℓ k -\displaystyle -\ell k} − ℓ j -\displaystyle -\ell j} ℓ i \displaystyle \ell i} ℓ \displaystyle \ell } ℓ \displaystyle \ell } ℓ \displaystyle \ell } ℓ i \displaystyle \ell i} ℓ j \displaystyle \ell j} ℓ k \displaystyle \ell k} 1 {\displaystyle 1} i (\displaystyle i} j (\displaystyle j} k (\displaystyle k} ℓ i \displaystyle \ell i} ℓ i \displaystyle \ell i} − ℓ -\displaystyle -\ell } − ℓ k -\displaystyle -\ell k} ℓ j \displaystyle \ell j} − i (\displaystyle -i} 1 {\displaystyle 1} k (\displaystyle k} − j {\displaystyle -j}) ℓ j \displaystyle \ell j} ℓ j \displaystyle \ell j} ℓ k \displaystyle \ell k} − ℓ -\displaystyle -\ell } − ℓ i -\displaystyle -\ell i} − j {\displaystyle -j}) − k (\displaystyle 1 {\displaystyle 1} i (\displaystyle i} ℓ k \displaystyle \ell k} ℓ k \displaystyle \ell k} − ℓ j -\displaystyle -\ell j} ℓ i \displaystyle \ell i} − ℓ -\displaystyle -\ell } − k (\displaystyle j (\displaystyle j} − i (\displaystyle -i} 1 {\displaystyle 1}
편리한 니모닉 은 오른쪽의 도표에 의해 주어지는데, 이것은 분할 옥톤에 대한 곱셈표를 나타낸다. 이 값은 부모 옥토니언(가능한 480개 중 하나)에서 파생된 것으로, 이 옥토니언은 다음과 같이 정의된다.
e i e j = − δ i j e 0 + ε i j k e k , {\displaystyle e_{i}e_{j}=-\cHB _{ij}e_{0}+\varepsilon _{ijk}e_{k}}\,} where δ i j {\displaystyle \delta _{ij}} is the Kronecker delta and ε i j k {\displaystyle \varepsilon _{ijk}} is the Levi-Civita symbol with value + 1 {\displaystyle +1} when i j k = 123 , 154 , 176 , 264 , 257 , 374 , 365 , {\displaystyle ijk=123,154,176,264,257,374,365,} and:
e i e 0 = e 0 e i = e i ; e 0 e 0 = e 0 , {\displaystyle e_{i}e_{0}=e_{0}e_{0}e_{0}e_{i};\,\,\,e_{0}e_{0}=e_{0}}},} e 0 {\ displaystyle e_{0} 스칼라 원소 및 i , j , k = 1...7. {\displaystyle i,j,k=1...7.}
빨간색 화살표는 이 곱셈표와 함께 분할된 옥톤을 생성하는 부모의 오른쪽 하단 사분면을 부정함으로써 부과되는 가능한 방향 반전을 나타낸다.
결합, 정규 및 역수 분할옥토니언 x 의 결합 은 다음과 같다.
x ¯ = x 0 − x 1 i − x 2 j − x 3 k − x 4 ℓ − x 5 ℓ i − x 6 ℓ j − x 7 ℓ k , {\displaystyle {\x}=x_{0}-x_{1}\,i-x_{2}\,j-x_{3}\,k-x_{4}\,\ell -x_{5}\,\ell i-x_{6}\,\ell j-x_{7},\,\ell k,},} 팔분의 일에 관해서라면
x 의 2차 형식 은 다음과 같다.
N ( x ) = x ¯ x = ( x 0 2 + x 1 2 + x 2 2 + x 3 2 ) − ( x 4 2 + x 5 2 + x 6 2 + x 7 2 ) . {\displaystyle N(x)={\bar {x}x=(x_{0}^{2}+x_{1) }^{2}+x_{2 }^{2}+x_{3 }^{2}-(x_{4}^{2}+x_{5) }^{2}+x_{6 }^{2}+x_{7 }^{2}).} 이 2차 형태 N (x )는 N (x ) = 0이 아닌 분할-옥톤 x 가 있기 때문에 등방성 2차 형태 다. N 과 함께 분할-옥톤은 R 에 걸쳐 8차원의 유사-유클리드 공간을 형성하고, 때로는 R 을4,4 써서 2차 형태의 서명을 나타낸다.
N (x )이 0이면 x 는 (양측) 승법 역 x 가−1 다음과 같이 주어진다.
x − 1 = N ( x ) − 1 x ¯ . {\displaystyle x^{-1}=N(x)^{-1}{\bar {x}}. } 특성. 분할-옥톤은 옥톤과 마찬가지로 비확정적이고 연관성이 없다. 또한 옥토니언과 마찬가지로 2차 형태 N이 곱하기 때문에 구성 대수학 을 형성한다. 그것은
N ( x y ) = N ( x ) N ( y ) . [\displaystyle N(xy)=N(x)N(y)] } 스플릿-옥톤은 무방 정체성 을 만족시켜 대체 대수학 을 형성한다. 따라서 아르틴의 정리 로는 어떤 두 원소에 의해 생성되는 아발지브라(subalgebra)가 연상된다. 모든 변환 불가능한 요소들(즉 , N(x ) ≠ 0이 Moufang 루프 를 형성하는 요소들)의 집합.
스플릿옥토니언스의 오토모피즘 그룹은 14차원 리 그룹으로, 예외적으로 단순 한 리 그룹 G 의2 분할 실체 형태 다.
조른의 벡터 매트릭스 대수 분할-옥톤은 연관성이 없기 때문에 일반 행렬로 나타낼 수 없다(매트릭스 곱셈은 항상 연관성이 있다). 조른은 변형된 매트릭스 곱셈을 사용하여 그것들을 스칼라와 벡터를 모두 포함하는 "매트릭스"로 표현하는 방법을 찾았다.[2] 특히 벡터 매트릭스 를 폼의[3] [4] [5] [6] 2×2 매트릭스로 정의하십시오.
[ a v w b ] , {\displaystyle {\bmatrix}a&\mathbf {v}\\\mathbf {w} &b\end{bmatrix},} 여기서 a 와 b 는 실제 숫자, v 와 w는 R 에서3 벡터다. 규칙으로 이러한 행렬의 곱하기 정의
[ a v w b ] [ a ′ v ′ w ′ b ′ ] = [ a a ′ + v ⋅ w ′ a v ′ + b ′ v + w × w ′ a ′ w + b w ′ − v × v ′ b b ′ + v ′ ⋅ w ] {\displaystyle{\begin{bmatrix}a&, \mathbf{v}\\\mathbf{w}&b\end{bmatrix}}{\begin{bmatrix}a'&, \mathbf{v}'\\\mathbf{w}'&, b'\end{bmatrix}}={\begin{bmatrix}aa'+\mathbf{v}\cdot\mathbf{w}'&, a\mathbf{v}'+b'\mathbf{v}+\mathbf{w}\times \mathbf{w}'\\a'\mathbf{w}+b\mathbf{w}'-\mathbf{v}\times \mathbf{v}'&, bb'+\ma.thbf{v}'\cdot \mathbf {w} \end{bmatrix}} 여기서 ·와 ×는 3-벡터의 일반 도트 제품 과 교차 제품 이다. 추가 및 스칼라 곱셈을 평상시와 같이 정의하면 그러한 모든 행렬의 집합은 실제에 걸쳐 연관성이 없는 단일 8차원 대수학을 형성하는데, 이는 조른의 벡터 매트릭스 대수학 이라고 불린다.
규칙에 의한 벡터 매트릭스의 "결정적 " 정의
det [ v w b ] = b - v ⋅ w {\ displaystyle \det{bmatrix}a&\mathbf {v} \\mathbf {w} &b\end{bmatrix}=ab-\mathbf {v} \cdot \mathbf {w }}}. 이 결정요소는 조른의 대수에서 다음과 같은 구성 규칙을 만족하는 2차적 형식이다.
퇴장시키다 ( A B ) = 퇴장시키다 ( A ) 퇴장시키다 ( B ) . [\displaystyle \det(AB)] =\det(A)\det(B). \,} 조른의 벡터 매트릭스 대수학은 사실 분할 옥토니언의 대수학과는 이형성이다. 양식에 8진수 x {\displaystyle x} 작성
x = ( a + v ) + ℓ ( b + w ) {\displaystyle x=(a+\mathbf {v} )+\ell(b+\mathbf {w} )} 여기 서 {\displaystyle a} 및 b {\displaystyle b} 은 (는) 실제 숫자이고 v 와 w 는 R 에서3 벡터로 간주되는 순수한 가상 쿼터다. 스플릿옥토니언에서 조른의 대수까지 이형성은 다음과 같이 주어진다.
x ↦ ϕ ( x ) = [ a + b v + w − v + w a − b ] . {\displaystyle x\mapsto \phi(x)={\matrix}a+b&\mathbf {v}+\mathbf {w}\\\mathbf {v}+\mathbf {w} &a-b\end{bmatrix}}}}. } 이러한 이형성 은 N ( x ) = det ( x ){\displaystyle N(x)=\det(\ phi(x)}} 이후 규범을 보존한다.
적용들 스플릿 옥톤은 물리적 법칙의 설명에 사용된다. 예를 들면 다음과 같다.
물리학의 디락 방정식 (전자나 양성자와 같은 자유 스핀 1/2 입자의 운동 방정식)은 고유 분할 옥토니언 산술로 표현할 수 있다.[7] 초대칭 양자역학 은 8진법의 확장을 가지고 있다.[8] Zorn 기반 분할-옥톤 대수학은 국소 게이지 대칭 SU(3) 양자 색역학 모델링에 사용할 수 있다.[9] 반경 3배의 볼 위에서 미끄러지지 않고 굴러가는 문제는 이 문제를 스플릿 옥토니언으로 설명할 수 있기 때문에 예외적인 그룹2 G의 분할 실형을 대칭군으로서 가지고 있다.[10]
참조 ^ 케빈 맥크림몬(2004) 조던 알헤브라의 맛, 158페이지 유니버시텍스트, 스프링거 ISBN 0-387-95447-3 미스터 2014924 ^ 막스 조른 (1931) "Alternativekörper und Quadratische Systeme", Abhandlungen aus dem Mathematischen Semina der Universitythe Hamburg 9(3/4): 395–402 ^ Nathan Jacobson (1962년) Lie Algebras , 142쪽, Interscience Publishers. ^ Schafer, Richard D. (1966). An Introduction to Nonassociative Algebras . Academic Press . pp. 52–6. ISBN 0-486-68813-5 . ^ 로웰 J. 페이지 (1963) "조단 알헤브라스", A.A.에 의해 편집 된 현대 대수학 연구 144–186페이지. 앨버트, 미국수학협회 : 180페이지의 조른의 벡터 매트릭스 대수학 ^ 아서 A. Sagle & Ralph E. Walde(1973) Lie Groups and Lie Algebras 소개 , 199페이지, Academic Press ^ M. Gogberashvili(2006) "옥토니언 전기역학", 물리학 저널 A 39: 7099-7104. doi :10.1088/0305-4470/39/22/020 ^ V. Dzhunushalliev(2008) "비연관성, 초대칭 및 숨겨진 변수", 수학물리학 저널 49: 042108 doi :10.1063/1.2907868 ; ArXiv :0712.1647 ^ B. Wolk, Adv. Appl. 클리포드 알헤브라스 27(4), 3225(2017). ^ J. 배즈와 J. 후에르타, G2 그리고 롤링볼, 트랜스. 아머. 수학. Soc. 366, 5257-5293(2014), arXiv :1205.2447 .