问题
数值半群的间隙 x 称为孤立的，若 x−1 与 x+1 都是半群元素。孤立间隙与半群的两元素生成性、对称性等结构性质耦合（Bras-Amorós–Serrano 的系统研究之后，这类间隙成为 «半群局部形态» 的探针）。基本问题：孤立间隙的个数与分布有没有公式？没有附加约束时 «最多有多少个孤立间隙» 这样的初等量，答案出人意料地平凡（下文命题 1 给出完整刻画：可达 g）；真正开放的是附加约束下的极值（固定 type、固定嵌入维数、固定重数）以及孤立间隙与其它不变量的联合分布。
主要概念
孤立性与局部形态
两个孤立间隙不能相邻（x 孤立 ⟹ x+1 ∈ S），故孤立间隙之间至少隔一个位置。直观的 «至多一半» 估计是错的——孤立间隙不必 «隔一取一»，它们可以以 «隔二» 的密度铺满整个间隙带（下文直尾例子）。孤立间隙与伪 Frobenius 数 P(S) = {x 间隙 : x+s ∈ S 对一切非零元素 s}（其个数即 type，05 号的主角）有对偶关系：命题 2 证明伪 Frobenius 数在对合 x ↦ c−1−x 下映到 «间隙或零»。
直尾半群作为极端例子
02 号引入的直尾半群 ⟨2,M⟩ = 2ℕ∪[M,∞)：间隙是 M 以下的全部奇数，而每个奇数的两侧都是偶数（属于 2ℕ ⊆ S）——全部间隙孤立。这把 «无约束最大孤立间隙数» 一次性解决：上界是平凡的 g，且被达到。
主要命题与证明
命题 1（无约束极值的完整刻画） 孤立间隙两两不相邻，故孤立间隙数 ≤ g；且对每个 g ≥ 1 存在孤立间隙数恰为 g 的半群（如 S = ⟨2, M⟩，M 偶数使 g = (M−2)/2）。故无约束下 «最大孤立间隙数» = g。
证明 上界：孤立间隙的相邻位置是元素，故每个孤立间隙 «占用» 一个间隙位，个数不超过间隙总数 g（更精细的 «隔一取一» 估计不成立，因为两个孤立间隙可以相差 2）。可达性：S = ⟨2,M⟩ = {0,2,4,…}∪[M,∞)，M 为偶数。间隙集 = {1,3,5,…,M−3}（奇数且 < M），g = (M−2)/2。任取间隙 x（奇数，1 ≤ x ≤ M−3）：x−1 与 x+1 是偶数；若为正则属于 2ℕ ⊆ S，若 x−1 = 0 属于 S，若 x+1 ≥ M 属于 [M,∞) ⊆ S。故每个间隙孤立，孤立间隙数 = g。□
命题 2（伪 Frobenius 数的对偶引理；完整证明） 若 x ∈ P(S)，则 c−1−x ∈ {0} ∪ (S 的间隙集)。
证明 反证：设 y = c−1−x 是非零元素。则 x + y = c−1 是间隙（conductor 之下一）。但 x ∈ P(S) 且 y ∈ S∖{0}，按 P(S) 的定义 x+y ∈ S，矛盾。□
命题 3（孤立间隙与生成性的耦合，Bras-Amorós–Serrano；陈述） 两元素生成的半群 ⟨a,b⟩ 的孤立间隙可由 Apéry 集逐类显式计算（间隙 x 孤立 ⟺ x±1 落在相应的 «kb 之上、(k+1)b 之下» 的带内）；对称半群的孤立间隙个数与 c 的奇偶耦合（c 偶时 F = c−1 偶……精确：对称半群中 F 邻位的孤立性与 «c/2 是否元素» 对偶）。一般半群：孤立间隙计数公式不存在，且 «固定 type 的极值» 整层开放。
现状说明 两元素情形的显式性来自 Apéry 集是等差数列（01 号），孤立性逐带判定即可；一般情形 Apéry 集复杂（03 号），孤立间隙分布随之失去可控结构。Bras-Amorós–Serrano 的贡献是把 «孤立间隙» 与 «半群谱序列（pseudo-Frobenius 链）» 联系起来，给出若干不等式但无公式。□
进展与文献
Bras-Amorós–Serrano 关于孤立间隙的系统研究（2010 年代起）；Rosales–García-Sánchez 教科书《Numerical Semigroups》相应章节。开放核心：固定 type（05 号）、固定嵌入维数、固定重数下孤立间隙个数的极值；孤立间隙在 Sément 树上的传播规律（父半群的孤立间隙在删除/扩张操作下如何演化）；与 Wilf 猜想的耦合（孤立间隙密度与 n/g 的联合不等式）。