[논문 리뷰] Algebras, dialgebras, and polynomial identities

Murray R. Bremner|arXiv (Cornell University)|2012. 01. 16.

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

한 줄 요약

이 논문은 결합법칙을 따르는 대수와 비결합법칙을 따르는 다이알제브라에서 다항식 항등식에 대한 체계적인 연구를 제시하며, KP 및 BSO 알고리즘을 도입하여 대수와 그 다이알제브라 대응체 간의 항등식과 연산을 변환한다. 주요 기여는 이러한 방법들을 통합하는 추측으로, 단순군 대수 조건 하에서 이들이 동일한 다항식 항등식을 유도할 것임을 시사하며, 이는 다이알제브라 환경에서 리, 조르단, 삼중체계 일반화에 대한 함의를 지닌다.

ABSTRACT

This is a survey of some recent developments in the theory of associative and nonassociative dialgebras, with an emphasis on polynomial identities and multilinear operations. We discuss associative, Lie, Jordan, and alternative algebras, and the corresponding dialgebras; the KP algorithm for converting identities for algebras into identities for dialgebras; the BSO algorithm for converting operations in algebras into operations in dialgebras; Lie and Jordan triple systems, and the corresponding disystems; and a noncommutative version of Lie triple systems based on the trilinear operation abc-bca. The paper concludes with a conjecture relating the KP and BSO algorithms, and some suggestions for further research. Most of the original results are joint work with Raul Felipe, Luiz A. Peresi, and Juana Sanchez-Ortega.

연구 동기 및 목표

• 대수에서 다항식 항등식 이론을 다이알제브라로 확장하는 것, 특히 결합법칙, 리, 조르단, 대체 대수에 대해.
• 대수와 그 다이알제브라 대응체 간의 항등식과 다중선형 연산을 변환하기 위한 KP 및 BSO 알고리즘의 개발 및 적용.
• 다이알제브라와 삼중체계 간의 구조적 관계 조사, 리 및 조르단 삼중체계, 비가환 대체체계 포함.
• KP 및 BSO 알고리즘을 통합하는 추측 제안, 특성 조건 하에서 다중선형 항등식 생성의 동치성을 시사.
• 보일, 아키비스, 사빈린 대수와 같은 대수의 다양체를 다이알제브라 및 트라이알제브라 프레임워크로 일반화하는 데 있어 열린 문제 식별.

제안 방법

• KP 알고리즘은 연산을 왼쪽 및 오른쪽 곱으로 치환하여 대수의 다항식 항등식을 다이알제브라에 해당하는 항등식으로 변환한다.
• BSO 알고리즘은 주어진 대수에서의 $n$-항 연산을 기반으로 다이알제브라에서의 다중선형 $n$-항 연산을 생성하며, 단어의 중심을 사용한다.
• 논문은 차수 $e \leq d$에서의 다중선형 항등식을 사용하여 다이알제브라 연산이 만족하는 항등식의 부분공간 $J_e$를 정의한다.
• KP 및 BSO 과정 간의 교환도형을 수립하여, 단순군 대수 조건 하에서 생성하는 항등식이 동치일 것임을 시사한다.
• 이론적 결과는 컴퓨터 대수를 통해 지지되며, 특히 조르단 대수와 그 다이알제브라 대응체의 차수 8 항등식 분석에 초점된다.
• 비가환 리 삼중체계의 비가환 대체체로 삼항 연산 $abc - bca$를 통해 프레임워크가 확장되며, 거듭제곱 결합법칙 대수에서의 4항 연산자와 같은 고차원 구조로도 확장된다.

실험 결과

연구 질문

• RQ1 기저 체가 특성 0 또는 $p > d$인 경우, KP 및 BSO 알고리즘이 다이알제브라에서 동일한 다중선형 항등식 집합을 생성하는가?
• RQ2 우측 대체 다이알제브라에서의 항등식에 KP 알고리즘을 적용했을 때 보일 대수의 정의 항등식을 복원할 수 있는가?
• RQ3 비결합 대수에서 다중선형 연산의 무한 가중치로 일반화되는 리 대수를 일반화하는 사빈린 대수의 다이알제브라 대응체는 무엇인가?
• RQ4 KP 알고리즘은 세 개의 결합법칙 연산을 가진 트라이알제브라로 어떻게 일반화될 수 있으며, 이러한 구성에서 유도되는 항등식은 무엇인가?
• RQ5 우측 대체 다이알제브라에서 디커뮤파터와 결합자에 의해 만족되는 다항식 항등식은 무엇이며, 원래 대수에서의 그것들과의 관계는 어떻게 되는가?

주요 결과

• KP 알고리즘은 다항식 항등식을 결합법칙을 따르는 대수에서 결합법칙을 따르는 다이알제브라에서 유효한 항등식으로 성공적으로 변환하며, 다중선형 구조를 유지한다.
• BSO 알고리즘은 단일 $n$-항 연산으로부터 다이알제브라에서의 $n$ 개의 다중선형 $n$-항 연산을 생성하며, 단어의 중심을 사용한다.
• 결합법칙 대수에서의 반대칭 연산에 대해 조르단 항등식과 가환성은 모든 항등식을 함의하지 않으며, 특수한 차수 8 항등식이 존재하고 표준 공리의 결과가 아니다.
• 추측에 따르면, $
  \mathbb{F}$의 특성이 0 또는 $p > d$인 경우 KP 및 BSO 알고리즘이 차수 $d$에서 동일한 항등식 집합을 생성하며, 항등식 공간을 포함하는 핵심 도형의 교환성을 시사한다.
• 코레스니코프와 보로닌은 이 추측을 증명하기 위한 상당한 진전을 보고하였으며, 두 알고리즘 간 깊은 구조적 연결 고리를 시사한다.
• 논문은 아키비스 및 사빈린 대수로의 다이알제브라 이론 확장을 위한 열린 문제를 식별하였으며, 트라이알제브라 및 반복 다이알제브라 구성으로의 일반화를 제안한다.