Related papers: Depth three towers of rings and groups

We study Frobenius 1-morphisms $\i$ in an additive bicategory $\c$ satisfying the depth 2 condition. We show that the 2-endomorphism rings $\c^2(\i\x\ib,\i\x\ib)$ and $\c^2(\ib\x\i,\ib\x\i)$ can be equipped with dual Hopf algebroid…

Let $\Cc$ and $\Dd$ be two corings over a ring $A$ and $\Cc\stackrel{\lambda}{\longrightarrow}\Dd$ be a morphism of corings. We investigate the situation when the associated induced ("corestriction of scalars") functor…

A theory of monoids in the category of bicomodules of a coalgebra $C$ or $C$-rings is developed. This can be viewed as a dual version of the coring theory. The notion of a matrix ring context consisting of two bicomodules and two maps is…

In this note we reduce certain proofs in \cite{KS, Karl, AMA} to depth two quasibases from one side only. This minimalistic approach leads to a characterization of Galois extensions for finite projective bialgebroids without the Frobenius…

We revisit the concept of special algebras, also known as \textit{purely inseparable ring extensions}. This concept extends the notion of purely inseparable field extensions to the more general context of extensions of commutative rings. We…

We consider several diffeomorphism invariant field theories of 2- and 3-forms in six dimensions. They all share the same kinetic term $BdC$, but differ in the potential term that is added. The theory $BdC$ with no potential term is…

We introduce the concept of relational depth of a finite semigroup $S$ whose $J$-classes form a chain. It captures how far down in the ideal structure one is obliged to go in order to define the semigroup by generators and defining…

We propose a notion of depth with respect to a finite family $\mathcal{F}$ of convex sets in $\mathbb{R}^d$ which we call $\text{dep}_\mathcal{F}$. We begin showing that $\text{dep}_\mathcal{F}$ satisfies some expected properties for a…

We consider certain categorical structures that are implicit in subfactor theory. Making the connection between subfactor theory (at finite index) and category theory explicit sheds light on both subjects. Furthermore, it allows various…

It is shown the Connor Conjecture which states the depth of H*(G) is equal to $\omega_G$, the minimum value of the dimensions of associated primes is equivalent to the the statement that there exists an elementary abelian subgroup E of G…

A foundational result by C. Huneke and V. Trivedi provides a formula for the depth of an ideal in terms of height, computed over a finite set of prime ideals, for rings that are homomorphic images of regular rings. Building on a result by…

In this article, we define three new operations on ideals which generalize integral closure and Frobenius closure of ideals, whose definitions incorporate an auxiliary ideal and a real parameter. These additional ingredients are common in…

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…

A complete local ring of embedding codepth 3 has a minimal free resolution of length 3 over a regular local ring. Such resolutions carry a differential graded algebra structure, based on which one can classify local rings of embedding…

The Frobenius depth denoted by $\Fdepth$ defined by Hartshorne-Speiser in 1977 and later by Lyubeznik in 2006, in a different way, for rings of positive characteristic. The aim of the present paper is to compare the $\Fdepth$ with formal…

The integral group rings $\mathbb{Z}G$ for finite groups $G$ are precisely those fusion rings whose basis elements have Frobenius-Perron dimension 1, and each is categorifiable in the sense that it arises as the Grothendieck ring of a…

Jones and Penneys showed that a finite depth subfactor planar algebra embeds in the bipartite graph planar algebra of its principal graph, via a Markov towers of algebras approach. We relate several equivalent perspectives on the notion of…

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…

Let $S$ be the left bialgebroid $\End {}_BA_B$ over the centralizer $R$ of a right D2 algebra extension $A \| B$, which is to say that its tensor-square is isomorphic as $A$-$B$-bimodules to a direct summand of a finite direct sum of $A$…

Let p be a prime. For any finite p-group G, the deep transfers T(H,G'):H/H' --> G'/G'' from the maximal subgroups H of index (G:H)=p in G to the derived subgroup G' are introduced as an innovative tool for identifying G uniquely by means of…