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

Galois Theory under inverse semigroup actions

基本信息

论文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

摘要

本文发展了有限逆半群作用下交换环的Galois理论。作者给出了Galois扩张定义的等价刻画以及Galois对应定理。文章还讨论了带零逆半群情形下理论的表现。

研究背景与动机

问题背景

经典Galois理论的推广需求: 1965年Chase, Harrison和Rosenberg (CHR)发展了有限群作用下交换环的Galois理论，推广了经典Galois理论基本定理。随后Villamayor和Zelinski (VZ)也发展了类似理论，首次在Galois理论中引入了群胚作用。
现有理论的局限性:
- 之前的群胚作用Galois理论都要求正交性条件： $A = \bigoplus_{e \in G_0} A_e$
- 对于逆半群作用，正交性条件要求 $A = \bigoplus_{e \in \max E(S)} A_e$ ，这会使与非极大幂等元相关的理想变得平凡
- 依赖现成群胚理论构造逆半群理论的方法效果不佳
研究动机:
- 发展不需要正交性条件的逆半群作用Galois理论
- 通过将E-幺元逆半群作用与偏群作用联系，构造新的不变迹映射
- 将理论推广到一般逆半群作用

核心贡献

构造了新的不变迹映射: 对于E-幺元逆半群，通过σ-迹映射 $\text{tr}^σ_β$ 解决了迹映射不变性问题
建立了Galois扩张的等价刻画: 给出了β-Galois扩张的11个等价条件(定理4.4)
证明了Galois对应定理:
- 对E-幺元逆半群：β-完备逆子半群与可分离β-强子代数间的一一对应(定理5.8)
- 对一般逆半群：β-极大逆子半群与可分离β-强子代数间的一一对应(定理6.4)
扩展到带零逆半群: 讨论了分类零逆半群情形下的理论(定理7.15)

方法详解

任务定义

研究有限逆半群 $S$ 通过幺元作用 $\beta = (A_s, \beta_s)_{s \in S}$ 作用在交换环 $A$ 上的Galois理论，其中：

$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. Galois扩张的刻画

定理4.4: 以下条件等价：

$A$ 是 $A^β$ 的β-Galois扩张
$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$

主要定理

Galois对应定理(定理5.8)

设 $S$ 是有限E-幺元逆半群，通过幺元单射作用 $\beta$ 作用在交换环 $A$ 上。若 $A$ 是 $A^β$ 的β-Galois扩张且 $A_s \neq 0$ 对所有 $s \in S$ ，则存在一一对应： $\{A^β\text{-可分离β-强子代数} B\} \leftrightarrow \{\text{β-完备逆子半群} T\}$ 对应关系为 $B \mapsto S_B$ 和 $T \mapsto A^{β|T}$ ，其中 $S_B = \{s \in S: \beta_s(b1_{s^{-1}}) = b1_s, \forall b \in B\}$ 。