[論文レビュー] Algebraic Extensions of Normed Algebras

Thomas William Dawson|ArXiv.org|Feb 16, 2001

Advanced Algebra and Logic参考文献 13被引用数 9

ひとこと要約

この論文は、アーレンス＝ホフマンおよびコールの構成を用いて、単項多項式の根を反復的に付加することで、可換ノルム代数の代数的拡張を構築し、超限再帰を用いて整閉拡張を達成する。主な貢献は、整数的従属に関して閉じたノルム代数を構成する体系的な方法であり、半単純性や完備性といった構造的性質を制御された条件下で保持する。

ABSTRACT

We compare two known methods of extending a complex, unital, commutative normed algebra so as to include solutions to sets of monic polynomials over the original algebra. (One of these is a generalisation of a construction from the thesis of B. J. Cole and only applies to uniform algebras.) An example is given to show that they can lead to essentially different algebras. Integrally closed extensions which generalise Cole's `universal root algebras' are also constructed .

研究の動機と目的

• 可換ノルム代数に単項多項式の根を付加する体系的な方法を開発すること。
• 特に完備性と半単純性を含む位相的および代数的性質が、このような拡張においてどのように保存されるかを調査すること。
• 標準的拡張の超限反復を用いて、整閉ノルム代数を構成すること。
• アーレンス＝ホフマンとコールの構成という2つの拡張法を比較し、特に一様代数の文脈での比較を行うこと。
• 古典的な結果をバナッハ代数を超えて拡張するノルム代数のゲルファンド理論を確立すること。

提案手法

• ユニタルな可換ノルム代数に単一の単項多項式の根を普遍的な代数的構成により付加し、単純拡張を形成すること。
• 任意の単項多項式の集合に対してこの拡張を反復的に適用することで、超限再帰を用いて「標準的ノルム代数拡張」を形成すること。
• 単項多項式の根をとる操作に関して閉じた拡張を構成する基礎として、アーレンス＝ホフマン拡張を用いること。
• 特に整閉拡張において、一様代数の圏におけるコールの構成を、アーレンス＝ホフマンの代替手段として適用すること。
• すべての単項多項式の根に関して閉じることを保証するために、非可算な整列順序集合（例：ω₁）を用いた超限帰納法および再帰を用いること。
• 基数と整列順序の管理のため、カントール＝シュレーディンガー＝ベルンシュタインの定理や順序数の構成といった集合論的道具を用いること。

実験結果

リサーチクエスチョン

• RQ1 ノルム代数のアーレンス＝ホフマン拡張が、どのような条件下で完備または半単純になるか。
• RQ2 コールの構成は、整閉一様代数拡張を生成できるか。また、アーレンス＝ホフマンと比較して、その性質はいかがなっているか。
• RQ3 ノルム代数に単項多項式の根を付加する際、位相的および代数的性質はどの程度保存されるか。
• RQ4 バナッハ代数の古典的理論に類似した、ノルム代数のためのゲルファンド理論は存在するか。
• RQ5 非可算な整列順序集合（例：ω₁）は、拡張の超限反復における閉包を保証するために果たす役割は何か。

主な発見

• アーレンス＝ホフマン構成により、可換ユニタルノルム代数に単一の単項多項式の根を付加する方法が得られ、ノルム代数構造が保存される。
• 標準的ノルム代数拡張の超限反復により、すべての単項多項式の根が付加された整閉ノルム代数拡張が得られる。
• コールの構成を用いることで、一様代数の圏において整閉拡張を構築でき、アーレンス＝ホフマンとは異なり、一様構造の保存がより良好である可能性がある。
• アーレンス＝ホフマン拡張の極大イデアル空間は、元の代数の極大イデアル空間の連続的像であることが示され、重要な位相的性質が保存される。
• 非可算順序数 ω₁ を用いて、α < ω₁ で添え字づけられた閉集合の入れ子の和集合が、距離空間においても閉であることを証明した。これは、超限構成における重要な技術的道具である。
• 任意の無限環 A に対して、A[x] の濃度が A の濃度と等しいことが示され、基数の爆発を避ける観点から、拡張を構成可能であることが裏付けられる。