[論文レビュー] On Engel groups, nilpotent groups, rings, braces and the Yang-Baxter equation

Agata Smoktunowicz|arXiv (Cornell University)|Sep 1, 2015

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 $ は、いずれも随伴群が冪零であり、関連するヤン・バクスター方程式の解が有限レベルの多重置換解であることと同値である。