Odd \(H\)-depth and \(H\)-separable extensions. (Q424161)

A ring extension \(B\subseteq A\) is said to have \(H\)-depth \(2n-1\geq 1\) if the \((n+1)\)-fold tensor product \(C_{n+1}:=A\otimes_B\cdots\otimes_BA\) is isomorphic to a direct summand of a direct sum of finitely many copies of the \(n\)-fold tensor product \(C_n:=A\otimes_B\cdots\otimes_BA\). This is a variant of depth studied in several recent papers by the author and some of his coauthors. For example, a ring extension \(B\subseteq A\) has \(H\)-depth \(1\) if and only if it is \(H\)-separable. In general, \(H\)-depth \(2n-1\) implies \(H\)-depth \(2n+1\). Also, \(H\)-depth \(2n-1\) implies depth \(2n\), and depth \(2n\) implies \(H\)-depth \(2n+1\). For a Frobenius or quasi-Frobenius extension \(B\subseteq A\), the author compares the \(H\)-depth of \(B\subseteq A\) with the \(H\)-depth of the ring extension \(A\subseteq\text{End}(A_B)\). If \(A\) and \(B\) are semisimple complex algebras then the minimal \(H\)-depth \(d_H(B,A)\) can be computed in terms of the inclusion matrix of \(B\subseteq A\); in this case, \(d_H(B,A)\) is always finite.