2025-11-10T02:31:50.158362

Galois Theory under inverse semigroup actions

Lautenschlaeger, Tamusiunas

We develop a Galois theory of commutative rings under actions of finite inverse semigroups. We present equivalences for the definition of Galois extension as well as a Galois correspondence theorem. We also show how the theory behaves in the case of inverse semigroups with zero.

academic

逆半群作用下のガロア理論

基本情報

論文ID: 2408.02850
タイトル: Galois Theory under inverse semigroup actions
著者: Wesley G. Lautenschlaeger, Thaísa Tamusiunas
分類: math.RA (環と代数)
発表時期: 2024年8月 (arXivバージョン2、2025年1月2日更新)
論文リンク: https://arxiv.org/abs/2408.02850

要旨

本論文は有限逆半群作用下の可換環のガロア理論を展開している。著者らはガロア拡張の定義の等価刻画およびガロア対応定理を与えている。さらに、零を含む逆半群の場合における理論の性質についても論じている。

研究背景と動機

問題背景

古典的ガロア理論の一般化の必要性: 1965年にChase、Harrison、Rosenberg (CHR)は有限群作用下の可換環のガロア理論を展開し、古典的ガロア理論の基本定理を一般化した。その後、VillamayorとZelinski (VZ)も同様の理論を展開し、ガロア理論において初めて亜群作用を導入した。
既存理論の限界:
- 従来の亜群作用ガロア理論はすべて直交性条件を要求していた： $A = \bigoplus_{e \in G_0} A_e$
- 逆半群作用の場合、直交性条件は $A = \bigoplus_{e \in \max E(S)} A_e$ を要求し、これにより非極大べき等元に関連する理想が自明になってしまう
- 既存の亜群理論に依存して逆半群理論を構成する方法は効果的でない
研究動機:
- 直交性条件を必要としない逆半群作用ガロア理論の展開
- E-単位逆半群作用と偏作用の関連付けを通じた新しい不変トレース写像の構成
- 理論の一般逆半群作用への拡張

核心的貢献

新しい不変トレース写像の構成: E-単位逆半群に対して、σ-トレース写像 $\text{tr}^σ_β$ によってトレース写像の不変性問題を解決した
ガロア拡張の等価刻画の確立: β-ガロア拡張の11個の等価条件を与えた(定理4.4)
ガロア対応定理の証明:
- E-単位逆半群の場合：β-完備逆部分半群と可分離β-強部分代数間の一一対応(定理5.8)
- 一般逆半群の場合：β-極大逆部分半群と可分離β-強部分代数間の一一対応(定理6.4)
零を含む逆半群への拡張: 分類零逆半群の場合における理論の議論(定理7.15)

方法の詳細

問題設定

有限逆半群 $S$ が単位作用 $\beta = (A_s, \beta_s)_{s \in S}$ を通じて可換環 $A$ に作用する場合のガロア理論を研究する。ここで：

$A_s \trianglelefteq A$ はイデアル
$\beta_s: A_{s^{-1}} \to A_s$ は環同型
作用条件を満たす： $A = \sum_{e \in E(S)} A_e$ と $\beta_s(\beta_t(a)) = \beta_{st}(a)$

核心的技術枠組み

1. E-単位逆半群の処理

E-単位逆半群 $S$ に対して、重要な観察は相容関係 $\sim$ が最小群合同 $σ$ と一致することである。

定理3.2: $S$ をE-単位逆半群、 $\beta$ を単位単射作用とする。以下を定義する： $A_{σ(s)} = \sum_{t \in σ(s)} A_t, \quad α_{σ(s)} = \sum_{t \in σ(s)} \beta_t$ すると $α = (A_g, α_g)_{g \in G}$ は群 $G = S/σ$ の $A$ 上の単位偏作用である。

2. σ-トレース写像の構成

σ-トレース写像を定義する： $\text{tr}^σ_β(a) = \text{tr}_α(a) = \sum_{g \in S/σ} α_g(a1_{g^{-1}})$

系3.4: σ-トレース写像は $A^β$ -双加群準同型であり、 $\text{tr}^σ_β(A) \subseteq A^β$ 、 $\text{tr}^σ_β(\beta_s(a)) = \text{tr}^σ_β(a)$ を満たす。

3. ガロア拡張の刻画

定理4.4: 以下の条件は等価である：

$A$ は $A^β$ のβ-ガロア拡張である
$A$ は有限生成射影 $A^β$ -加群であり、 $j$ は同型である
写像 $ψ: A \otimes_{A^β} A \to P_{A^β}(S)$ は同型である
$A$ は $A^β$ -可分離かつβ-強である
$\text{tr}^σ_β(A) = A^β$

技術的革新点

直交性条件の回避: 従来のトレース写像ではなくσ-トレース写像を用いることで、 $A = \bigoplus_{e \in \max E(S)} A_e$ の制限を回避した
E-単位性の活用: E-単位逆半群における $σ = \sim$ の性質を巧妙に利用し、逆半群作用を群の偏作用に変換した
β-完備性の概念: β-完備逆部分半群の概念を導入し、相容部分集合 $P$ に対して $u = \bigvee P$ が存在し $β_u = \sum_{s \in P} β_s$ ならば $u \in T$ を要求する

主要定理

ガロア対応定理(定理5.8)

$S$ を有限E-単位逆半群、単位単射作用 $\beta$ を通じて可換環 $A$ に作用するとする。 $A$ が $A^β$ のβ-ガロア拡張であり、すべての $s \in S$ に対して $A_s \neq 0$ ならば、一一対応が存在する： $\{A^β\text{-可分離β-強部分代数}\} \leftrightarrow \{\text{β-完備逆部分半群}\}$ 対応関係は $B \mapsto S_B$ と $T \mapsto A^{β|T}$ で与えられ、ここで $S_B = \{s \in S: \beta_s(b1_{s^{-1}}) = b1_s, \forall b \in B\}$ である。