半环代数中的有限生成同余与正规范模型

本文检阅了一个相对未被充分探索的半环代数中有限生成概念，即所有同余关系均为有限生成的半环代数。此类半环代数被称为“同余诺贝尔”。在发展充分的背景和示例之后，我们聚焦于实数序的正规范模型，并表明这一显而易见的选择虽然作为 $\mathbb{N}$-模并非有限生成，却既为“同余诺贝尔”又相对于 $\mathbb{N}$ 为平坦。