[論文レビュー] Abelian regular subgroups of the affine group and radical rings

A. Caranti, Francesca Dalla Volta+1 more|arXiv (Cornell University)|Oct 8, 2005

Rings, Modules, and Algebras被引用数 4

ひとこと要約

本稿は、ベクトル空間上のアフィン群のアーベル正則部分群と、その空間上での可換・結合的・ラディカル環構造との間の全単射対応を確立する。主な貢献は、正の特性において、有限次元のアーベル正則部分群は有限指数を持つこと、また無限次元では torsion-free であり、かつ移動群と自明に交わることを示したことである—これは、移動群と自明に交わるアーベル正則部分群の最初の例を提供する。

ABSTRACT

We establish a link between abelian regular subgroup of the affine group, and commutative, associative algebra structures on the underlying vector space that are (Jacobson) radical rings. As an application, we show that if the underlying field has positive characteristic, then an abelian regular subgroup has finite exponent if the vector space is finite-dimensional, while it can be torsion free if the dimension is infinite. We also give an example of an abelian, regular subgroup of the affine group over an infinite vector space, which intersects trivially the group of translations.

研究の動機と目的

• アフィン群のベクトル空間上でのアーベル正則部分群を、その基底空間上の代数的構造を用いて特徴付けること。
• このような部分群が移動群と非自明に交わるか、自明に交わるかの条件を明確化すること。
• 有限次元および無限次元の設定において、アーベル正則部分群の指数および torsion の性質を調査すること。
• 特に無限次元において、移動群と自明に交わるアーベル正則部分群の明示的構成を提供すること。
• 有限アフィン群における正則部分群に関する既知の結果を無限次元の場合に拡張すること。

提案手法

• 部分群 T の正則性を用いて、τ(x) ∈ Aff(V) を定義し、0 を x に写すようにする。
• 各 τ(x) を γ(x)ν(x) に分解し、γ(x) ∈ GL(V) かつ ν(x) は x による平行移動とする。
• δ(x) = γ(x) − 1 ∈ M(V) を導入する。ここで M(V) は V 上の線形写像の F-代数である。
• T の可換性を用いて、すべての x, y ∈ V に対して xδ(y) = yδ(x) が成り立つことを導出し、δ が F-線形であることを示す。
• x·y = xδ(y) を用いて V 上に環積を定義し、それが可換的・結合的であり、(V, +, ·) がラディカル環となることを示す。
• T とラディカル環構造との間の対応が全単射であり、GL(V) による共役を保つことを確立する。

実験結果

リサーチクエスチョン

• RQ1 基底となるベクトル空間にどのような代数的条件が満たされると、アフィン群のアーベル正則部分群が存在するか？
• RQ2 このような部分群が移動群と自明に交わる条件は何か？また、その場合にどのような構造的性質が生じるか？
• RQ3 正の特性において、アーベル正則部分群の指数は何か？また、空間の次元に依存するか？
• RQ4 無限次元空間において、アーベル正則部分群が torsion-free になり得るか、特に正の特性の体上でも可能か？
• RQ5 V 上のラディカル環構造の性質は、対応するアーベル正則部分群 T の群論的性質とどのように関係するか？

主な発見

• Aff(V) のアーベル正則部分群と、V 上の可換的・結合的・ラディカル環構造との間に一対一対応が存在する。
• 正の特性において、V が有限次元のとき、Aff(V) の任意のアーベル正則部分群は有限指数を持つ。
• V が無限次元のとき、Aff(V) のアーベル正則部分群で torsion-free であるものが存在する。
• 形式的べき級数環 F[[t]] の極大イデアル tF[[t]] を用いた例が構成され、自明でない annihilator イデアル U を持つラディカル環が得られる。
• この例により、移動群 N と自明に交わるアーベル正則部分群 T が得られ、すなわち T ∩ N = {1} となる。
• この構成により、無限次元ベクトル空間上のアフィン群において、移動群と自明に交わるアーベル正則部分群の最初の既知の例が得られる。