[论文解读] A-nuclei and A-centers of a quasigroup

Victor Shcherbacov|arXiv (Cornell University)|Feb 17, 2011

Mathematics and Applications参考文献 44被引用 3

一句话总结

本文引入了 A-核与 A-中心，作为使用形如 $(\alpha, \varepsilon, \gamma)$ 的自同胚的拟群核的推广，证明了拟群是 A-核的（或 A-中心的）当且仅当它是阿贝尔群的同态。关键贡献在于通过 A-核对正规同余关系的刻画，以及对逆拟群的统一框架，表明在 $\lambda$-、$\rho$-、$\mu$-、$LIP$、$RIP$ 和 $TS$-拟群中，核在特定条件下是正规的。

ABSTRACT

A-nuclei (groups of regular permutations) of a quasigroup are studied. A quasigroup is A-nuclear if and only if it is group isotope. Any quasigroup with permutation medial or paramedial identity is an abelian group isotope. Definition of A-center of a quasigroup is given. A quasigroup is A-central if and only if it is abelian group isotope. If a quasigroup is central in Belyavskaya-Smith sense, then it is A-central. Conditions when A-nucleus define normal congruence of a quasigroup are established, conditions normality of nuclei of some inverse quasigroups are given. Notice, definition of A-nucleus of a loop and A-center of a loop coincides, in fact, with corresponding standard definition.

研究动机与目标

• 使用形如 $(\alpha, \varepsilon, \gamma)$ 的自同胚推广拟群核的概念，扩展 Belousov 关于正则置换的工作。
• 定义并研究拟群的 A-中心，确立其在刻画阿贝尔群同态中的作用。
• 确定 A-核在拟群中诱导正规同余关系的条件，特别是在逆拟群中。
• 统一并扩展关于特殊类拟群（如 $LIP$、$RIP$、$\lambda$-、$\rho$-、$\mu$- 和 $TS$-拟群）中核正规性的结果。
• 阐明 A-核与环和拟群中经典核之间的关系，表明其与经典定义等价。

提出的方法

• 将 A-核定义为满足 $(\alpha, \varepsilon, \gamma)$ 是拟群 $(Q, \circ)$ 的自同胚的置换 $\alpha$ 的集合。
• 利用自同胚理论与同构对偶性，将 A-核与群同态联系起来，并研究其在各种拟群恒等式下的结构。
• 应用 Kepka 对自同胚的一般化，分析 A-核分量在拟群集合 $Q$ 上的作用轨道。
• 利用中点平移与对偶变换的概念，研究 A-核与逆拟群恒等式之间的联系。
• 通过分析由 A-核诱导的等价关系 $\Theta^A$ 及其与拟群运算的兼容性，建立 A-核的正规性。
• 利用已知恒等式（如中值性、参数中值性、$LIP$、$RIP$、$TS$）推导 A-核与 A-中心的结构性质。

实验结果

研究问题

• RQ1 在什么条件下拟群是 A-核的？该条件与它是阿贝尔群同态的关系是什么？
• RQ2 在什么条件下 A-核在拟群中（特别是逆拟群中）定义了正规同余？
• RQ3 A-核与 A-中心如何与环和拟群中的经典核与中心相关联？
• RQ4 $\lambda$-、$\rho$-、$\mu$-、$LIP$、$RIP$ 和 $TS$-拟群中 A-核的对称性或结构特性是什么？
• RQ5 在哪些类别的拟群中，A-核与 A-中心保证是正规子群？

主要发现

• 当且仅当拟群是阿贝尔群的同态时，该拟群是 A-核的，从而建立了强结构刻画。
• 当且仅当拟群是阿贝尔群的同态时，该拟群是 A-中心的，这在阿贝尔群背景下统一了 A-中心与经典中心。
• 在 $LIP$-、$RIP$- 和 $TS$-拟群中，A-核 $N_l$、$N_r$ 和 $N_m$ 相等，并构成 $Q$ 的正规子群。
• 在 $\lambda$-、$\rho$- 和 $\mu$-逆拟群中，A-核通过相应的逆映射共轭，且在同构对偶下保持结构不变。
• 在 $CI$-逆拟群中，所有 A-核重合并构成一个正规子群：${}_{1}N^{A}_{l} = { }_{3}N^{A}_{l} = { }_{2}N^{A}_{m} = { }_{2}N^{A}_{r} = { }_{3}N^{A}_{r} = { }_{1}N^{A}_{m}$，且 $N_l = N_r = N_m \unlhd Q$。
• 在 $TS$-拟群中，所有 A-核及相关的等价关系 $\Theta^A$ 重合，且为正规同余，反映出最大对称性。