We show that if HH is a Hopf algebra with bijective antipode and B⊂AB⊂A is a faithfully flat HH-Galois extension, then AA is homologically smooth if HH and BB are.
生成讲解博客的中文版本
生成AI智能校验的中文版本