[논문 리뷰] Composition-Diamond lemma for associative $n$-conformal algebras

L. A. Bokut, Yuqun Chen외 1명|ArXiv.org|2009. 03. 05.

Advanced Topics in Algebra참고 문헌 21인용 수 5

한 줄 요약

이 논문은 특성 0인 체 위의 자유 자유적 $n$-동형 대수에서 Composition-Diamond Lemma를 수립하여, 이 대수적 구조에서 Gröbner-Shirshov 기저를 구성하는 이론적 기반을 제공한다. 주요 기여는 감소 알고리즘의 개발과 Composition-Diamond Lemma의 증명으로, 이는 정의 관계를 통해 Lie $n$-동형 대수의 선형 기저를 구성할 수 있게 한다.

ABSTRACT

In this paper, we study the concept of associative $n$-conformal algebra over a field of characteristic 0 and establish Composition-Diamond lemma for a free associative $n$-conformal algebra. As an application, we construct Gröbner-Shirshov bases for Lie $n$-conformal algebras presented by generators and defining relations.

연구 동기 및 목표

• 자유적 $n$-동형 대수에서 Gröbner-Shirshov 기저 이론을 개발하기 위해.
• Shirshov의 Composition-Diamond Lemma를 자유적 $n$-동형 대수의 맥락으로 일반화하기 위해.
• 이론을 적용하여 생성자와 관계로 표현된 Lie $n$-동형 대수의 선형 기저를 구성하기 위해.
• 일부 정의 관계 집합이 Gröbner-Shirshov 기저를 형성함을 증명하여 단어 문제의 해법 가능성 보장하기 위해.

제안 방법

• 기존의 Composition-Diamond Lemma를 자유적 대수에서 자유적 $n$-동형 대수의 맥락으로 일반화하기 위해 적응시키기 위해.
• 관계의 조합을 $ (f,g)_w = fb - ag $ 로 정의하며, 여기서 $ ar{f} = ac $, $ ar{g} = cd $, $ w = acb $ 이고 $ c \neq \emptyset $ 이다.
• 감소 과정의 정지성을 보장하기 위해 동형 단어의 자유 모노이드에 잘 순서를 도입하기 위해.
• 감소 가능성이 없는 정규 단어의 개념을 사용하여 몫 대수의 선형 기저를 구성하기 위해.
• 모든 조합이 감소 후에 영이 되면 그 집합이 Gröbner-Shirshov 기저임을 증명하기 위해.
• 이론을 순환 Lie $n$-동형 대수에 적용하여 정의 관계 집합이 유일한 포함 자유적 $n$-동형 대수에서 Gröbner-Shirshov 기저임을 보여주기 위해.

실험 결과

연구 질문

• RQ1 자유 자유적 $n$-동형 대수에서 Composition-Diamond Lemma를 수립할 수 있는가?
• RQ2 자유적 $n$-동형 대수에서 정의 관계 집합이 언제 Gröbner-Shirshov 기저가 되는가?
• RQ3 Gröbner-Shirshov 기저는 어떻게 Lie $n$-동형 대수의 선형 기저를 구성하는 데 사용할 수 있는가?
• RQ4 순환 Lie $n$-동형 대수의 정의 관계는 그 유일한 포함 자유적 $n$-동형 대수에서 Gröbner-Shirshov 기저인가?

주요 결과

• 자유적 $n$-동형 대수에서 Composition-Diamond Lemma가 성립하여, 이러한 대수의 임의의 이상에 대해 Gröbner-Shirshov 기저가 존재함을 보장한다.
• 모든 조합이 0으로 감소하므로 집합 $ S = \{ f, g, h, p, q, s \} $ 는 주어진 자유적 $n$-동형 대수에서 Gröbner-Shirshov 기저를 형성한다.
• $ S $-이르레드스러운 정규 단어는 몫 대수의 선형 기저를 형성하며, 구체적으로 $[a\langle 1,0\rangle a]$, $[a\langle 0,1\rangle a]$, $[a\langle 1,1\rangle a]$, $[a\langle 1,0\rangle a\langle 1,1\rangle a]$, $[a\langle 0,1\rangle a\langle 1,1\rangle a]$, 및 $[(a\langle 1,0\rangle a\langle 0,1\rangle)^k a]$, $[(a\langle 0,1\rangle a\langle 1,0\rangle)^l a] $ ($ k,l \geq 1 $) 으로 명시적으로 나열된다.
• 순환 Lie $n$-동형 대수의 경우, 집합 $ S = \{ a_i\langle 0,0\rangle a_j - a_j\langle 0,0\rangle a_i - [a_i a_j] \mid i > j \} $ 는 유일한 포함 자유적 $n$-동형 대수에서 Gröbner-Shirshov 기저이다.
• 정의 집합 $ S $ 내 원소들의 모든 조합이 감소 후에 영이 되므로, $ S $ 는 조합에 대해 닫혀 있으며 따라서 Gröbner-Shirshov 기저임을 확인한다.
• 이론을 통해 자유적 $n$-동형 대수에서 $ S $-이르레드스러운 단어로 감소시킴으로써 단어 문제의 해법 가능성이 보장된다.