Related papers: Subgroups of depth three and more

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…

Let H be a finite dimensional semisimple Hopf algebra over an algebraically closed field of characteristic zero. In this note we give a short proof of the fact that a Hopf subalgebra of H is a depth two subalgebra if and only if it is…

We introduce a notion of depth three tower of three rings C < B < A as a useful generalization of depth two ring extension. If A = End B_C and B | C is a Frobenius extension, this also captures the notion of depth three for a Frobenius…

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

Study of the quotient module of a finite-dimensional Hopf subalgebra pair in order to compute its depth yields a relative Maschke Theorem, in which semisimple extension is characterized as being separable, and is therefore an ordinary…

We prove that a depth two Hopf subalgebra K of a semisimple Hopf algebra H is normal (where the ground field $k$ is algebraically closed of characteristic zero). This means on the one hand that a Hopf subalgebra is normal when inducing…

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…

We introduce a notion of depth three tower of three rings C < B < A with depth two ring extension A | B recovered when B = C. If A = \End B_C and B | C is a Frobenius extension, this captures the notion of depth three for a Frobenius…

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…

Let H be a cosemisimple Hopf algebra over an algebraically closed field k which contains a simple subcoalgebra of dimension 9. We show that if H has no simple subcoalgebras of even dimension then H contains either a grouplike element with…

In this paper we classify, up to equivalence, all semisimple nontrivial Hopf algebras of dimension $2^{2n+1}$ for $n\geq 2$ over an algebraically closed field of characteristic $0$ with the group of group-like elements isomorphic to…

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

In this paper we consider some properties of semisimple Hopf algebras of dimension pq where p and q are distinct primes. These properties are useful for classification of such Hopf algebras. In particular, we show that for such a Hopf…

Let $B\rightarrow A$ be a homomorphism of Hopf algebras and let $C$ be an algebra. We consider the induction from $B$ to $A$ of $C$ in two cases: when $C$ is a $B$-interior algebra and when $C$ is a $B$-module algebra. Our main results…

A classification of the semisimple subalgebras of the Lie algebra of traceless $3\times 3$ matrices with complex entries, denoted $A_2$, is well-known. We classify its nonsemisimple subalgebras, thus completing the classification of the…

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

We investigate when a weak Hopf algebra H is Frobenius; we show this is not always true, but it is true if the semisimple base algebra A has all its matrix blocks of the same dimension. However, if A is a semisimple algebra not having this…

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

After a summary on module algebra actions of C^*-weak Hopf algebras we outline the proof of a reconstruction theorem stating that every finite index depth 2 inclusion N < M of unital C^*-algebras with finite dimensional centers is…