2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/100873We review the depth two and Hopf algebroid-Galois theory in math.RA/0108067 and specialize to induced representations of semisimple algebras and character theory of finite groups. We show that depth two subgroups over the complex numbers are normal subgroups. As a converse we observe that normal Hopf subalgebras over a field are depth two extensions. We introduce a generalized Miyashita-Ulbrich action on the centralizer of a ring extension, and apply it to a study of depth two and separable extensions, providing new characterizations of separable and H-separable extensions. With a view to the problem of when separable extensions are Frobenius, we supply a trace ideal condition for when a ring extension is Frobenius.final version, 19 pages. to appear: Communications in AlgebraGroup TheoryQuantum Algebra11R32, 16L60, 20L05, 20C15Depth two, normality and a trace ideal condition for Frobenius extensionstext