Linear forms on Sinnott's module

This paper proves a result concerning linear forms on the Sinnott module. This is perhaps of intrinsic interest, and it is needed in another paper of the same authors. We obtain a congruence which can be interpreted as a strengthening of a congruence of Anthony Hayward.