Homological Identities for Noncommutative Rings

The Auslander–Buchsbaum formula and Bassʹs theorem are proved for a class of nonlocal, noncommutative algebras (including certain affine PI Hopf algebras). We also show that each filtered noetherian affine PI Hopf algebra has finite injective dimension, which partially answers a question of Brown.