Related papers: Free Group Rings and Derived Functors
Can one detect free products of groups via their profinite completions? We answer positively among virtually free groups. More precisely, we prove that a subgroup of a finitely generated virtually free group $G$ is a free factor if and only…
As an extension of previous ungraded work, we define a graded $p$-polar ring to be an analog of a graded commutative ring where multiplication is only allowed on $p$-tuples (instead of pairs) of elements of equal degree. We show that the…
In this paper we establish a formal connection between the structure of ideals in integers rings and the theory of additive combinatorics. For integers rings with cyclic class groups, we prove a structural theorem demonstrating that every…
In their work on differential operators in positive characteristic, Smith and Van den Bergh define and study the derived functors of differential operators; they arise naturally as obstructions to differential operators reducing to positive…
We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…
In this paper we introduce a new notion by the help of the idealizer. This new notion is the separator of a subset of a semigroup. We investigate the properties of the separator in an arbitrary semigroup and characterize the unitary…
In natural characteristic, smooth induction from an open subgroup does not always give an exact functor. In this article we initiate a study of the right derived functors, and we give applications to the non-existence of projective…
We study the notion of fundamental group in the framework of descent-exact homological categories. This setting is sufficiently wide to include several categories of "algebraic" nature such as the almost abelian categories, the semi-abelian…
In the present paper we develop a small cancellation theory for associative algebras with a basis of invertible elements. Namely, we study quotients of a group algebra of a free group and introduce three axioms for the corresponding…
For a functor from the category of free presentations of a group to the category of all groups we define the boundary limit as an image of the natural map from limit to colimit. We show that the fourth dimension quotient of a group can be…
Protoadditive functors are designed to replace additive functors in a non-abelian setting. Their properties are studied, in particular in relationship with torsion theories, Galois theory, homology and factorisation systems. It is shown how…
We extend the classical Stallings theory (describing subgroups of free groups as automata) to direct products of free and abelian groups: after introducing enriched automata (i.e., automata with extra abelian labels), we obtain an explicit…
We give new and improved results on the freeness of subgroups of free profinite groups: A subgroup containing the normal closure of a finite word in the elements of a basis is free; Every infinite index subgroup of a finitely generated…
We introduce the notion of the $\infty$-category of (complete) derived $G$-graded modules over a $G$-graded ring $R$ for a torsion-free abelian group $G$, and we study its foundational properties. Moreover, we prove a categorical…
Measure free factors are a generalization of the notion of free factors of a group, in a measure theoretic context. We find new families of cyclic measure free factors of free groups and some virtually free groups, following a question by…
The paper is devoted to the study of absolute ideals of groups in the class $\mathcal{QD}1$, which consists of all quotient divisible abelian groups of torsion-free rank 1. A ring is called an $AI$-ring (respectively, an $RF$-ring) if it…
We determine a family of functors from a poset to abelian groups such that the higher direct limits vanish on them. This is done by first characterizing the projective functors. Then a spectral sequence arising from the grading of the poset…
In this paper we study definable families of functions from an ordered abelian group into various naturally arising definable quotients. We show that for an ordered abelian group $G$ and definable family of convex subgroups…
Let V(KG) be the normalized group of units of the group ring KG of a non-Dedekind group G with nontrivial torsion part t(G) over the integral domain K. We give a simple method for constructing free objects in V(KG).In particular, we show…
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…