For any compact p-adic Lie group G, the Iwasawa algebra   is an Artin–Schelter Gorenstein algebra. We obtain the Auslander–Buchsbaum formula, the Bass's theorem and the No-holes theorem for noetherian modules over   and  , and the dual versions for their artinian modules. It is shown that   is Morita self-dual via dualizing complexes. We finally consider the homological invariant “grade” of filtered modules over   and  , when G is a uniform pro-p group with certain properties.

Pour tout groupe de Lie G p-adique compact, l'algèbre d'Iwasawa   et son image épimorphique   sont des algèbres d'Artin–Schelter Gorenstein. Nous montrons la formule d'Auslander–Buchsbaum, le théorème de Bass et le théorème des « non trous » pour des modules noethériens sur  , ainsi que des versions duales pour leur modules artiniens. Il est montré que   est auto-duale au sens de Morita par des complexes dualisants. Finalement, nous considérons les invariants homologiques « grade » des modules filtrés sur   et  , lorsque G est un groupe uniforme pro-p satisfaisant certaines propriétés.