Subring depth, Frobenius extensions, and towers. (Q715116): Difference between revisions

Summary: The minimum depth \(d(B,A)\) of a subring \(B\subseteq A\) introduced in the work of \textit{R. Boltje, S. Danz} and \textit{B. Külshammer} [J. Algebra 335, No. 1, 258-281 (2011; Zbl 1250.20001)] is studied and compared with the tower depth of a Frobenius extension. We show that \(d(B,A)<\infty\) if \(A\) is a finite-dimensional algebra and \(B^e\) has finite representation type. Some conditions in terms of depth and QF property are given that ensure that the modular function of a Hopf algebra restricts to the modular function of a Hopf subalgebra. If \(A\supseteq B\) is a QF extension, minimum left and right even subring depths are shown to coincide. If \(A\supseteq B\) is a Frobenius extension with surjective Frobenius homomorphism, its subring depth is shown to coincide with its tower depth. Formulas for the ring, module, Frobenius and Temperley-Lieb structures are noted for the tower over a Frobenius extension in its realization as tensor powers. A depth 3 QF extension is embedded in a depth 2 QF extension; in turn certain depth \(n\) extensions embed in depth 3 extensions if they are Frobenius extensions or other special ring extensions with ring structures on their relative Hochschild bar resolution groups.