[论文解读] The commutative Moufang loops with minimum conditions for subloops II

N. I. Sandu|ArXiv.org|Apr 24, 2008

Mathematics and Applications参考文献 2被引用 4

一句话总结

本文建立了无限非结合交换Moufang环（CMLs）中各类子环的极小条件之间的等价性——包括中心可解、中心幂零以及非不变结合子环。证明了此类环满足子环的极小条件当且仅当其满足某一给定中心可解或幂零类的子环极小条件；此外还表明，当所有无限非结合子环均为正规时，结合子环有限，且环的中心可解类数至多为三。

ABSTRACT

It is proved that the following conditions are equivalent for an infinite non-associative commutative Moufang loop $Q$: 1) $Q$ satisfies the minimum condition for subloops; 2) if the loop $Q$ contains a centrally solvable subloop of class $s$, then it satisfies the minimum condition for centrally solvable subloops of class $s$; 3) if the loop $Q$ contains a centrally nilpotent subloop of class $n$, then it satisfies the minimum condition for centrally nilpotent subloops of class $n$; 4) $Q$ satisfies the minimum condition for non-invatiant associative subloops. The structure of the commutative Moufang loops, whose infinite non-associative subloops are normal, is examined.

研究动机与目标

• 刻画满足子环极小条件的无限非结合交换Moufang环（CMLs）的性质。
• 研究子环极小条件与给定中心可解/幂零类的中心可解/幂零子环极小条件之间的关系。
• 考察所有无限非结合子环均为正规的CMLs的结构，并确定其对结合子环与可解类数的影响。
• 在无限非结合CMLs中，建立子环极小条件与非不变结合子环极小条件之间的等价性。

提出的方法

• 利用下中心列与导出列定义CMLs中的中心可解性与幂零性，其中 $ Q_n $ 与 $ Q^{(n)} $ 分别表示第 $ n $ 项。
• 应用Bruck-Slaby定理，将有限生成CMLs的幂零类数上界定为 $ n-1 $（$ n $ 个生成元时）。
• 运用涉及结合子的恒等式，如 $ (x,y,z)^3 = 1 $ 与 $ (x,y,z) = (y^{-1},x,z) $，以分析环的结构与正规性。
• 利用内映射群 $ I(Q) $ 与平移群 $ abla(Q) $ 研究正规子环与自同构。
• 引入“稳定”中心可解/幂零性的概念：若一个无限子环类数为 $ n $，且其每个无限子环类数为 $ n $ 的子环均包含一个同类型真子环，则称其为稳定中心可解（或幂零）。
• 分析中心化子 $ Z_Q(H) $ 及其在 $ Q $ 中的正规性，并构造一个有限指数的正规子环 $ C(H) $，在假设非极小条件时导出矛盾。

实验结果

研究问题

• RQ1 在无限非结合CMLs中，子环极小条件、中心可解类数为 $ s $ 的子环极小条件、中心幂零类数为 $ n $ 的子环极小条件，以及非不变结合子环极小条件是否等价？
• RQ2 当CML中所有无限非结合子环均为正规时，会涌现出何种结构性质？
• RQ3 若存在一个类数为 $ n $ 的稳定中心可解或幂零子环，是否意味着存在一个无限递减的子环链？
• RQ4 在无限非结合CMLs中，子环极小条件是否等价于非不变结合子环极小条件？
• RQ5 在所有无限非结合子环均为正规的CML中，其最大可能中心可解类数是多少？

主要发现

• 在无限非结合CML中，子环极小条件等价于任意固定类数 $ s $ 的中心可解子环极小条件，也等价于任意固定类数 $ n $ 的中心幂零子环极小条件。
• 在CML中存在一个类数为 $ n $ 的稳定中心可解或幂零子环，当且仅当存在一个类数为 $ n $ 的无限递减子环链。
• 在无限非结合CML中，子环极小条件等价于非不变结合子环极小条件。
• 若一个CML中所有无限非结合子环均为正规，则其结合子环 $ Q' $ 有限，且该环为类数至多为三的中心可解环。
• 在此类CML中，第二导出子环 $ Q^{(2)} $ 必为结合环，且 $ Q' = Q^{(2)} $；但由于 $ Q' $ 是中心幂零的，除非 $ Q^{(2)} $ 为结合环，否则将导致矛盾。
• 该CML可分解为一个可除中心子群 $ D $ 与一个有限CML $ M $ 的直积；若 $ L eq M $，则 $ DL $ 是一个无限非结合正规子环，与 $ L $ 的非正规性矛盾。