[논문 리뷰] Linear Mappings of Free Algebra

Aleks Kleyn|arXiv (Cornell University)|2010. 03. 08.

Polynomial and algebraic computation참고 문헌 5인용 수 11

한 줄 요약

이 논문은 덧셈을 갖춘 보편 대수학에서 사상의 행렬을 사용하여 덧셈 방정식의 연립방정식을 해결하는 새로운 프레임워크를 제안한다. 이는 필드 위의 선형 대수학을 비결합적이고 비교환적인 설정으로 일반화한다. 공리적이고 비교환적인 환 위에서 선형 사상은 텐서곱 $A \otimes A$를 통해 표현될 수 있으며, 이는 복소수, 허수, 옥터니온의 공액을 포함한 복잡한 선형 연립방정식을 해결하는 데 응용된다. 특히, 12×12 연립방정식을 통해 허수 공액의 닫힌 형태 표현식을 유도한다: $\overline{z} = -\frac{1}{6}(z + (iz)i + (jz)j + (kz)k + ((il)z)(il) + ((jl)z)(jl) + ((kl)z)(kl))$. 이 방법은 옥터니온과 분할 대수학으로 확장되어 비결합 대수학에서 선형 변환을 통합적으로 다룰 수 있는 접근법을 제공한다.

ABSTRACT

For arbitrary F-algebra, in which the operation of addition is defined, I explore biring of matrices of mappings. The sum of matrices is determined by the sum in F-algebra, and the product of matrices is determined by the product of mappings. The system of equations, whose matrix is a matrix of mappings, is called a system of additive equations. I considered the methods of solving system of additive equations. As an example, I consider the solution of a system of linear equations over the complex field provided that the equations contain unknown quantities and their conjugates. Linear mappings of algebra over a commutative ring preserve the operation of addition in algebra and the product of elements of the algebra by elements of the ring. The representation of tensor product A\otimes A in algebra A generates the set of linear transformations of algebra A. The results of this research will be useful for mathematicians and physicists who deal with different algebras.

연구 동기 및 목표

• 덧셈을 갖춘 보편 대수학에서 사상의 행렬 형식을 도입하여 결합 대수학을 초월한 선형 대수학을 일반화한다.
• 복소수 체 위에서 변수와 그 공액을 모두 포함한 연립방정식을 해결하기 위해 새로운 종류의 덧셈 방정식을 제안한다.
• 결합적이고 비결합적인 대수학에서, 공리적 환 위에서 선형 사상의 표현을 텐서곱 $A \otimes A$를 통해 수립한다.
• 허수와 옥터니온에서 공액의 명시적 공식을 $\mathbb{C}$와 $\mathbb{H}$ 위의 선형 연립방정식을 통해 도출한다.
• 이중선형 사상과 쿼드리드어터미넌트를 기반으로 한 일관된 대수적 프레임워크를 통해 분할 대수학에서 선형 변환의 처리를 통합한다.

제안 방법

• 행렬 사상의 이링을 정의하며, 행렬 덧셈은 대수의 덧셈을 따르고, 행렬 곱셈은 사상의 합성에 따르게 한다.
• 미지수들이 덧셈을 갖춘 보편 대수학의 원소이고 계수들이 스칼라가 아니라 사상인 덧셈 방정식의 개념을 도입한다.
• 공리적 환 위에서 대수 $A$의 선형 사상을 텐서곱 $A \otimes A$의 원소로 표현하며, 작용은 $(a \otimes b) \circ x = axb$로 정의한다.
• 특히 비교환적 환에서의 연립방정식 분석을 위해 쿼드리드어터미넌트를 사용한다.
• 기저에 대한 공액 사상의 작용으로부터 유도된 12×12 선형 연립방정식의 행렬 표현을 기반으로, 옥터니온의 공액을 위한 12×12 연립방정식을 구성한다.
• 사상 계수에 특정 값을 가정하고, 정규화 계수 $-1/6$를 도출함으로써 공액을 왜곡된 곱셈의 선형 조합으로 표현한다.

실험 결과

연구 질문

• RQ1 변수와 그 공액을 모두 포함한 연립방정식은 어떤 체계적인 대수적 프레임워크에서 해결될 수 있는가?
• RQ2 공리적 환 위에서 대수 $A$의 선형 사상을 표현하는 데 있어 텐서곱 $A \otimes A$의 역할은 무엇인가?
• RQ3 허수와 옥터니온의 공액 사상은 사상의 행렬 형식을 통해 왜곡된 곱셈의 선형 조합으로 표현될 수 있는가?
• RQ4 덧셈 방정식 이론은 결합 대수학을 초월하여 옥터니온과 같은 비결합 분할 대수학으로 어떻게 확장될 수 있는가?
• RQ5 선형 사상의 모듈 $\mathcal{L}(A;A)$의 정확한 대수적 구조는 무엇이며, 이는 $A$의 비교환성에 따라 어떻게 달라지는가?

주요 결과

• 옥터니온의 공액 사상은 8개의 왜곡된 곱셈을 포함하는 선형 조합으로 표현되며, 이들의 계수는 12×12 연립방정식의 해를 통해 유도된다.
• 공액 공식의 정규화 계수는 $-1/6$이며, 이는 연립방정식 $12f^{\boldsymbol{00}} = -f_7^0 + f_6^1 - f_5^2 - f_4^3 - 5f_3^4 + f_2^5 - f_1^6 - f_0^7$ 및 유사한 방정식의 해로부터 유도된다.
• 공액을 위한 연립방정식은 $f^{\boldsymbol{00}} = f^{\boldsymbol{11}} = \cdots = f^{\boldsymbol{77}} = -1/6$를 유도하여 해의 대칭성을 확인한다.
• 공식 $\overline{z} = -\frac{1}{6}(z + (iz)i + (jz)j + (kz)k + ((il)z)(il) + ((jl)z)(jl) + ((kl)z)(kl))$는 옥터니온 공액의 닫힌 형태 표현식으로 도출된다.
• 스칼라 곱셈을 사상의 합성으로 대체함으로써 이 프레임워크는 복소수, 허수, 옥터니온의 설정에서 덧셈 방정식을 해결할 수 있도록 선형 대수학을 비결합 대수학으로 성공적으로 일반화한다.
• 쿼드리드어터미넌트 이론과 사상의 행렬 형식은 비교환성 및 비결합성의 맥락에서도 선형 변환을 분석하는 데 일관된 도구를 제공한다.