问题
Power monoid：对加法独异点 H，令 𝒫fin,1(H) 为含单点集与非空有限子集的集合族，运算 A · B = {a+b : a ∈ A, b ∈ B}（和集）。它是独异点（单位 {0}）；当 H 是数值半群时它也是原子独异点。核心问题：𝒫fin,1(H) 的原子是什么（哪些有限集不可再分解）、原子分解长度集的周期性、弹性与 catenary degree、以及「Frobenius 型问题」的集合版（哪些集合不可表示为原子和集）。这是 Fan 等近年开辟的新方向，把半群算术从「数」搬到「集」，连接集合加法（加法组合学）与因子分解理论。
主要概念
和集原子：有限集 A ⊆ ℕ 是 power monoid 的原子 ⟺ A 不能写成两个各含 ≥ 2 元的集合之和。算术级数集：形如 a + d[0,k] 的集合——最简的判据见命题 1：二元集是原子，而 k ≥ 2 的级数集可拆（例如 a+d{0,1,2} = (a+d{0,1})+d{0,1}），一般有限集的原子分类远未完成。弹性：power monoid 的弹性在 H = ℕ 时是 ρ(𝒫) = sup 𝓛/min 𝓛；Fan 证明其有限且可显式计算。
主要命题与证明
命题 1（power monoid 的最简原子判据；完整证明） 在 𝒫fin,1(ℕ) 中：（i）恰含两个元素的集合 A = {x, y} 是原子；（ii）公差 d ≥ 1、k ≥ 2 的算术级数集 A = a+d[0,k] 不是原子。
证明 （i）|B+C| ≥ |B|+|C|−1 对非空有限集 B, C ⊆ ℕ 初等成立：固定 c0 ∈ C，B+c0 是 |B| 个互异元；再取 c1 ≠ c0，则 bmax+c1 > bmax+c0，至少多出一元。于是 |B|, |C| ≥ 2 时 |B+C| ≥ 3 > 2，二元集的任何和分解必有单点因子，故是原子。（ii）k ≥ 2 时把 A 拆为两块：A = (a+d{0,1}) + d[0,k−1]。验证：右端 = {a+d·s : s ∈ {0,1}+[0,k−1]} = a+d[0,k]（{0,1}+[0,k−1] = [0,k] 因两区间相邻衔接）。两个因子各含 ≥ 2 元，且都不是单点集 ⟹ A 非原子。□
命题 2（power monoid 的弹性有限性；骨架） 𝒫fin,1(ℕ) 的弹性有限，且 Fan 给出显式上界与实现集；原子分解长度集具有与 H 的算术平行的周期结构。证明基于「指标压缩」技术（把集合长度问题归约为指标集的和分解问题），完整论证见 Fan–Geroldinger–Tringali 的系列论文。
命题 3（Frobenius 型问题的集合版；陈述） 「哪些有限集是若干原子的和集」（power monoid 的生成问题）与对应 Frobenius 问题的集合版（最大不可表示集）均开放；已知加法组合学的临界对理论（Cauchy–Davenport 等号的 Vosper 刻画）提供必要条件工具。
进展与文献
Fan–Geroldinger–Tringali《Factorization in power monoids》系列（2020 年代， 𝒫fin,1(ℕ) 与一般情形）；Fan–Tringali 的 power monoid 奠基论文（2018，J. Algebra）；加法组合学侧 Tao–Vu《Additive Combinatorics》的临界对工具。开放核心：power monoid 的完整原子分类（命题 1 只给出最简判据，一般有限集的原子分类远未完成）；弹性与 catenary 的精确值；power monoid 版 Frobenius 问题；与 40 号不变量网络的对接。