[논문 리뷰] Free associative algebras, noncommutative Grobner bases, and universal associative envelopes for nonassociative structures

Murray R. Bremner|arXiv (Cornell University)|2013. 03. 04.

Advanced Topics in Algebra인용 수 4

한 줄 요약

이 논문은 자유 결합 대수에서 비가환 Gröbner 기저를 적용하여 다중선형 연산, 특히 삼중선형 연산으로 정의된 비결합 대수적 구조에 대한 일반적인 결합 대수적 환경을 구성한다. 이는 이전의 2차원 결합 삼중체계에 대한 연구를 4차원 및 6차원의 경우로 확장하며, 계산 대수학을 통해 이론의 효과성을 명시적인 구성과 알고리즘적 검증을 통해 입증한다.

ABSTRACT

These are the lecture notes from my short course of the same title at the CIMPA Research School on Associative and Nonassociative Algebras and Dialgebras: Theory and Algorithms - In Honour of Jean-Louis Loday (1946-2012), held at CIMAT, Guanajuato, Mexico, February 17 to March 2, 2013. The underlying motivation is to apply the theory of noncommutative Grobner bases in free associative algebras to the construction of universal associative envelopes for nonassociative structures defined by multilinear operations. Trilinear operations were classified by the author and Peresi in 2007. In her Ph.D. thesis of 2012, Elgendy studied the universal associative envelopes of nonassociative triple systems obtained by applying these trilinear operations to the 2-dimensional simple associative triple system. In these notes I use computer algebra to extend some aspects of her work to the 4-dimensional and 6-dimensional simple associative triple systems.

연구 동기 및 목표

• 비가환 Gröbner 기저를 활용한 알고리즘적 프레임워크를 개발하여 다중선형 연산으로 정의된 비결합 대수의 일반적인 결합 대수적 환경을 구성한다.
• Elgendy(2012)의 2차원 결합 삼중체계에 대한 연구를 고차원 사례(4차원 및 6차원)로 확장한다.
• 비결합 대수의 비결합 구조에서 비가환 Gröbner 기저 이론을 적용하는 데 도움이 되는 계산 도구와 예제를 제공한다.
• 특히 삼중선형 연산으로 정의된 비결합 대수에 대한 일반적인 결합 대수적 환경 이론의 열린 문제를 다룬다.
• 컴퓨터 대수 시스템이 비결합 대수적 구조와 그들의 결합 대수적 환경을 탐색하는 데 어떻게 활용될 수 있는지 보여준다.

제안 방법

• 자유 결합 대수에서 비가환 Gröbner 기저 이론을 활용하여 비결합 구조의 일반적인 결합 대수적 환경을 정의하고 계산한다.
• Composition (Diamond) 보조정리를 적용하여 리 대수에 대한 Poincaré-Birkhoff-Witt (PBW) 정리를 검증하고 비결합 사례로 확장한다.
• 계산 대수 기법을 사용하여 비결합 삼중체계의 관계를 표현하는 자유 결합 대수 내의 아이디얼을 구성한다.
• 컴퓨터 대수 시스템을 사용하여 이러한 아이디얼의 Gröbner 기저를 계산함으로써, 자유 결합 대수의 몫으로서 일반적인 결합 대수적 환경을 식별한다.
• Bremner와 Peresi(2007)의 삼중선형 연산 분류를 적용하여 비결합 삼중체계의 정의 관계를 정의한다.
• 모든 결합 대수적 환경이 일반적인 환경을 통과한다는 보편 성질을 통해 구성된 환경의 보편성을 검증한다.

실험 결과

연구 질문

• RQ1 다중선형 연산으로 정의된 비결합 대수에 대해 비가환 Gröbner 기저를 체계적으로 적용하여 일반적인 결합 대수적 환경을 구성할 수 있는가?
• RQ2 4차원 및 6차원 단순 결합 삼중체계에 대한 일반적인 결합 대수적 환경의 구조는 어떠한가?
• RQ3 2차원 삼중체계에 사용된 계산 프레임워크를 유사한 알고리즘적 효율성으로 고차원 사례로 확장할 수 있는가?
• RQ4 자연스러운 사상이 조르단 대수에서 그 일반적인 결합 대수적 환경으로의 사상이 단사가 아니라는 점의 함의는 무엇이며, 이는 특수한 vs. 예외적인 조르단 대수의 분류에 어떻게 영향을 미치는가?
• RQ5 비가환 Gröbner 기저 이론은 다이알제브라, 덴드리포드 대수, 쿼드리알제브라로 어떻게 일반화될 수 있는가?

주요 결과

• n차원 아벨 리 대수의 일반적인 결합 대수적 환경은 다항식 대수 $F[x_1, \tdots, x_n]$과 동형이며, 이는 기존 결과와의 일致성을 보여준다.
• 곱이 항상 0인 n차원 아벨 조르단 대수의 일반적인 결합 대수적 환경은 외적 대수 $\bigwedge(x_1, \tdots, x_n)$이며, 차원은 $2^n$이다. 이는 메서드가 조르단 사례에서 정확함을 확인한다.
• 논문은 Elgendy의 2차원 결합 삼중체계 연구를 4차원 및 6차원 사례로 성공적으로 확장하였으며, 자유 결합 대수에서 정의 관계에 대한 명시적 Gröbner 기저 계산을 제공한다.
• 비가환 Gröbner 기저를 통한 일반적인 결합 대수적 환경의 구성은 일반적으로 무한차원 대수를 유도하며, PBW 정리와 기존에 알려진 일반적인 포함 대수의 무한차원성과 일致한다.
• 이 방법은 비결합 대수에서 일반적인 결합 대수적 환경으로의 자연스러운 사상이 리 대수의 경우에 단사임을 확인하며, Gröbner 기저 기법을 통해 PBW 정리를 지지한다.
• 알고리즘적 접근은 정의 관계와 몫 대수의 식별을 가능하게 하여, 비결합 구조를 결합 대수 도구를 통해 연구할 수 있는 계산 기반의 길을 제공한다.