投射f模

投射f模(projective f-module)具有格序結構的投射模.設P是有單位元的左f環上的左f模。若給定f模M,N，滿L同態}: M->N和L同態}p: P->N，存在L同態尹:P->M，使得尹}=}P，即下圖是可換的，則稱屍為投射f模，其中的滿L同態要求正錐滿足州M+)=N十·對於投射f模有類M蘭似於模論的下列結果:

1.每個集S上的自由f模是投射的.

2. _f模的直和是投射的充分必要條件為每個直和項是投射.廠模.

3.每個f模是自由f模的L同態像.