Study of the quotient module of a finite-dimensional Hopf subalgebra pair in order to compute its depth yields a relative Maschke Theorem, in which semisimple extension is characterized as being separable, and is therefore an ordinary Frobenius extension. We study the core Hopf ideal of a Hopf subalgebra, noting that the length of the annihilator chain of tensor powers of the quotient module is linearly related to the depth, if the Hopf algebra is semisimple. A tensor categorical definition of depth is introduced, and a summary from this new point of view of previous results are included. It is shown in a last section that the depth, Bratteli diagram and relative cyclic homology of algebra extensions are Morita invariants.
"Algebra depth in tensor categories." Bull. Belg. Math. Soc. Simon Stevin 23 (5) 721 - 752, december 2016. https://doi.org/10.36045/bbms/1483671623