Odd H-depth and H-separable extensions
Let C n(A,B) be the relative Hochschild bar resolution groups of a subring B ⊆ A. The subring pair has right depth 2n if C n+1(A,B) is isomorphic to a direct summand of a multiple of C n(A,B) as A-B-bimodules; depth 2n + 1 if the same condition holds only as B-B-bimodules. It is then natural to ask what is defined if this same condition should hold as A-A-bimodules, the so-called H-depth 2n − 1 condition. In particular, the H-depth 1 condition coincides with A being an H-separable extension of B....