[논문 리뷰] On Engel groups, nilpotent groups, rings, braces and the Yang-Baxter equation

Agata Smoktunowicz|arXiv (Cornell University)|2015. 09. 01.

Finite Group Theory Research참고 문헌 41인용 수 11

한 줄 요약

이 논문은 링과 브레이스의 맥락에서 엔겔군과 비어나는 군에 대한 오랫동안 남아있던 질문들을 해결한다. 임의의 체 위에서, 그의 부가군이 엔겔군이 아닌 노르말 대수를 구성함으로써, 1997년 암버그와 시사크가 제기한 질문과 2023년 제르만노프가 제기한 질문에 답한다. 유한한 왼쪽 브레이스에 대해, 부가군이 비어나는 것은 어떤 $ n $ 에 대해 $ A^n = 0 $ 이라는 조건을 만족할 때이고, 이는 브레이스 이론과 근 사슬을 통해 양-바크스턴 방정식의 다중순열 해법과 연결된다.

ABSTRACT

It is shown that over an arbitrary field there exists a nil algebra $R$ whose adjoint group $R^{o}$ is not an Engel group. This answers a question by Amberg and Sysak from 1997 [5] and answers related questions from [3, 44]. The case of an uncountable field also answers a recent question by Zelmanov. In [38], Rump introduced braces and radical chains $A^{n+1}=A\cdot A^{n}$ and $A^{(n+1)}=A^{(n)}\cdot A$ of a brace $A$. We show that the adjoint group $A^{o}$ of a finite right brace is a nilpotent group if and only if $A^{(n)}=0$ for some $n$. We also show that the adjoint group of $A^{o}$ of a finite left brace $A$ is a nilpotent group if and only if $A^{n}=0$ for some $n$. Moreover, if $A^{o}$ is a nilpotent group then $A$ is the direct sum of braces whose cardinatities are powers of prime numbers. Notice that $A^{o}$ is sometimes called the multiplicative group of a brace $A$ (for example in [13]). We also introduce a chain of ideals $A^{[n]}$ of a left brace $A$ and then use it to investigate braces which satisfy $A^{n}=0$ and $A^{(m)}=0$ for some $m, n$ (Theorems 2, 3). In Section 2 we describe connections between our results and braided groups and the Yang-Baxter equation. It is worth noticing that by a result by Gateva-Ivanova [17] braces are in one-to-one correspondence with braided groups with involutive braided operators.

연구 동기 및 목표

• 모든 체 위의 노르말 대수의 부가군이 엔겔군인지 여부에 대한 오랜 난제를 해결하며, 1997년 암버그와 시사크가 제기한 질문에 답한다.
• 유한한 브레이스의 부가군의 비어나는 성질과 그의 근 사슬 $ A^n = 0 $ 또는 $ A^{(n)} = 0 $ 이 사라지는 것 사이의 관계를 명확히 한다.
• 부가군이 비어나는 유한한 브레이스를 소수 거듭제곱의 크기를 가진 브레이스들의 직합으로 분해하는 구조적 분해를 확립한다.
• 브레이스 이론을 통해 양-바크스턴 방정식의 해법을 특성화함으로써, 다중순열 해법을 근 사슬 조건을 통해 연결한다.
• 왼쪽 및 오른쪽 브레이스에 대해 새로운 이상 사슬 $ A^{[n]} $ 을 도입하고, 이로써 비어나는 성질과 비어나는 근의 행동 조건을 통합한다.

제안 방법

• 왼쪽 및 오른쪽 브레이스에 대해 $ A^{[1]} = A $ 이고 $ A^{[n+1]} = \sum_{i=1}^{n} A^{[i]} \cdot A^{[n+1-i]} $ 인 새로운 이상 사슬 $ A^{[n+1]} $ 을 도입하여 구조적 성질을 분석한다.
• 브럼이 정의한 근 사슬 $ A^n $ 과 $ A^{(n)} $ 을 사용한다. 여기서 $ A^{n+1} = A \cdot A^n $ 이고 $ A^{(n+1)} = A^{(n)} \cdot A $ 이다. 이를 통해 비어나는 성질을 특성화한다.
• 브레이스 이론과 자코브슨 근을 가진 링의 결과를 적용하여, $ A^n = 0 $ 인 유한한 왼쪽 브레이스는 부가군이 비어나는 것을 보인다.
• 무한 체 위에서 선형대수학과 다항식 행렬 구성 기법을 사용하여, 노르말 대수에서 엔겔군 성질을 위반하는 반례를 구축한다.
• 양-바크스턴 방정식의 해법의 추적 이론, 특히 다중순열 해법을 활용하여 대수적 조건과 브레이드 군의 구조를 연결한다.
• 비가환 링의 부분어구와 곱의 구조에 대한 조합론적 추론을 통해 특정 다항식 상사 집합에 속하지 않음을 증명함으로써, 비어나는 조건이 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 임의의 체 위에서, 그 부가군이 엔겔군이 아닌 노르말 대수가 존재하는가?
• RQ2 유한한 왼쪽 브레이스에 대해, 부가군이 비어나는 것은 어떤 $ n $ 에 대해 $ A^n = 0 $ 이라는 조건을 만족할 때뿐인가?
• RQ3 부가군이 비어나는 모든 유한한 브레이스는 서로 다른 소수의 거듭제곱 크기를 가진 브레이스들의 직합으로 분해될 수 있는가?
• RQ4 브레이스에서 근 사슬 $ A^n $ 과 $ A^{(n)} $ 과 부가군의 비어나는 성질 사이의 관계는 무엇인가?
• RQ5 $ A^n = 0 $ 과 $ A^{(n)} = 0 $ 이 조건은 양-바크스턴 방정식의 해법의 다중순열 수준과 어떻게 관련이 있는가?

주요 결과

• 모든 체 위에서, 그 부가군 $ R^o $ 가 엔겔군이 아닌 노르말 대수 $ R $ 이 존재한다. 이는 1997년 암버그와 시사크의 질문을 해결한다.
• 유한한 왼쪽 브레이스 $ A $ 에 대해, 부가군 $ A^o $ 가 비어나는 것은 어떤 $ n $ 에 대해 $ A^n = 0 $ 이라는 조건을 만족할 때이다. 이는 근 사슬의 소멸과 군의 비어나는 성질 사이의 직접적인 연결을 확립한다.
• 부가군이 비어나는 모든 유한한 브레이스는 서로 다른 소수의 거듭제곱 크기를 가진 브레이스들의 직합으로 분해된다.
• 유한한 오른쪽 브레이스 $ A $ 의 부가군이 비어나는 것은 어떤 $ n $ 에 대해 $ A^{(n)} = 0 $ 이라는 조건을 만족할 때이다. 이는 왼쪽 브레이스의 결과를 그대로 반영한다.
• 새로운 이상 사슬 $ A^{[n]} $ 은 $ a \in A^{[i]}, b \in A^{[j]}, c \in A^{[k]} $ 이면 $ (a+b)c - ac - bc \in A^{[i+j+k]} $ 를 만족한다. 이는 브레이스 이상의 분석을 위한 구조적 도구를 제공한다.
• $ A^n = 0 $ 과 $ A^{(n)} = 0 $ 이 조건은 부가군이 비어나는 것과 관련된 양-바크스턴 해법이 유한 수준의 다중순열 해법임을 의미한다.