模理论
模理论研究模，它是向量空间的推广，其中标量来自环而非域，统一了线性代数、阿贝尔群理论和环的表示理论。
用 PaperMind 寻找选题即将推出Find papers & topics
Tools & resources
Learn & explore
视频即将推出
Definition
环R上的模是一个阿贝尔群，连同R的一个作用，该作用与群结构兼容，推广了向量空间（域上的模）和阿贝尔群（整数上的模）。模理论研究这些结构以及它们之间的映射。
Scope
该领域涵盖模和子模、商模和同态、自由模和投射模、直和与直积、正合序列、张量积和双线性映射，以及主理想域上有限生成模的结构定理。它提供了现代代数中使用的同调语言。
Sub-topics
Core questions
- 模何时具有基，自由模与向量空间有何不同？
- 如何对主理想域上有限生成模进行分类？
- 张量积如何编码双线性构造和环的变更？
- 哪些同调不变量（投射性、正合性）衡量模未能表现出向量空间特性的程度？
Key theories
- 主理想域上有限生成模的结构定理
- 主理想域上的每个有限生成模都可以分解为自由模和循环挠模的直和，其不变量（初等因子或不变因子）对其进行同构分类。
- 张量积的普适性质
- 两个模的张量积是双线性映射的普适目标，将双线性构造转化为线性构造，并实现环之间的基变换。
- 自由模、投射模和正合序列
- 自由模推广了基的概念，投射模是自由模的直和项，短正合序列及其分裂捕捉了模如何由子模和商模构建，奠定了同调代数的基础。
Clinical relevance
模理论统一并推广了核心构造：有限生成阿贝尔群的分类和线性算子的规范形式都是PID结构定理的实例，而群环上的模正是表示，将模理论与表示理论、代数拓扑和交换代数联系起来。
History
模推广了戴德金的理想和19世纪算术中的阿贝尔群，并由埃米·诺特置于代数的核心地位，她认识到理想、理想的商和表示都是模。该主题成为卡坦、艾伦伯格和麦克莱恩发展的同调代数的自然背景。
Key figures
- Emmy Noether
- Richard Dedekind
- Wolfgang Krull
- Emil Artin
- Saunders Mac Lane
Related topics
Seminal works
- lang2002
- dummit2004
- atiyah1969
Frequently asked questions
- 为什么不是每个模都像向量空间一样是自由模？
- 在域上，每个模都有一个基，但在一般环上，元素可能存在挠或关系，这些是任何基都无法表达的；例如，整数模n是整数上的一个模，但没有基。自由模是确实允许有基的特殊模。
- 模理论如何恢复线性代数和阿贝尔群？
- 域上的模恰好是向量空间，整数上的模恰好是阿贝尔群。因此，主理想域上的单一结构定理既产生了有限生成阿贝尔群的分类，也产生了矩阵的规范形式。