Abstract:An algebra extension A | B is right depth two if its tensor-square A\otimes_B A is in the Dress category Add A as A-B-bimodules. We consider necessary conditions for right, similarly left, D2 extensions in terms of partial A-invariance of two-sided ideals in A contracted to the centralizer. Finite dimensional algebras extending central simple algebras are shown to be depth two. Following P. Xu <a class="link-https" data-arxiv-id="math.QA/9905192" href="https://arxiv.org/abs/math.QA/9905192">math.QA/9905192</a>, left and right bialgebroids over a base algebra R may be defined in terms of anchor maps, or representations on R. The anchor maps for the bialgebroids S = End {}_BA_B and T = End {}_AA\otimes_BA_A over the centralizer R = C_A(B) are the modules {}_SR and R_T studied in <a class="link-https" data-arxiv-id="math.RA/0505004" href="https://arxiv.org/abs/math.RA/0505004">math.RA/0505004</a>, <a class="link-https" data-arxiv-id="math.RA/0408155" href="https://arxiv.org/abs/math.RA/0408155">math.RA/0408155</a> and <a class="link-https" data-arxiv-id="math.GR/0409346" href="https://arxiv.org/abs/math.GR/0409346">math.GR/0409346</a>, which provide information about the bialgebroids and the extension (cf. <a class="link-https" data-arxiv-id="math.QA/0409106" href="https://arxiv.org/abs/math.QA/0409106">math.QA/0409106</a>). The anchor maps for the Hopf algebroids in <a class="link-https" data-arxiv-id="math.KT/0105105" href="https://arxiv.org/abs/math.KT/0105105">math.KT/0105105</a> and <a class="link-https" data-arxiv-id="math.QA/0508411" href="https://arxiv.org/abs/math.QA/0508411">math.QA/0508411</a> reverse the order of right multiplication and action by a Hopf algebra element, and lift to the isomorphism in <a class="link-https" data-arxiv-id="math.QA/0508638" href="https://arxiv.org/abs/math.QA/0508638">math.QA/0508638</a>. We sketch a theory of stable $A$-modules and their endomorphism rings and generalize the smash product decomposition in Prop. 1.1, (L. Kadison, Hopf Algebroid and H-separable extensions, Proc. A.M.S. 131 (2003), 2993-3002) to any A-module. We observe that Schneider's coGalois theory (<a class="link-external link-http" href="http://Isr.J.Math" rel="external noopener nofollow">this http URL</a> 1990) provides examples of codepth two, such as the quotient epimorphism of a finite dimensional normal Hopf subalgebra. A homomorphism of finite dimensional coalgebras is codepth two if and only if its dual homomorphism of algebras is depth two.

2. Doi-Koppinen Hopf modules and entwined modules

Frobenius and Mashke type Theorems for Doi-Hopf modules and entwined modules revisited: a unified approach

Doi-Hopf Modules, Yetter-Drinfel'D Modules And Frobenius Type Properties

3. Frobenius and separable functors for entwined modules

Rudiment of Weak Doi-Hopf Π-Modules

Separable functors for Doi-Hopf modules. Applications

Alternative Doi-Hopf Modules over Weak Hopf Algebras

Doi-Koppinen modules for quantum groupoids

Injective Envelopes, Cogenerators and Direct Products in the Doi-Hopf Module Category

Frobenius properties and Maschke-type theorems for entwined modules

Braided monoidal categories and Doi Hopf modules for monoidal Hom-Hopf algebras

Entwining Structures in Monoidal Catrgories

Entwined comodules and contramodules over coalgebras with several objects: Frobenius, separability and Maschke theorems

Anchor maps and stable modules in depth two

INNER DEFORMATIONS OF ENTWINED MODULES AND THEIR SIMPLENESS

The braided monoidal structure on the category of Hom-type Doi-Hopf modules

Crossed modules and doi-hopf modules

Reconstruction of module categories in the infinite and non-rigid settings

Entwined modules over representations of categories

Comodule theories in Grothendieck categories and relative Hopf objects

Smash coproducts of bicomonads and Hom-entwining structures