Note on \(H\)-separable Frobenius extensions (Q1895938)

This is the author's twelfth paper which deals with the notion of \(H\)- separable ring extensions and which has appeared in the Hokkaido Mathematical Journal. The paper is well summarized by the statement of the last result, Proposition 2. Let a ring \(A\) be an \(H\)-separable extension of a subring \(B\), let \(C\) be the center of \(A\), let \(D\) be the centralizer of \(B\) in \(A\), and let \(B'\) be the centralizer of \(D\) in \(A\). If \(A\) is a Frobenius extension of \(B\), then \(D\) is a Frobenius extension of \(C\); and if \(D\) is a Frobenius extension of \(C\), then \(A\) is a Frobenius extension of \(B'\). Indeed, the preceding Theorems 1 and 2 may be taken to be corollaries of Proposition 2. The remaining theorem of the paper asserts that whenever \(A\) is an \(H\)-separable, Frobenius extension of \(B\), \(A\) is a subring of a ring \(S\) such that the centralizer of \(A\) in \(S\) is the center of \(S\), and \(T\) is the double centralizer of \(B\) in \(S\); then \(S\) is an \(H\)-separable, Frobenius extension of \(T\). The fact that \(S\) is isomorphic as a left (right) \(T\)-module to \(T\otimes_BA\) (\(A\otimes_BT\)) is not stated, but is easily derived from the author's arguments.