结构怎样进入现实：时空、晶体、编码与密码

旧体系在哪里遇到压力

抽象几何和群论后来进入许多领域：曲率用于时空和曲面建模，对称群组织晶体与分子结构，有限群与有限域支撑编码和密码算法，变换不变量也用于图像与数据分析。应用不是把高级名词贴到现实，而是明确对象、允许变换、保持量和可验证预测。

学习这一章时，先问“什么被改变了”：是一条公设、距离的定义、允许的根式运算，还是研究对象的表示。现代数学的结构观不是把内容抽空，而是更精确地追踪哪些关系在变化下仍然保存。

陪你算与验

以模7的非零余数1到6为例，它们在模7乘法下形成含6个元素的群；每个元素都有乘法逆元。比如3×5≡1(mod 7)，所以5是3的逆元。有限群提供可计算的复合与逆操作，但真实密码安全还依赖问题规模、算法选择和已知攻击，不能由‘用了群’自动保证。

每次计算都要写明所属体系。角和必须标注欧氏、双曲或球面；置换必须标注复合运算；不变量必须标注允许的变换群；模运算必须标注模数。省略体系后，正确数字也可能表达错误命题。

历史边界

广义相对论并非证明所有空间都必须弯，晶体对称也不表示材料所有性质都由群唯一决定。数学结构要经过测量、参数和误差同现实连接。现代应用的严格验收是：模型能产生什么预测，哪些变换下结论保持，数据反例怎样迫使模型修正。

历史比较继续坚持四层：原问题、采用的对象与记号、能够推出的结果、后来理论增加的统一性。不要把后来的术语原样倒贴给早期工作，也不要把“与现代不同”误写成“没有贡献”。独立发现、公开发表和后续传播也应分开表述。

请额外做一张两列表：左列写本课保留的定义与推理规则，右列写被替换的公设、度量或允许变换。任何结论都必须能在表中找到依赖项。

全章递进

平行公设的失败证明打开多种几何；双曲几何展示替代体系；黎曼把度量和曲率推广到一般空间；方程可解性催生群；变换群引出不变量与结构分类；现代应用再把抽象结构映回可测对象。后一课必须回答前一课留下的问题。

迁移任务

更换正文对象重新计算：改三角形角度、增加置换对象、换一个多边形或模数。随后指出一个保持量和一个不保持量，并写出结论依赖的公设、变换或运算边界。只报人物、术语或结果，不算通过。

本课验收

完成单选、多选和数值题。数值题保留体系与运算；选择题必须排除把某个体系结论无条件推广到所有几何、方程或现实应用的选项。