[论文解读] On the Yang-Baxter equation and left nilpotent left braces

Ferran Cedó, Tatiana Gateva-Ivanova+1 more|Edinburgh Research Explorer|Jan 26, 2016

Finite Group Theory Research参考文献 6被引用 3

一句话总结

本文通過左階梯群及其相關結構群，研究了楊-巴克斯頓方程的有限非退化對合解的結構。證明了有限非平凡解的結構群不可能是恩格爾群，從而提供了大量非恩格爾的多ℤ群，並建立了有限解嵌入有限階梯群與有 braided 群的映射。

ABSTRACT

We study non-degenerate involutive set-theoretic solutions (X,r) of the Yang-Baxter equation, we call them simply solutions. We show that the structure group G(X,r) of a finite non-trivial solution (X,r) cannot be an Engel group. It is known that the structure group G(X,r) of a finite multipermutation solution (X,r) is a poly-Z group, thus our result gives a rich source of examples of braided groups and left braces G(X,r) which are poly-Z groups but not Engel groups. We also show that a finite solution of the Yang-Baxter equation can be embedded in a convenient way into a finite brace and into a finite braided group. For a left brace A, we explore the close relation between the multipermutation level of the solution associated with it and the radical chain $A^{(n+1)}=A^{(n)}* A$ introduced by Rump.

研究动机与目标

• 理解與有限非退化對合集合式解的楊-巴克斯頓方程相關之結構群的群論性質。
• 研究在左階梯群背景下，此類結構群成為恩格爾群的條件。
• 建立有限解可嵌入有限階梯群與有限 braided 群，從而豐富可實現的代數結構類別。
• 釐清解的多重置換層次與由 Rump 定義的左階梯群中的根鏈之間的關係。

提出的方法

• 在結構群 $G(X,r)$ 上使用其標準左階梯群結構，其中加法群為以 $X$ 為基的自由阿貝爾群，乘法群透過左乘映射 $\mathcal{L}_a$ 作用。
• 應用 socle $\operatorname{Soc}(G)$ 的概念，即同態 $\mathcal{L}: G \to \operatorname{Sym}_X$ 的核，以識別在 $X$ 上作用平凡的元素。
• 在結構群 $G(X,r)$ 中構造理想 $I = \{ng \mid g \in G(X,r)\}$，其中 $n = [G : \operatorname{Soc}(G)]$，並證明 $I$ 對乘法群與左作用映射均為不變。
• 利用商群 $G/I$ 建構一個階為 $n^m$ 的有限左階梯群，其中 $m = |X|$，並證明自然映射 $X \to G/I$ 是單射，從而將 $X$ 嵌入階梯群。
• 應用雅各布森根環與自伴群的結果，利用兩邊階梯群與根環之間的等價性，分析群論性質。
• 使用左階梯群 $A$ 中的根鏈 $A^{(n+1)} = A^{(n)} * A$，以連結解的多重置換層次與階梯群的幂零結構。

实验结果

研究问题

• RQ1 有限非平凡解 $(X,r)$ 的結構群 $G(X,r)$ 是否可能為恩格爾群？
• RQ2 解的多重置換層次與其相關左階梯群 $A$ 中的根鏈 $A^{(n)}$ 之間的關係為何？
• RQ3 如何將有限解嵌入有限階梯群與有限 braided 群？
• RQ4 多重置換解的結構群具有何群論性質，特別是與多ℤ群的關係為何？
• RQ5 是否存在阻止 $G(X,r)$ 成為恩格爾群的結構障礙？若存在，其揭示了此類解的代數性質為何？

主要发现

• 任何有限非平凡解 $(X,r)$ 的結構群 $G(X,r)$ 不可能是恩格爾群。
• 有限多重置換解產生的結構群為多ℤ群，但這些群非恩格爾群，從而提供了豐富的此類例子。
• 每個有限解 $(X,r)$ 均可透過商群 $G(X,r)/I$ 嵌入有限左階梯群，其中 $I$ 為 $nG$ 生成的理想，$n = [G : \operatorname{Soc}(G)]$。
• 商群 $G(X,r)/I$ 是一個階為 $n^m$ 的有限左階梯群，其中 $m = |X|$，且此商群中 $X$ 的像同構於 $X$，確保嵌入為單射。
• 解的多重置換層次與其相關左階梯群 $A$ 中的根鏈 $A^{(n)}$ 的長度直接相關，此定義由 Rump 提出。
• 結構群 $G(X,r)$ 從 $X$ 上的自由阿貝爾群與 $\mathcal{L}_a$ 的作用中繼承標準左階梯群結構，使其成為左階梯群，且 $\mathcal{L}_a$ 為加法群的自同構。