$mathbb{C}[[t]]$上线性代数群的一般稳定性
摘要：当 $k$ 是代数闭域，$Gamma$ 是一个 $mathbb Z$-group 时,我们研究 henselian 有价域$K$ 上的可定义子集和可定义代数群. 本文首先描述了${cal O}_K$上的可定义子集，证明了每个${cal O}_K$上的可定义子集要么是 res-finite 或者是 res-cofinite. 应用这个结果，我们证明了对于每个$n$，$GL(n,{cal O}_K)$是稳定的，推广了 Halevi的结果。
作者：Chen Ling and Ningyuan Yao
论文ID：2307.05546
分类：Logic
分类简称：math.LO
提交时间：2023-07-13