[论文解读] F-quasigroups isotopic to groups

Tom ́ ÿ Kepka, Michael Kinyon+1 more|arXiv (Cornell University)|Jan 4, 2006

Mathematics and Applications参考文献 6被引用 9

一句话总结

本文引入了FG-拟群——与群同态的F-拟群——并通过两个推广了中位律的恒等式对其进行刻画。研究证明FG-拟群在群上是线性的，从而给出了其完整的结构描述，包括对简单FG-拟群的分类。主要贡献在于建立了带基点的FG-拟群与特定多项式环上的中心广义模之间等式类的等价性，确立了深刻的代数对应关系。

ABSTRACT

In math.GR/0510298, we showed that every loop isotopic to an F-quasigroup is a Moufang loop. Here we characterize, via two simple identities, the class of F-quasigroups which are isotopic to groups. We call these quasigroups FG-quasigroups. We show that FG-quasigroups are linear over groups. We then use this fact to describe their structure. This gives us, for instance, a complete description of the simple FG-quasigroups. Finally, we show an equivalence of equational classes between pointed FG-quasigroups and central generalized modules over a particular ring.

研究动机与目标

• 对与群同态的F-拟群进行刻画，引入FG-拟群这一类。
• 证明FG-拟群在群上是线性的，提供其结构描述。
• 在特定环上建立带基点的FG-拟群与中心广义模之间等式类的等价性。
• 通过其关于正规中位子拟群的商结构，描述简单FG-拟群的结构。

提出的方法

• 通过两个恒等式刻画FG-拟群：对所有 $x,y,u,v \in Q$，有 $xy \cdot \alpha(u)v = x\alpha(u) \cdot yv$ 和 $xy \cdot \beta(u)v = x\beta(u) \cdot yv$。
• 定义FG-拟群的算术形式为 $xy = f(x) + e + g(y)$，其中 $f,g \in \mathrm{Aut}(Q,+)$。
• 利用算术形式证明FG-拟群在群上是线性的，其中 $f,g$ 为交换自同构，$e$ 为中心元素。
• 构造环 $\mathbf{R} = \mathbb{Z}[\mathbf{x},\mathbf{y},\mathbf{u},\mathbf{v}]$，并在基群上定义数乘，形成中心广义 $\mathbf{R}$-模。
• 建立带基点FG-拟群范畴与满足 $\mathbf{x}+\mathbf{u}+\mathbf{xu} \in \mathrm{Ann}(G)$ 和 $\mathbf{y}+\mathbf{v}+\mathbf{yv} \in \mathrm{Ann}(G)$ 的中心广义 $\mathbf{R}$-模范畴之间的函子等价。
• 证明该等价性限制在中心带基点FG-拟群与中心广义 $\mathbf{R}$-模之间，形成一一对应。

实验结果

研究问题

• RQ1 哪些恒等式刻画了与群同态的F-拟群（即FG-拟群）？
• RQ2 FG-拟群如何表示为群上的线性结构？
• RQ3 简单FG-拟群的结构是什么？
• RQ4 FG-拟群与某一类广义模之间是否存在等式等价？
• RQ5 带基点FG-拟群的范畴能否通过模理论结构等价描述？

主要发现

• FG-拟群由恒等式 $xy \cdot \alpha(u)v = x\alpha(u) \cdot yv$ 和 $xy \cdot \beta(u)v = x\beta(u) \cdot yv$ 对所有 $x,y,u,v \in Q$ 刻画。
• 每个FG-拟群在群上都是线性的，其乘法形式为 $xy = f(x) + e + g(y)$，其中 $f,g \in \mathrm{Aut}(Q,+)$。
• 集合 $M(Q) = \{a \in Q : xa \cdot yx = xy \cdot ax \text{ 对所有 } x,y\}$ 是一个正规的中位子拟群，且 $Q/M(Q)$ 是一个群。
• 简单FG-拟群被完全描述：它们在商结构下是简单群。
• 带基点FG-拟群与环 $\mathbf{R} = \mathbb{Z}[\mathbf{x},\mathbf{y},\mathbf{u},\mathbf{v}]$ 上的中心广义模之间存在等式类的等价性，其中关系为 $\mathbf{x}+\mathbf{u}+\mathbf{xu} \in \mathrm{Ann}(G)$ 和 $\mathbf{y}+\mathbf{v}+\mathbf{yv} \in \mathrm{Ann}(G)$。
• 该等价性限制在中心带基点FG-拟群与中心广义 $\mathbf{R}$-模之间，形成一一对应。