分次投射模(graded projective module)投射模的分次形式.給定G分次環R及G分次R模M.若M有由齊次元組成的基。
定義
分次投射模(graded projective module)投射模的分次形式.給定G分次環R及G分次R模M.若M有由齊次元組成的基,即
則稱M為分次自由的.在範疇R-gr中的投射(內射)對象稱為分次投射(內射)模.若M, E E R-gr,則M是分次投射對象,若且唯若M作為R模是投射的;E是分次內射R模,若且唯若函子Hom(一,E)是正合的.但分次內射模E作為R模未必是內射的.