交换环上的极大性内射模

摘要

设R是交换环,■表示R的极大理想生成的乘法系,M是R-模.若对R的任何极大理想m,有ExtR1(R/m,M)=0,则M称为极大性内射模.若R自身为极大性内射模,则R称自极大性内射环.若对J∈■,x∈M,由Jx=0能推出x=0,则M称为■-无挠模.证明了在Dedekind整环上,M是极大性内射模当且仅当M是内射模.指出若R的极大理想都是有限生成的,则每个■-无挠模存在极大性内射包络.还证明了若R是■-无挠的自极大性内射模,则自反模是极大性内射模,且非极大素理想都是极大性内射模;若还有R的每个极大理想是有限生成的,则自由模与投射模是极大性内射模.最后,证明了在MFG整环上,平坦模是极大性内射模.