Given a compact p-adic Lie group over an arbitrary base field we prove that its distribution algebra is Fréchet-Stein with Auslander regular Banach algebras whose global dimensions are bounded above by the dimension of the group. As an application, we show that nonzero coadmissible modules coming from smooth or, more generally, U(g)-finite representations have a maximal grade number (codimensio...
