“如果我们将0也加入考虑，并定义 S0=S∪{0}S_0 = S \cup \{0\}S0=S∪{0}（如果 $$0 otin S），或者直接考虑），或者直接考虑 ），或者直接考虑S在自然数加法幺半群在自然数加法幺半群在自然数加法幺半群(\mathbb{N}_0, +$$ 中的性质。”秦风在草稿纸上写道。
“条件1保证了 SSS（或 S0S_0S0）在加法运算下的封闭性。条件2则给出了这个子半群的一个‘下界’。”
“现在，考虑在整数环 Z\mathbb{Z}Z 中，由集合 SSS 生成的理想 I(S)={∑i=1mcisi∣si∈S,ci∈Z}I(S) = \{ \sum_{i=1}^m c_i s_i | s_i \in S, c_i \in \mathbb{Z} \}I(S)={∑i=1mcisi∣si∈S,ci∈Z}。”
“由于 Z\mathbb{Z}Z 是主理想整环，所以 I(S)I(S)I(S) 必然可以由一个元素生成，即 I(S)=(d0)I(S) = (d_0)I(S)=(d0)，其中 d0=gcd?(S)d_0 = \gcd(S)d0=gcd(S)。”
“这说明，SSS 中所有元素的最大公约数 d0d_0d0，可以表示为 SSS 中元素的整数线性组合。”
“接下来，我们需要将这个结论与 SSS 本身的加法封闭性以及正整数下界联系起来。”
秦风的思路开始转向一个在大学代数学中才会详细讨论的概念——数值半群（Numerical Semigroup）。一个数值半群是由一组正整数在加法下生成的，且其最大公约数为1的半群。着名的Frobenius Coin Problem就是研究这类半群的一个经典问题。
“如果 gcd?(S)=d\gcd(S) = dgcd(S)=d，那么我们可以考虑集合 S/d={s/d∣s∈S}S/d = \{s/d | s \in S\}S/d={s/d∣s∈S}。这个新的集合，其元素的最大公约数为1，并且仍然满足加法封闭性。根据数值半群的理论，一个最大公约数为1的加法封闭正整数集合，必然会包含从某个足够大的整数（称为Frobenius数）之后的所有整数。”
“结合条件2，SSS 中的元素都有下界 kkk，这意味着 S/dS/dS/d 中的元素也有下界 k/dk/dk/d。那么，S/dS/dS/d 必然是形如 {m0,m0+1,m0+2,…?}\{m_0, m_0+1, m_0+2, \dots \}{m0,m0+1,m0+2,…} 的形式，或者是一个有限集合（但这与加法封闭性以及包含所有足够大整数的性质似乎有矛盾，除非S本身就是某个数的倍数集）。”
秦风的笔尖飞快地在纸上跳跃，一行行抽象的符号和逻辑推演，看得旁边偶尔瞥见的考生头皮发麻，感觉自己仿佛在看一本来自外星球的数学天书。
“幺半群？理想？Frobenius数？这……这都是什么鬼东西？！”
“我确定我参加的是高中数学竞赛，不是大学数学系的博士资格考试吗？”
“妈妈，我想退赛！这个秦风根本就不是跟我们在一个次元比赛啊！”
考场前排，那两位一直密切关注着秦风的监考老师，此刻已经彻底石化了。
“老……老张……你……你看得懂他在写什么吗？”戴金丝眼镜的中年监考老师，声音都有些发颤，他指着秦风草稿纸上那些他只在大学选修抽象代数时才见过的符号，感觉自己的认知受到了毁灭性的冲击。
经验丰富的老监考员张老师，此刻也是一脸的呆滞，他使劲揉了揉自己的眼睛，又扶了扶差点滑落的老花镜，喃喃道：“如果我没看错的话……他……他好像在用……在用代数结构理论……来分析这道数论题？”
“这……这已经完全超出了高中竞赛的范畴了吧？！这……这简直是降维打击啊！”中年监考老师感觉自己的呼吸都有些困难了。
他们原本以为，秦风能用一种巧妙的方法解出这道题，就已经很了不起了。却万万没想到，秦风居然……居然还在用更高级、更抽象的数学工具，对这道题进行着“花式吊打”！
这已经不是“才情惊艳”了，这简直是“妖孽降世”！
而在监控室内，钱卫国教授和几位数学出题组的核心专家，更是看得眼珠子都快瞪出来了。
“数值半群理论？！他……他居然连这个都知道？！”一位主攻数论方向的老教授，激动得猛地从椅子上站了起来，指着屏幕上秦风草稿纸的特写，声音都有些变调了，“这个理论，在国内的本科数学教学中，都很少会涉及到！他一个高中生，是从哪里学来的？！”
本小章还未完，请点击下一页继续阅读后面精彩内容！