Prefer a chat interface with context about you and your work?
Noetherian PI Hopf algebras are Gorenstein
We prove that every noetherian affine PI Hopf algebra has finite injective dimension, which answers a question of Brown (1998).