Dualizing complexes over noncommutative local rings (Q5942806): Difference between revisions

Noncommutative dualizing complexes were first introduced by \textit{A.~Yekutieli} [J. Algebra 153, No.~1, 41-84 (1992; Zbl 0790.18005)]; their existence for graded algebras was established by \textit{M.~Van den Bergh} [J.~Algebra 195, No.~2, 662-679 (1997; Zbl 0894.16020)]. The paper under review shows that dualizing complexes also exist over noncommutative Noetherian complete semilocal (ungraded) algebras and uses them to prove that the following classical results hold for not necessarily commutative Noetherian local algebras: the Auslander-Buchsbaum formula, the Bass theorem, and the no-holes theorem. The authors also establish catenarity for Noetherian complete semilocal PI algbras.