A tower condition characterizing normality

From MaRDI portal



Abstract: We define left relative H-separable tower of rings and continue a study of these begun by Sugano. It is proven that a progenerator extension has right depth two if and only if the ring extension together with its right endomorphism ring is a left relative H-separable tower. In particular, this applies to twisted or ordinary Frobenius extensions with surjective Frobenius homomorphism. For example, normality for Hopf subalgebras of finite-dimensional Hopf algebras is also characterized in terms of this tower condition.


In this paper, the author defines and investigates a left relative separable tower of rings. It is shown that a progenerator extension has right depth 2 if and only if the ring extension together with its right endomorphism ring is a left relative H-separable tower. This result applies to twisted or ordinary Frobenius extensions with a surjective Frobenius homomorphism. Thereby, normality for Hopf subalgebras of finite dimensional Hopf algebras is characterized via this tower condition.











This page was built for publication: A tower condition characterizing normality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q297519)