模的Fitting理想
**模的Fitting理想**
我们先从模的基本概念开始。模是环上的线性空间概念的推广。设R是环,M是左R-模。这意味着M上有加法运算,并且R中的元素可以作用在M上,满足分配律等条件。
现在考虑有限生成模。如果M可以由有限个元素m₁,...,mₙ生成,那么存在满同态f: Rⁿ → M,其中Rⁿ是自由R模。这个同态的核K = ker(f)是Rⁿ的子模,称为M的关系子模。
对于这样的满同态f: Rⁿ → M,我们可以考虑它的提升。具体来说,我们取自由分解Rᵐ → Rⁿ → M → 0,其中第一
2025-11-12 14:19:30
0