[论文解读] The structure of extra loops

Michael Kinyon, Kenneth Kunen|ArXiv.org|Apr 14, 2004

Mathematics and Applications参考文献 12被引用 39

一句话总结

本文建立了有限额外环的基礎結構性質，證明其滿足 Sylow 定理與 P. Hall 定理。研究顯示每一個有限非結合的額外環都具有非平凡中心，且當 |Q| < 512 時，Q/Z(Q) 為一個群。主要貢獻在於對奇質數 p 的 16p 階非結合額外環進行分類，證明此類環恰好有 16 個，且其數目與 p 無關。

ABSTRACT

The Sylow theorems hold for finite extra loops, as does P. Hall's theorem for finite solvable extra loops. Every finite nonassociative extra loop $Q$ has a nontrivial center, $Z(Q)$. Furthermore, $Q/Z(Q)$ is a group whenever $|Q| &lt; 512$. Loop extensions are used to construct an infinite nonassociative extra loop with a trivial center and a nonassociative extra loop $Q$ of order 512 such that $Q/Z(Q)$ is nonassociative. There are exactly 16 nonassociative extra loops of order $16p$ for each odd prime $p$.

研究动机与目标

• 建立有限額外環的結構，特別著重於其 Sylow 與 Hall 定理。
• 研究非結合額外環的中心與核，證明其非平凡性與結構約束。
• 構造具有平凡中心或非結合商 Q/Z(Q) 的無限與有限非結合額外環之例子。
• 對奇質數 p 的 16p 階非結合額外環進行分類，證明其數目與 p 無關。
• 證明當 |Q| < 512 時，Q/Z(Q) 為群；但在 |Q| = 512 時，其可能為非結合。

提出的方法

• 透過半直積 B ⋉_τ ℤ_p 的環擴張方法，其中 B 為 16 階的非結合額外環，τ ∈ Hom(B, {1, -1})。
• 應用群論技術，包括 Sylow 定理與自同構群對 Sylow 子環的作用。
• 利用在額外環中，Q/N 為布林群，且 A(Q)（結合子子群）為核中心內的布林群的事實。
• 利用結合子在置換下的不變性及其與元素的交換性，以特徵化環的結構。
• 證明環擴張的同構不變性，即 B ⋉_τ ℤ_p ≅ B ⋉_σ ℤ_p 當且僅當 τ 與 σ 在 B 的自同構下等價。
• 利用先前研究（例如 Goodaire, May, Raman）對階小於 64 的 Moufang 環的分類結果，以確立當 p = 3 時，數目為 16。

实验结果

研究问题

• RQ1 Sylow 定理是否對有限額外環成立？
• RQ2 P. Hall 定理是否對有限可解額外環成立？
• RQ3 每一個有限非結合額外環是否都具有非平凡中心？
• RQ4 Q/Z(Q) 何時為群？何時可能為非結合？
• RQ5 對於奇質數 p，16p 階的非結合額外環共有多少個？

主要发现

• 透過環擴張的群論分析，證明 Sylow 定理對有限額外環成立。
• P. Hall 定理對有限可解額外環成立，將古典群論結果延伸至環論。
• 每一個有限非結合額外環都具有非平凡中心，且 |Z(Q) ∩ A(Q)| ≥ 2。
• 當 |Q| < 512 時，Q/Z(Q) 恆為群；但在 |Q| = 512 時，此性質不成立，存在非結合的例子。
• 對每一個奇質數 p，恰好存在 16 個 16p 階的非結合額外環，且其數目與 p 無關。
• 明確構造出一個具有平凡中心的無限非結合額外環，以及一個 512 階的非結合額外環，其 Q/Z(Q) 為非結合。