[論文レビュー] Distribution and Generalized Center in Planar Nearrings

Tim Boykett|arXiv (Cornell University)|Jul 5, 2016

Rings, Modules, and Algebras参考文献 10被引用数 3

ひとこと要約

本稿は平面近環における分配的要素を調査し、非自明な分配的要素が存在する場合、加法的群は零乗数部分群を法とするアーベル群の拡張であることを示している。また、分配的要素に非零乗数が含まれる場合、その拡張は分裂し、平面環の一般化された構造的記述が得られる。これは平面環理論を一般化し、平面近環の一般化中心の完全分類を可能にし、組合せデザイン理論および近環構造論への応用をもたらす。

ABSTRACT

Planar nearrings play an important role in nearring theory, both from the structural side as being close to generalised nearfields, as well as from an applications perspective, in geometry and designs. We investigate the distributive elements of planar nearrings. If a planar nearring has nonzero distributive elements, then it is an extension of its zero multiplier part by an abelian group. In the case that there are distributive elements that are not zero multipliers, then this extension splits, giving an explicit description of the nearring. This generalises the structure of planar rings. We provide a family of examples where this does not occur, the distributive elements being precisely the zero multipliers. We apply this knowledge to the question of determining the generalized center of planar nearrings as well as finding new proofs of other older results.

研究の動機と目的

• 分配的要素を通じて平面近環の構造を理解し、平面環に関するAichingerの研究を拡張すること。
• 分配的要素の分布を用いて、平面近環の一般化中心を特定すること。
• 分配的要素が零乗数軌道に含まれるかどうかに基づいて、平面近環を分類すること。
• 近環論において、特にBIBDおよび加法的閉ブロックに関して既存の結果に対する新たな構造的洞察と証明を提供すること。

提案手法

• 本稿は、アーベル群に作用する固定点のない自己同型群を用いた標準的な平面近環の構成法を用い、乗法は軌道代表元と零乗数の集合Mによって定義される。
• 分配的要素は、すべてのa,b ∈ Nに対してn(a+b) = na + nbを満たすものとして定義され、自己同型群Φの軌道上での分布が研究される。
• 加法的群の構造は、零乗数部分群を法とするアーベル群の拡張として分析され、非零乗数を持つ分配的要素が存在する場合の拡張が分裂する条件が考察される。
• 一般化中心GC(N)は、すべての分配的要素と可換な要素を調べることで分析され、軌道構造と自己同型群の中心Z(Φ)が用いられる。
• 既知の平面環および近体に関する結果、特にAichingerの定理を応用して、平面近環設定における構造的帰結を導出する。
• 軌道分解、近体部分構造、およびイデアル論などの群論的および近環論的道具を用いて、一般化中心のケースを分類する。

実験結果

リサーチクエスチョン

• RQ1 平面近環が非自明な分配的要素を持つ条件は何か？ そして、それは加法的群構造にどのように影響を与えるか？
• RQ2 分配的要素に非零乗数が含まれる条件は何か？ その場合に生じる構造的帰結は何か？
• RQ3 軌道構造および自己同型群の性質を用いて、平面近環の一般化中心を完全に特徴づける方法は何か？
• RQ4 分配的要素が零乗数軌道に対してとりうる可能な配置は何か？ そして、それらは一般化中心にどのように影響を与えるか？
• RQ5 平面環に関する結果を平面近環に一般化できるか？ そして、どのような新たな構造的洞察が得られるか？

主な発見

• 平面近環に非自明な分配的要素が存在する場合、その加法的群は零乗数部分群を法とするアーベル群の拡張である。
• 分配的要素に非零乗数が含まれる場合、その拡張は分裂し、半直積構造をもたらし、これは平面環を一般化する。
• 分配的要素が1つ以上の非零乗数軌道と交わっており、かつ少なくとも1つが零乗数でない場合、一般化中心GC(N)は自明である。
• 分配的要素が単一の非零乗数軌道に完全に含まれる場合、GC(N)はその軌道と零元からなる。この状況は自己同型群Φが巡回群である場合に達成される。
• 有限かつ加法的群がアーベル群である場合、分配的要素は平面環をなし、その乗法的構造は自己同型群Φの中心に一致する。
• 一般化中心は、D(N)がΦ-軌道と交わる状況に応じて、零乗数の集合（イデアル）、自明、全近環、または零元を含む単一の軌道のいずれかである。