Related papers: Odd H-depth and H-separable extensions

We define a notion of depth for an inclusion of multimatrix algebras B < A based on a comparison of powers of the induction-restriction table M (and its transpose matrix). This notion of depth coincides with the depth from [Kadison, 2008].…

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…

We introduce a general notion of depth two for ring homomorphism N --> M, and derive Morita equivalence of the step one and three centralizers, R = C_M(N) and C = End_{N-M}(M \o_N M), via dual bimodules and step two centralizers A =…

A minimum depth d^I(S --> R) is assigned to a ring homomorphism S --> R and a R-R-bimodule I. The recent notion of depth of a subring d(S,R)in a paper by Boltje-Danz-Kuelshammer is recovered when I = R and S --> R is the inclusion mapping.…

A depth two extension $A \| B$ is shown to be weak depth two over its double centralizer $V_A(V_A(B))$ if this is separable over $B$. We consider various examples and non-examples of depth one and two properties. Depth two and its…

An algebra extension $A \| B$ is right depth two in this paper if its tensor-square is $A$-$B$-isomorphic to a direct summand of any (not necessarily finite) direct sum of $A$ with itself. For example, normal subgroups of infinite groups,…

In arXiv:1210.3178 it was shown that subgroup depth may be computed from the permutation module of the left or right cosets: this holds more generally for a Hopf subalgebra, from which we note in this paper that finite depth of a Hopf…

The separability tensor element of a separable extension of noncommutative rings is an idempotent when viewed in the correct endomorphism ring; so one speaks of a separability idempotent, as one usually does for separable algebras. It is…

An extension of $k$-algebras $B \subset A$ is said to have depth one if there exists a positive integer $n$ such that $ A$ is a direct summand of $ B^n$ in $_B\mtr{Mod}_B$. Depth one extensions of semisimple algebras are completely…

Let $n \geq 1$ be an integer, let $V=(\mathbb{Z}/2\mathbb{Z})^{n}$ and let $X$ be a $V$-CW-complex. If $X$ is a finite $CW$-complexe, the equivariant modulo $2$ cohomology of the $V$-CW-complexe $X$, denoted by $H_{V}^{*}(X,…

For any k-coalgebra C it is shown that similar quasi-finite C-comodules have strongly equivalent coendomorphism coalgebras; (the converse is in general not true). As an application we give a general result about codepth two coalgebra…

We define left relative H-separable tower of rings and continue a study of these begun by Sugano. It is proven that a progenerator extension has right depth two if and only if the ring extension together with its right endomorphism ring is…

We study the cyclic module ${}_SR$ for a ring extension $A \| B$ with centralizer $R$ and bimodule endomorphism ring $S = End {}_BA_B$. We show that if $A \| B$ is an H-separable Hopf subalgebra, then $B$ is a normal Hopf subalgebra of $A$.…

In this paper we explore minimum odd and minimum even depth sub algebra pairs in the context of double cross products of finite dimensional Hopf algebras. We start by defining factorization algebras and outline how subring depth in this…

A subalgebra pair of semisimple complex algebras B < A with inclusion matrix M is depth two if MM^t M < nM for some positive integer n and all corresponding entries. If A and B are the group algebras of finite group-subgroup pair H < G, the…

Let $\mathbb{M} = \{ M_n \}$ be a good $\mathfrak{q}$-filtration of a finitely generated $R$-module $M$ of dimension $d$, where $(R,\mathfrak{m})$ is a local ring and $\mathfrak{q}$ is an $\mathfrak{m}$-primary ideal of $R$. In case…

Depth three and finite depth are notions known for subfactors via diagrams and Frobenius extensions of rings via centralizers in endomorphism towers. From the point of view of depth two ring extensions, we provide a clear definition of…

We 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…

A procedure for constructing bivariant theories by means of Grothendieck duality is developed. This produces, in particular, a bivariant theory of Hochschild (co)homology on the category of schemes that are flat, separated and essentially…

Let $B$ be the split extension of a finite dimensional algebra $C$ by a $C$-$C$-bimodule $E$. We define a morphism of associative graded algebras $\varphi^*:\HH^*(B)\rightarrow \HH^*(C)$ from the Hochschild cohomology of $B$ to that of $C$,…