53996b86e7644641.tex
1: \begin{abstract}
2: \noindent A subalgebra pair of semisimple complex algebras $B \subseteq A$ with inclusion matrix $M$ is depth two iff  $MM^t M \leq nM$ for some positive integer
3: $n$ and all corresponding entries.  If $A$ and $B$ are the
4: group algebras of finite group-subgroup pair $H < G$,
5:  the induction-restriction table equals
6: $M$ and $S = MM^t$ satisfies $S^2 \leq nS$ iff the subgroup
7: $H$ is depth three in $G$; similarly
8: depth $n > 3$ by successive right multiplications of this inequality with alternately $M$ and $M^t$.
9: We show that a Frobenius complement in a Frobenius group
10: is a nontrivial class of examples of depth three subgroups.  A tower of Hopf algebras $A \supseteq B \supseteq C$ is shown to be depth-3 if $C \subset \mtr{core}(B)$; and this is 
11: also a necessary condition if $A$, $B$ and $C$
12: are group algebras.
13: \end{abstract}
14: