Where `` P '' and `` Q '' are dual `` R '' modules ( of possibly infinite rank ) and denotes the projective .
Where `` P '' and `` Q '' are projective `` R '' -modules ( of possibly infinite rank ) and denotes the dual .