[論文レビュー] F-quasigroups isotopic to groups

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

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

ひとこと要約

本稿では、群に同型なF-準群であるFG-準群を導入し、中位法を一般化した2つの恒等式によって特徴づける。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-準群の構造を記述すること。

提案手法

• 2つの恒等式による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-準群は、すべての $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-準群は群上に線形的であり、$f,g \in \mathrm{Aut}(Q,+)$ に対して $xy = f(x) + e + g(y)$ と表される。
• 集合 $M(Q) = \{a \in Q : xa \cdot yx = xy \cdot ax \text{ for all } 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}$-加群の間の対応に制限される。