Related papers: On the cokernel of the Baumslag rationalization

Let $G$ be a unique product group, i.e., for any two finite subsets $A$ and $B$ of $G$ there exists $x\in G$ which can be uniquely expressed as a product of an element of $A$ and an element of $B$. We prove that, if $C$ is a finite subset…

We present a class of abelian groups that exhibit a high degree of freeness while possessing no non-trivial homomorphisms to a canonical free object. Unlike prior investigations, which primarily focused on torsion-free groups, our work…

We study the commensurators of free groups and free pro-$p$ groups, as well as certain subgroups of these. We prove that the commensurator $Comm(F)$ of a non-abelian free group of finite rank $F$ is not virtually simple, answering a…

Let $(X ,x_0)$ be a pointed smooth proper variety defined over an algebraically closed field. The Albanese morphism for $(X ,x_0)$ produces a homomorphism from the abelianization of the $F$-divided fundamental group scheme of $X$ to the…

The Hanna Neumann conjecture states that if F is a free group, then for all nontrivial finitely generated subgroups H,K <= F, rank(H intersect K) - 1 <= [rank(H)-1] [rank(K)-1]. Where most papers to date have considered a direct graph…

We give a computational approach to theorem proving in homological algebra. This approach is based on computations in the free abelian category of an additive category $\mathbf{A}$. We show that the free abelian category is amenable to…

For finitely generated groups H and G, equipped with word metrics, a translation-like action of H on G is a free action such that each element of H acts by a map which has finite distance from the identity map in the uniform metric. For…

We establish structure results for Frobenius kernels of automorphism group schemes for surfaces of general type in positive characteristics. It turns out that there are surprisingly few possibilities. This relies on properties of the famous…

We show that the orthogonal free quantum groups are not inner amenable and we construct an explicit proper cocycle weakly contained in the regular representation. This strengthens the result of Vaes and the second author, showing that the…

In this paper, we will explicitly construct cofree coalgebras, by first constructing cofree precoalgebras (namely those not necessarily coassociative or counital). Our approach does not impose any condition to the coefficient ring, which…

We show that infinitely many alternating groups arise as quotients of the free group of rank 2, with kernel a characteristic subgroup. We also show that such simple quotients exist of arbitrarily large Lie rank. This resolves two questions…

Let G be an abelian group and let lambda be the smallest rank of any group whose direct sum with a free group is isomorphic to G. If lambda is uncountable, then G has lambda pairwise disjoint, non-free subgroups. There is an example where…

For which groups $G$ is it true that for all fields $k$, every non-monomial element of the group algebra $k\,G$ generates a proper $2$-sided ideal? The only groups for which we know this are the torsion-free abelian groups. We would like to…

The Baumslag-Solitar group $BS(2,3)$, is a so-called non-Hopfian group, meaning that it has an epimorphism $\phi$ onto itself, that is not injective. In particular this is equivalent to saying that $BS(2,3)$ has a non-trivial quotient that…

Let $M$ be a simply connected closed $4$-manifold. It is proved that any (possibly finite) compact Lie group acting effectively and homologically trivially on $M$ by homeomorphisms is an abelian group of rank at most two. As applications,…

Let $G$ be a simple simply connected group scheme defined over ${\mathbb F}_{p}$ and $k$ be an algebraically closed field of characteristic $p>0$. Moreover, let $B$ be a Borel subgroup of $G$ and $U$ be the unipotent radical of $B$. In this…

We show that countable non-abelian free groups admit uncountably many mutually singular elementwise conservative non-singular random subgroups, which are supported on infinite subgroups of infinite index and singular with respect to every…

Realizing free semicircular elements on the full Fock space, we prove an equivalence between rationality of operators obtained from them and finiteness of the rank of their commutators with right annihilation operators. This is an analogue…

Let $p$ be an odd prime, $F$ a field with a primitive $p^2$th root of unity, and $E=F(\sqrt[p]{b_1},\sqrt[p]{b_2})$ an elementary abelian extension of degree $p^2$. This paper studies the cohomological kernel $H^n(E/F,{\mathbb Z}/p{\mathbb…

We define homological area-radius pairs with surface diagrams. Using these, we adapt a proof of Gersten and Short \cite{gersten2002} to obtain a homological isoperimetric inequality for subgroups of type $FP_2$ which appear as kernels of…