Related papers: Free-algebra functors from a coalgebraic perspecti…

The congruence subgroup problem for a finitely generated group $\Gamma$ asks whether $\widehat{Aut\left(\Gamma\right)}\to Aut(\hat{\Gamma})$ is injective, or more generally, what is its kernel $C\left(\Gamma\right)$? Here $\hat{X}$ denotes…

An orthogonal involution $\sigma$ on a central simple algebra $A$, after scalar extension to the function field $\mathcal{F}(A)$ of the Severi--Brauer variety of $A$, is adjoint to a quadratic form $q_\sigma$ over $\mathcal{F}(A)$, which is…

An approach to identify the normal subgroups determined by ideals in free group rings with the help of the derived functors of non-additive functors is explored. A similar approach, i.e., via derived functors, for computing limits of…

In this paper we provided an explicit construction for the left adjoint of the forgetful functor from the category of Heyting algebras to that of Hilbert algebras. This functor factorizes through the free implicative semilattice extension…

For each 1<s<\infty, a Popa algebra A_s is constructed that embeds as a weakly dense C*-subalgebra of the interpolated free group factor L(F_s). Certain approximation properties for A_s are shown. It follows that L(F_s) has the weak…

We provide a new description of the hom functor on weak $\omega$-categories, and we show that it admits a left adjoint that we call the suspension functor. We then show that the hom functor preserves the property of being free on a…

We prove a necessary and sufficient condition for the graded algebra of automorphic forms on a symmetric domain of type IV to be free. From the necessary condition, we derive a classification result. Let $M$ be an even lattice of signature…

A simple criterion for a functor to be finitary is presented: we call $F$ finitely bounded if for all objects $X$ every finitely generated subobject of $FX$ factorizes through the $F$-image of a finitely generated subobject of $X$. This is…

We investigate a construction which associates a finite von Neumann algebra $M(\Gamma,\mu)$ to a finite weighted graph $(\Gamma,\mu)$. Pleasantly, but not surprisingly, the von Neumann algebra associated to to a `flower with $n$ petals' is…

In this paper, we first introduce a weighted derivation on algebras over an operad $\cal P$, and prove that for the free $\cal P$-algebra, its weighted derivation is determined by the restriction on the generators. As applications, we…

An involution on a semigroup S (or any algebra with an underlying associative binary operation) is a function f:S->S that satisfies f(xy)=f(y)f(x) and f(f(x))=x for all x,y in S. The set I(S) of all such involutions on S generates a…

We show that the comma category $(\mathcal{F}\downarrow\mathbf{Grp})$ of groups under the free group functor $\mathcal{F}: \mathbf{Set} \to \mathbf{Grp}$ contains the category $\mathbf{Gph}$ of simple graphs as a full coreflective…

We study quantum spin chains solvable via hidden free fermionic structures. We study the algebras behind such models, establishing connections to the mathematical literature of the so-called ``graph-Clifford'' or ``quasi-Clifford''…

A map $f:X\to Y$ between topological spaces is skeletal if the preimage $f^{-1}(A)$ of each nowhere dense subset $A\subset Y$ is nowhere dense in $X$. We prove that a normal functor $F:Comp\to Comp$ is skeletal (which means that $F$…

We prove that independent rectangular random matrices, when embedded in a space of larger square matrices, are asymptotically free with amalgamation over a commutative finite dimensional subalgebra $D$ (under an hypothesis of unitary…

Let $\mathfrak{R}$ be a weakly noetherian variety of unitary associative algebras (over a field $K$ of characteristic 0), i.e., every finitely generated algebra from $\mathfrak{R}$ satisfies the ascending chain condition for two-sided…

A compact T-algebra is an initial T-algebra whose inverse is a final T-coalgebra. Functors with this property are said to be algebraically compact. This is a very strong property used in programming semantics which allows one to interpret…

We present a unified apoach to the study of separable and Frobenius algebras. The crucial observation is thsat both cases are related to the nonlinear equation $R^{12}R^{23}=R^{23}R^{13}=R^{13}R^{12}$, called the FS-equation. Given a…

Let $(\Gamma,+,F)$ be a finitely generated $\mathbb Z[F]$-module where $F$ is an injective endomorphism of the abelian group $\Gamma$. We restrict ourselves to a finite automa presentable subclass, introduced by J. Bell and R. Moosa in…

Motivated in part by the study of the stable homology of automorphism groups of free groups, we consider cohomological calculations in the category $\mathcal{F}(\textbf{gr})$ of functors from finitely generated free groups to abelian…