《Journal of Algebra》：Groups of invertible ideals of one-dimensional Prüfer domains as groups of integer-valued functions
编辑推荐：
设G为定义在集合X上的整值函数群F(X,Z)的一维?-子群。研究人员证明，在对G的谱以及其在素理想处的商群作某些假设时，G是自由的。研究人员将该结果转化到Prüfer整环D的可逆理想群Inv(D)的自由性研究背景中：特别地，研究人员引入dd-整环类，即具有一个
设G为定义在集合X上的整值函数群F(X,Z)的一维?-子群。研究人员证明，在对G的谱以及其在素理想处的商群作某些假设时，G是自由的。研究人员将该结果转化到Prüfer整环D的可逆理想群Inv(D)的自由性研究背景中：特别地，研究人员引入dd-整环类，即具有一个在Spec(D)中（相对于逆拓扑）稠密的集合X且其局部化为DVRs的Prüfer整环类。该类恰好是使Inv(D)（作为?-群）同构于F(X,Z)的子群的Prüfer整环类。
研究背景与问题：Baer定理表明F(X,Z)不是自由群，而其有界函数子群F
b(X,Z)是自由的；此前该事实被用于证明几乎Dedekind整环的Inv(D)自由，并在强离散Prüfer整环中得到充分条件。环情形存在自然单射Φ:Inv(D)→F(Max(D),Z)，I?ν
I，但其像一般不在F
b(Max(D),Z)中，仅满足“有界比”性质且谱为一维。因此，论文把几乎Dedekind情形抽象为F(X,Z)的一维?-子群，研究在谱及素理想处商群条件下其自由性，并刻画使Inv(D)同构于F(X,Z)子群的Prüfer整环类；这统一并推广了几乎Dedekind与强离散情形的自由性结果。
技术方法：研究人员主要利用?-群与Prüfer/Bézout整环的Inv(D)对应及Kronecker函数环作归约；在Spec上使用逆拓扑与hull-kernel拓扑、有限素与无穷素、Cantor-Bendixson派生集；构造半基本元素、基本极限群、Q-基与阶梯基；借助平滑子群链、自由商以及有界挠商导致自由的引理判定自由。无样本队列。
研究结果：（1）Introduction（引言）：由F(X,Z)非自由与F
b(X,Z)自由出发，提出将几乎Dedekind整环Inv(D)自由性推广到任意X上的?-子群，并引出dd-整环。（2）Preliminaries and notation（预备与记号）：回顾Prüfer整环、可逆理想、自由群、?-群、逆拓扑、函数群等定义；建立Inv(D)与Bézout/Kronecker函数环及Spec对应，为群论与环论互译提供基础。（3）Primes at infinity（无穷素）：对G?F(X,Z)，由点x定义有限素P
x={f∈G|f(x)=0}，证明其剩余群为Z且有限素集稠密；非有限素称为无穷素，并指出无穷素依赖于嵌入实现而非抽象群性质。（4）dd-domains（dd-整环）：定义离散核心X（在Spec(D)逆拓扑中稠密且D
P为DVR）及dd-整环；Theorem 4.2与Corollary 4.3证明D为dd-整环当且仅当Inv(D)作为?-群同构于某个F(X,Z)的子群；一维dd-整环的像是“有界比”群；并列举Dedekind整环、几乎Dedekind整环、Int(Z
p)、全纯函数环等例。（5）Derived sets（派生集）：引入Cantor-Bendixson秩、派生集D
α与完美壳D
∞；定义半基本元素q
x，证明其在非完美壳点的存在性及不同点半基本元素的线性独立性。（6）Basic limit groups（基本极限群）：定义Spec
∞(G)为单点的基本极限群及无穷剩余群κ
∞(G)；若Spec
∞(G)为空则G自由；若Spec
?(G)散布，则kerπ
∞自由，且κ
∞(G)自由时G自由；给出约化与商模。（7）The successor ordinal case（后继序数情形）：在Spec
?(G)为Fréchet-Urysohn、P?D
∞(Spec
?(G))、CB(P)为后继序数且κ
∞(G)有Q-基时，用阶梯基和递增子群链A
β、B
β证明一维基本极限群G自由（Theorem 7.9）。（8）The limit ordinal case（极限序数情形）：分别处理CB(P)为可数共尾与不可数共尾极限序数，构造使B
β+1/A
β+1为有界挠、A
β+1/B
β自由的链，得Theorem 8.1与Theorem 8.2；合并为Theorem 8.3：一维基本?-群在Spec
?(G)为Fréchet-Urysohn、P?D
∞(Spec
?(G))且κ
∞(G)有Q-基时自由。（9）Back to ring theory（回到环论）：将Theorem 8.3译为dd-整环情形；Theorem 9.1给出除一个局部化Q外均为DVR、Q不在完美壳且其值群有Q-基时Inv(D)自由；Theorem 9.3在非DVR素理想集N可数、N∩D
∞(Max(D))=?且各值群有Q-基时证明Inv(D)自由；Theorem 9.4给出相应的?-群版本。
讨论与结论：讨论部分指出，一维dd-整环或一维?-子群可能总是自由的，但原文未证明；高维情形既有自由也有非自由例子：Int(Z
p)与Int(Z)均为dd-整环且其Inv自由，而全纯函数环E为dd-整环但Inv(E)不自由。研究结论可译为：研究人员证明，在对G的谱及其在素理想处的商群作某些假设时，G是自由的；在dd-整环中，Inv(D)作为?-群同构于F(X,Z)的子群，并在Theorem 9.1、Theorem 9.3、Theorem 9.4所述谱条件、完美壳条件及Q-基条件下自由。作者：Dario Spirito。
