[논문 리뷰] Relatively free associative algebras of ranks 2 and 3 with Lie nilpotency identity and systems of generators for some T-spaces

S. V. Pchelintsev|arXiv (Cornell University)|2018. 01. 23.

Advanced Topics in Algebra인용 수 3

한 줄 요약

이 논문은 특성 2 또는 3이 아닌 체 위에서 랭크 2 및 3인 상대적으로 자유로운 아벨리안 대수를 조사하며, $n \geq 3$에 대해 Lie 비아벨성 항등식 $[x_1,\dots,x_n]=0$를 만족한다. 랭크 3 대수에서 $T^{(m)}T^{(n)} \subseteq T^{(m+n-1)}$라는 핵심 포함 관계를 확립하고, 3변수 항등식을 특성화하며, $ \mathrm{char}(K) \geq 5$일 때 중심 $Z(F_r^{(n)})$가 $(T^{(n-1)} + Z_q)(F_r^{(n)})$와 같음을 증명한다. 여기서 $q$는 $q \geq n-1$를 만족하는 $p=\mathrm{char}(K)$의 최소 거듭제곱이다. 또한 $n \geq 4$이고 $ \mathrm{char}(K) \geq n$일 때 $F_2^{(n)}$가 적절한 T-아이디얼의 유한한 엄격 내림차순 조합 계열을 가지며, 이 계열의 각 몫이 진정한 T-공간을 갖지 않는다는 것을 보여준다.

ABSTRACT

We study relatively free associative algebras $F^{(n)}_r$ of ranks $r=2,3$ with the identity $[x_1,\dots, x_n]=0$ of Lie nilpotency of step $n\geqslant 3$ over a field $K$ of characteristic $ eq 2,3$. First we prove a Theorem on the inclusion $ T^{(m)}T^{(n)}\subseteq T^{(m+n-1)}$ for an associative algebra $A$ of rank $3$, where $T^{(n)}=T^{(n)}(A)$ is a T-ideal of $A$ generated by the commutator $[x_1,\dots, x_n]$; the restriction on rank is essential. Further, we describe 3-variable identities of the algebra $F^{(n)}$. In particular, the obtained description implies that $Z(F^{(n)}_r)=(T^{(n-1)}+Z_q)(F^{(n)}_r)$, where $p=\mathrm{char}(K)\geqslant 5$ and $q$ is a least power of $p$ such that $q\geqslant n-1$ and $Z_q$ is a T-space generated by $x^q$. We also prove the equality $Z(F^{(n)}_2)=F^{(n)}_2\cap Z(F^{(n)})$. Finally, we obtain certain generalizations and refinements of some results by A. V. Grishin and V. V. Shchigolev, respectively. For example, we prove that a unital algebra $F^{(n)}_2$ $(n\geqslant 4)$ over a field $K$ of characteristic $p\geqslant n$ possesses a finite strictly descending "composition" series of T-ideals $T^{(3)}=T_1\supset T_2\supset \dots \supset T_k\supset T_{k+1}=0$ such that each quotient $T_i/T_{i+1}$ does not contain any proper T-spaces. Key words: Lie nilpotency identity, center, kernel, proper polynomial, 3-variable identity, T-space.

연구 동기 및 목표

• 상대적으로 자유로운 아벨리안 대수 $F_r^{(n)}$의 구조를 분석하며, $r=2,3$이면서 $n \geq 3$에 대해 Lie 비아벨성 항등식 $[x_1,\dots,x_n]=0$를 만족한다.
• 랭크 3인 아벨리안 대수에서 기본 포함 관계 $T^{(m)}T^{(n)} \subseteq T^{(m+n-1)}$를 확립하고, 랭크가 이러한 항등식에 미치는 영향을 보여준다.
• 특히 $F_r^{(n)}$에서의 3변수 항등식을 묘사하며, 중심 $Z(F_r^{(n)})$를 $T^{(n-1)}$과 $Z_q$를 통해 특성화한다. 여기서 $Z_q$는 $x^q$에 의해 생성된 T-공간이다.
• Grishin과 Shchigolev의 결과를 일반화하고 정밀화하며, 특히 진정한 T-공간 몫이 없는 T-아이디얼의 유한 조합 계열 존재성에 초점을 맞춘다.

제안 방법

• 비가환 다항식 항등식에서 T-아이디얼 및 T-공간 이론을 활용하며, 정의 항등식으로서의 Lie 교환자 $[x_1,\dots,x_n]$에 중점을 둔다.
• 특성 $\neq 2,3$인 체 위에서의 아벨리안 대수의 구조적 분석을 수행하며, 특히 $ \mathrm{char}(K) \geq 5$인 경우에 주의를 기울인다.
• 항등식 $T^{(m)}T^{(n)} \subseteq T^{(m+n-1)}$의 증명은 Lie 다항식의 조합적 성질과 랭크 제한 3에 의존한다.
• 중심 $Z(F_r^{(n)})$는 $T^{(n-1)}$과 $Z_q$의 합으로 분해하여 결정되며, 여기서 $Z_q$는 $q$가 $q \geq n-1$를 만족하고 $p=\mathrm{char}(K)$의 거듭제곱인 최소의 $q$에 대해 $x^q$에 의해 생성된 T-공간이다.
• $n \geq 4$이고 $ \mathrm{char}(K) \geq n$일 때 $F_2^{(n)}$에 대해, 각 몫 $T_i/T_{i+1}$가 진정한 T-공간을 포함하지 않는, T-아이디얼의 유한한 엄격 내림차순 조합 계열을 구성한다.
• Grishin과 Shchigolev의 T-아이디얼 필터링에 관한 기존 결과를 활용하며, 이를 Lie 비아벨성 설정으로 확장한다.

실험 결과

연구 질문

• RQ1 상대적으로 자유로운 아벨리안 대수 $F_r^{(n)}$의 중심 $Z(F_r^{(n)})$는 랭크 2 및 3에서 Lie 비아贝尔성 항등식 $[x_1,\dots,x_n]=0$를 만족할 때 어떻게 구조화되어 있는가?
• RQ2 랭크 3인 아벨리안 대수에서 포함 관계 $T^{(m)}T^{(n)} \subseteq T^{(m+n-1)}$가 성립하는가? 그리고 랭크 제한은 필수적인가?
• RQ3 $n \geq 4$이고 $ \mathrm{char}(K) \geq n$일 때 $F_2^{(n)}$에 대해, 각 몫이 진정한 T-공간을 포함하지 않는, T-아이디얼의 유한한 엄격 내림차순 조합 계열을 구성할 수 있는가?
• RQ4 $F_r^{(n)}$에서의 3변수 항등식은 T-아이디얼 구조와 중심과 어떻게 관련되어 있는가?
• RQ5 Grishin과 Shchigolev의 T-아이디얼 필터링에 관한 결과는 어느 정도 Lie 비아벨성 설정으로 일반화될 수 있는가?

주요 결과

• 랭크 3인 아벨리안 대수에서 포함 관계 $T^{(m)}T^{(n)} \subseteq T^{(m+n-1)}$는 성립하며, 랭크 제한은 필수적이다. 이는 더 높은 랭크에서는 성립하지 않는다.
• 중심은 $Z(F_r^{(n)}) = (T^{(n-1)} + Z_q)(F_r^{(n)})$를 만족하며, 여기서 $q$는 $p=\mathrm{char}(K) \geq 5$인 최소 거듭제곱이며 $q \geq n-1$를 만족한다. $Z_q$는 $x^q$에 의해 생성된 T-공간이다.
• $n \geq 4$이고 $ \mathrm{char}(K) \geq n$일 때 $F_2^{(n)}$에 대해, $T^{(3)} = T_1 \supset T_2 \supset \cdots \supset T_k \supset T_{k+1} = 0$와 같은 T-아이디얼의 유한한 엄격 내림차순 조합 계열이 존재하며, 각 몫 $T_i/T_{i+1}$는 진정한 T-공간을 포함하지 않는다.
• $F_2^{(n)}$의 중심은 $Z(F_2^{(n)}) = F_2^{(n)} \cap Z(F^{(n)})$를 만족하며, 자유 대수의 중심과 상대적으로 자유 대수의 중심 사이의 호환성을 보여준다.
• 논문은 $F_r^{(n)}$에서의 3변수 항등식을 완전히 묘사하며, 중심과 T-아이디얼 격자 구조의 기초가 된다.
• 이전 결과인 Grishin과 Shchigolev의 결과를 일반화하고 정밀화하였으며, 특히 T-아이디얼 필터링과 조합 계열에서 진정한 T-공간 몫이 없는 성질에 중점을 두었다.