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.

The Correct and Efficient Implementation of Appropriateness Specifications for Typed Feature Structures

A Class of Completely Positive Maps

Gorenstein Global Dimension and Hopf Algebroid Actions

Infinitesimal (BiHom-)bialgebras of any weight (II): Representations

Trivial Endomorphisms of the Calkin Algebra

Unipotent representations of real classical groups

Horofunctions on the Heisenberg and Cartan groups

On a class of multiplicity-free nilpotent K_C-orbits

Inner Functions and Cyclic Composition Operators on H2(Bn)

Noncommutative domains, universal operator models, and operator algebras, II

Discrete product systems of Hilbert bimodules

Equilibrium States of Endomorphisms of : Spectral Stability and Limit Theorems

On some representations of degenerate affine Hecke algebras of type $BC_{n}$

Endomorphisms of mapping tori

Noncommutative Bohnenblust--Hille Inequality for qudit systems

Free holomorphic automorphisms of the unit ball of $B(H)^n$

H-Unitality of Smooth Groupoid Algebras

On homological notions of Banach algebras related to a character

The Hitchin Image in Type-D

Anchor maps and stable modules in depth two

On the semigroup of monoid endomorphisms of the semigroup $\boldsymbol{B}_ω^{\mathscr{F}}$ with a two-element family $\mathscr{F}$ of inductive nonempty subsets of $ω$