We consider a class of extensions of both abstract and pseudocompact algebras, which we refer to as "strongly proj-bounded extensions". We prove that the finiteness of the left global dimension and the support of the Hochschild homology is preserved by strongly proj-bounded extensions, generalizing results of Cibils, Lanzillota, Marcos and Solotar. Moreover, we show that the finiteness of the big left finitistic dimension is preserved by strongly proj-bounded extensions. In order to construct examples, we describe a new class of extensions of algebras of finite relative global dimension, which may be of independent interest.
Pseudocompact algebrasLet k be an algebraically closed field (thought of as a discrete topological ring). A pseudocompact k-algebra is an inverse limit of finite dimensional associative k-algebras, taken in the category of topological algebras -see for instance [Bru66] for an introduction to pseudocompact objects. Morphisms in the category of pseudocompact algebras are continuous algebra homomorphisms. Pseudocompact algebras arise in several natural contexts: completed group algebras of profinite groups, the objects of study in the