無撓f模(torsion-free f-module ) .f模的子類.設HM是f模，若.1z = 0，有.l=0或z=0，其中久ER,zEM，則稱M為無撓f模.若R是全序環，則每個無撓f模是無撓全序模的次直積;一個f模是無撓的充分必要條件是，它為孤立模.若M是全序環R上的無撓R模，則對任意.zEM,R+二是M的一個序.
