Free Group Rings and Derived Functors

arXiv:1605.08196v1 [math.GR] 26 May 2016

Roman Mikhailov∗and Inder Bir S. Passi

Abstract. 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 functors from the
category of free presentations to the category of abelian groups, arising from commutator
structure of free groups, is also discussed.
2010 Mathematics Subject Classification. 18A30, 18E25, 20C05, 20C07
Keywords. Group rings, derived functors, generalized dimension subgroups.

1. Introduction
Let F be a free group and Z[F ] its integral group ring. In the theory of group rings
a repeatedly occurring theme is the identification of normal subgroups D(F, a) :=
F ∩ (1 + a) determined by two-sided ideals a in Z[F ] (see, e.g., [4], [10], [13]).
It is often the case that a certain normal subgroup N , say, is easily seen to be
contained in D(F, a), and computing the quotient D(F, a)/N usually becomes a
challenging problem. A classical instance of this phenomenon is the computation
of the so-called dimension quotients D(F, r + f n )/Rγn (F ), n ≥ 1, for a group
G with free presentation G ∼
= F/R, where r denotes the two-sided ideal of the
group ring Z[F ] generated by R − 1, and γn (F ) is the nth term of the lower
central series of F . More generally, if R1 , R2 , . . . , Rn are normal subgroups of F
and a is a sum of certain products ri1 . . . ris , then the identification of D(F, a) is
usually an intractable problem. However, it has recently been noticed that derived
functors of non-additive functors in the sense of Dold-Puppe [2] can be a useful
tool for investigations in this area; for, the quotient D(F, a)/N can sometime turn
out to have interesting homological or homotopical interpretation. To mention an
instance, let R be a normal subgroup of a free group F . It is well-known (see [4])
that D(F, f n ) = γn (F ), for all n ≥ 1, and D(F, fr) = γ2 (R). Surprisingly, it turns
out that D(F, f 3 +fr) is related to the first derived functor of the second symmetric
power functor: L1 SP2 (F/(γ2 (F )R)) [5]. The purpose of the present study is to
continue further our work in [11] on the relationship between free group rings and
derived functors of non-additive functors. In another direction, we extend our
results in [11] on the connection between derived functors in the sense of Dold∗ The first author acknowledges Saint-Petersburg State University for a research grant N
6.37.208.2016. This paper was completed during the visit of the first author to Indian Institute of Science Education and Reseach Mohali; he wishes to express his gratitude to the Institute
for its warm hospitality.

2

Roman Mikhailov and Inder Bir S. Passi

Puppe and limits of functors from the category of free presentations of groups to
the category of abelian groups.
Given a polynomial endofunctor F of degree n (see [3]) on the category of
abelian groups, say, for example, the nth symmetric power SPn , the nth Lie power
Ln , the nth super-Lie power Lns , or certain Schur functor, it has (in general, nonzero) derived functors Li F , i = 0, 1, 2, . . . , in the sense of Dold-Puppe [2]. It
turns out that the zeroth and the (n − 1)st derived functors L0 F , Ln−1 F usually
are the simplest ones to compute, and, in general they have a simple combinatorial
description. It is naturally to be expected that they appear in our analysis. In general, intermediate derived functors have a complicated structure, their appearance
in our study is indeed rather unexpected.
We begin by recalling, in Section 2, a needed basic fact about free group rings.
In Section 3 we develop the results on derived functors of certain functors which
help establish a connection between derived functors and subgroups determined by
ideals in free group rings. The main results of this paper are in Section 4, where
we exhibit several quotients of subgroups determined by ideals in free group rings
in terms of derived functors. To mention here just one of our results, Theorem 4.2
states that if 1 → R → F → G → 1 is a free presentation of a group G, and S is
the commutator subgroup [R, F ], then there are natural isomorphisms
F ∩ (1 + rfr + sr) ∼
= L1 SP2 (H2 (G)),
γ2 (S)γ3 (R)
F ∩ (1 + rfr + r2 f ) ∼
2
= L1 SP (H2 (G)),
γ2 (S)γ3 (R)
F ∩ (1 + s2 r + r2 fr) ∼
= L2 L3s (H2 (G)),
γ3 (S)γ4 (R)
where H2 (G) is the second integral homology group of the group G. Finally, in
Section 5, we give a number of identifications of the limits of functors, on the
category of free presentations of groups, as derived functors. Again, to mention
just one result, we prove in Theorem 5.1 that if a group G ∼
= F/R is 2-torsion-free,
then
R′′
2
∼
lim
= L1 SP (H4 (G, Z/2)),
←− γ2 ([γ2 (R), F ])γ3 (R′ )
where R′ , R′′ are respectively the first and the second derived subgroups of R.
For background on derived functors of non-additive functors, we refer the reader
to [1] and [2], and, for free groups rings, to [4].

2. Preliminaries
For a normal subgroup H of a group G, h denotes the two-sided ideal (H − 1)Z[G]
of the integral group ring Z[G]. We denote by γn (G), n ≥ 1, the nth term in the

3

Free Group Rings and Derived Functors

lower central series of G defined inductively by setting
G = γ1 (G),

γn+1 (G) = [G, γn (G)] =
h[x, y] := x−1 y −1 xy | x ∈ G, y ∈ γn (G)i, n ≥ 1.

For notational convenience, we also denote the derived subgroup γ2 (G) by G′ .
Let F be a free group, b ⊂ a and d ⊂ c ideals of Z[F ] such that
Tor(Z[F ]/a, Z[F ]/c) = 0,
where Tor = TorZ1 . Then the map (x, y) 7→ xy, x ∈ a, y ∈ c, induces an isomorphism ([6], Lemma 4.9.)
(a/b) ⊗Z[F ] (c/d) ∼
=

ac
.
bc + ad

(2.1)

3. Derived functors
For a functor T : C → A from an abelian catefory C to the category A of abelian
groups, Lp T denotes the pth derived functor of T at level 0, i.e., the functor
Lp T (−, 0) in the notation of Dold-Puppe [2]. Recall that the functor T : C → A
is said to be a polynomial functor of degree ≤ n if the (n + 1)st cross-effect T [n+1]
is zero [3].
3.1. Quadratic functors. Let Q be a free abelian group, and U a subgroup of
Q. Then we have the following commutative diagram with exact rows and columns
(see [1], [8]):
Λ2 (U ) /



L1 SP (Q/U ) /

/ SP2 (Q)

2


/ Q⊗Q

/ SP2 (Q)


/ Λ2 (Q)/Λ2 (U )


/ Q/U ⊗ Q

/ / SP2 (Q/U )

Λ (Q) /

2

/ U ⊗Q


(3.1)
where Λ2 and SP2 are the exterior square and the symmetric square endofunctors
respectively on the category A, and the homomorphisms are the natural maps
induced by the inclusion U ⊂ Q or the projection Q → Q/U . Of particular
interest to us is the lower 4-term exact sequence; as such we display it separately
for later reference:

4

Roman Mikhailov and Inder Bir S. Passi

0 → L1 SP2 (Q/U ) → Λ2 (Q)/Λ2 (U ) → Q/U ⊗ Q → SP2 (Q/U ) → 0

(3.2)

The following result, which is a generalization of the corresponding result in
[8], plays a crucial role in establishing a connection between subgroups determined
by ideals in free group rings and derived functors.
Theorem 3.1. Let E be an abelian group, and I a subgroup of E. The first
homology of the Koszul-type complex
Λ2 (I) → I ⊗ E → SP2 (E),
where the two homomorphisms are the natural maps induced by the inclusion I ⊆
E, is naturally isomorphic to
Coker{L1 SP2 (E) → L1 SP2 (E/I)}.

Proof. Let Q be a free abelian group with subgroups U ⊂ V such that
Q/U = E,

V /U = I.

Consider the following diagram
Λ2 (U ) /


/ U ⊗Q





/ V ⊗Q

2

Λ (V ) /

K /

/ SP2 (Q)

/ SP2 (Q)



/ Λ2 (V )/Λ2 (U )

/ V /U ⊗ Q

// C

resulting from the natural map between representatives
LSP2 (E) :

Λ2 (U ) /

/ U ⊗Q

/ SP2 (Q)

and
LSP2 (E/I) :

Λ2 (V ) /

/ V ⊗Q

/ SP2 (Q)

of L1 SP2 (E) and L1 SP2 (E/I) respectively in the derived category of A, where
K = Ker{L1 SP2 (E) → L1 SP2 (E/I)}

5

Free Group Rings and Derived Functors

and C lives in the exact sequence
L1 SP2 (E) → L1 SP2 (E/I) → C → SP2 (E) → SP2 (E/I),

(3.3)

as can be seen by easy diagram chasing. We assert that
C = I ⊗ E/Im(Λ2 (I) → I ⊗ E).

(3.4)

To see this, let us present Q as F/F ′ with F a free group and F ′ its derived
subgroup, and let R ⊂ S be normal subgroups of F such that
U = R/F ′ ,

V = S/F ′ .

With our notation for ideals in group rings induced by normal subgroups, we have,
in view of (2.1), natural isomorphisms
f ∼ sf + f 3
s + f2
⊗
.
I ⊗Q∼
=
=
r + f2
f2
rf + f 3
Therefore, there is a natural isomorphism
C∼
=

sf + f 3
(S ′ − 1) + rf + f 3

On the other hand,
s + f2
f
sf + f 3
∼
I ⊗E ∼
⊗
=
=
2
2
r+f
r+f
rf + sr + f 3
Now observe that
I ⊗ E/Im(Λ2 (I) → I ⊗ E) ∼
=

(S ′

sf + f 3
sf + f 3
∼
=
= C,
3
′
− 1) + rf + sr + f
(S − 1) + rf + f 3

and thus the isomorphism (3.4) is proved. Consequently the assertion in the Theorem follows from the exact sequence (3.3).
Given a subgroup I of an abelian group E, let Λ2 (I) denote the image of the
map Λ2 (I) → Λ2 (E) induced by the natural inclusion map I ֒→ E.
Theorem 3.2. If E is an abelian group, I a subgroup of E and
Tor(E/I, E) → L1 SP2 (E/I)
the composition of the two natural maps
Tor(E/I, E) → Tor(E/I, E/I) → L1 SP2 (E/I),
then there is a natural isomorphism
Coker{Tor(E/I, E) → L1 SP2 (E/I)} ∼
= Ker{Λ2 (E)/Λ2 (I) → E/I ⊗ E}.

6

Roman Mikhailov and Inder Bir S. Passi

Proof. Consider the following commutative diagram with exact columns:
Tor(E/I, E)

Λ2 (I)


2

Λ (E) /

2


/ I ⊗E

/ SP2 (E)


/ E⊗E

/ / SP2 (E)


/ E/I ⊗ E

2

Λ (E)/Λ (I)

Note that the middle horizontal sequence is exact. The homology exact sequence
together with Theorem 3.1 implies that there is a natural exact sequence
Tor(E/I, E) → Coker{L1 SP2 (E) → L1 SP2 (E/I)} ։ Ker{Λ2 (E)/Λ2 (I) → E/I⊗E}.
However,
Im{L1 SP2 (E) → L1 SP2 (E/I)} ⊆ Im{Tor(E/I, E) → L1 SP2 (E/I)}
and we thus obtain the asserted isomorphism.

3.2. Cubic functors. For an abelian group A, recall that L3s (A), the third super
Lie functor evaluated at A [1], is by definition the abelian group generated by
brackets {a, b, c}, a, b, c ∈ A, which are additive in each variable, and satisfy the
following defining relations:
{a, b, c} = {b, a, c},
{a, b, c} + {c, a, b} + {b, c, a} = 0.
Let Q be a free abelian group, and U a subgroup of Q. We note that the
following diagram
L3 (U ) /


/ U ⊗U ⊗Q


/ U ⊗Q⊗Q



L3 (Q) /


/ Q⊗Q⊗Q


/ Q⊗Q⊗Q




3

3

L (Q)/L (U )

/

Q⊗Q
U⊗U

⊗Q


/ Q/U ⊗ Q ⊗ Q

/ L3 (Q)
s

/ / L3s (Q)

7

Free Group Rings and Derived Functors

yields the natural exact sequence
0 → L2 L3s (Q/U ) → L3 (Q)/L3 (U ) →

Q⊗Q
⊗ Q.
U ⊗U

(3.5)

3.3. Metabelian Lie functor. Let 1 → R → F → G → 1 be a free presentation
of a group G. Let Hab denote the abelianization H/H ′ of the group H. Again, it
may be noted that the following diagram
Λ2 (R̄) ⊗ SPn−1 (Fab )

/ R̄ ⊗ SPn (Fab )



γn+1 (F )
(γn+1 (F )∩F ′′ )γn+2 (F )


/ Fab ⊗ SPn (Fab )
/


[R, R, F, F, ... , Fn−1

/ SPn+1 (Fab )

/ / SPn+1 (Fab )



γn+1 (F )
′′
terms ](F ∩γn+1 (F ))γn+2 (F )

/ Gab ⊗ SPn (Fab )

yields the natural exact sequence
0 → L1 SPn+1 (Gab ) →

γn+1 (F )
→
[R, R, F, F, . . . , F ](F ′′ ∩ γn+1 (F ))γn+2 (F )
|
{z
}
n−1

Gab ⊗ SPn (Fab ) → SPn+1 (Gab ) → 0, (3.6)

where F ′′ is the second derived subgroup of F .

4. Identification theorems
Theorem 4.1. Let R and S be normal subgroups of a free group F . Then there
is a natural isomorphism


R
F ∩ (1 + f 2 r + sr) ∼
2
.
(4.1)
L
SP
=
1
γ2 (R ∩ (F ′ S))γ3 (R)
R ∩ (F ′ S)
Moreover, if S is a normal subgroup of R, then


F ∩ (1 + rfr + sr) ∼
R
2
,
L
SP
=
1
γ3 (R)S ′
SR′


F ∩ (1 + r2 fr + s2 r) ∼
R
.
= L2 L3s
γ4 (R)γ3 (S)
SR′

(4.2)
(4.3)

8

Roman Mikhailov and Inder Bir S. Passi

Proof of (4.1). Let us set
R ∩ (SF ′ )
r
.
Q := R/R′ = Rab ∼
= , U :=
fr
R′
Observe that there is a natural monomorphism
R
r ∼
fr
f
⊗
⊗ Rab ֒→
=
R ∩ (SF ′ )
s + f2
fr
sr + f 2 r
resulting from the well-known identification of the second dimension subgroup:
F ∩ (1 + s + f 2 ) = SF ′ .
Next observe that
Λ2 (Q)/Λ2 (U ) ∼
=

R′
,
γ2 (R ∩ (SF ′ ))γ3 (F )

and
F ∩ (1 + sr + f 2 r) ⊆ R′ ,
since sr + f 2 r ⊂ fr and F ∩ (1 + fr) = R′ . Thus (4.1) follows from (3.2). ✷
Proof of (4.2). Let us set
r
Q := R/R′ = Rab ∼
= ,
fr

U :=

SR′
.
R′

Then
R′
S ′ γ3 (R)
r2
r ∼
r
⊗
.
Q/U ⊗ Q ∼
=
=
s + rf
fr
sr + rfr

Λ2 (Q)/Λ2 (U ) ∼
=

Since F ∩ (1 + sr + rfr) ⊆ R′ , the isomorphism (4.2) follows from (3.2). ✷
Proof of (4.3). In order to prove (4.3), observe that
γ3 (R)
γ3 (S)γ4 (R)
r3
r2
r ∼
Q⊗Q
⊗Q∼
⊗
.
=
= 2
U ⊗U
s + r2 f
fr
s2 r + r2 fr

L3 (Q)/L3 (U ) ∼
=

Since F ∩ (1 + s2 r + r2 fr) ⊆ F ∩ (1 + r2 f ) = γ3 (R), the isomorphism (4.3) follows
from the exact sequence (3.5). ✷
We next exhibit certain quotients constructed from a free presentation
1→R→F →G→1
of a group G which are independent of the chosen free presentation, and in fact
depend only on the second integral homology group H2 (G).

9

Free Group Rings and Derived Functors

Theorem 4.2. Let 1 → R → F → G → 1 be a free presentation of a group G,
and let S = [R, F ]. Then there are natural isomorphisms
F ∩ (1 + rfr + sr) ∼
= L1 SP2 (H2 (G)).
γ2 (S)γ3 (R)
F ∩ (1 + rfr + r2 f ) ∼
= L1 SP2 (H2 (G)).
γ2 (S)γ3 (R)
F ∩ (1 + s2 r + r2 fr) ∼
= L2 L3s (H2 (G)).
γ3 (S)γ4 (R)

(4.4)
(4.5)
(4.6)

Proof of (4.4) and (4.5). Let us set
r
Q := R/R′ = Rab ∼
= ,
fr
Then

U := S/R′ .

r ∼
r
r2
r ∼
Q/U ⊗ Q ∼
⊗
,
= R/S ⊗
=
=
fr
(S − 1) + rf
fr
(S − 1)r + rfr

and, since F ∩ (1 + fr + rf ) = S,
Q/U ⊗ Q ֒→

r2
r
r ∼
.
⊗
= 2
fr + rf
fr
fr + rfr

The exact sequence (3.2) implies that the left hand quotients in (4.4) and (4.5) are
naturally isomorphic to L1 SP2 (R/S). Note that there is a natural isomorphism
L1 SP2 (R/S) ∼
= L1 SP2 (H2 (G)).
To see this, observe that

R/S ∼
= H2 (G) ⊕ F

with F a free abelian group, and the asserted statements (4.4) and (4.5) thus follow
from the cross-effect formula for the functor L1 SP2 (see, for example, (10.3) [2]):
L1 SP2 (A ⊕ B) = L1 SP2 (A) ⊕ L1 SP2 (B) ⊕ Tor(A, B).
To prove (4.6), observe that the sequence 3.5 implies that there is an exact
sequence
r
r2
γ3 (R)
⊗ .
→ 2
(4.7)
0 → L2 L3s (R/S) →
2
γ3 (S)γ4 (R)
r f +s
fr
Thus the isomorphism (4.6) follows from the natural isomorphisms
L2 L3s (R/S) = L2 L3s (H2 (G))
and

r2
r
r3
⊗
=
.
r2 f + s2
fr
r2 fr + s2 r

10

Roman Mikhailov and Inder Bir S. Passi

✷
Using an implication, on the torsion in L1 SP2 (H2 (G)), of the result of R. Stöhr
[12] (see also Yu. V. Kuzmin [9]) on the torsion in F/[γc (R), F ], we immediately
have the following result.
Corollary 4.3. If R is a norml subgroup of a free group F , c ≥ 2 an integer, and
S = γc (R), then
F ∩ (1 + sfs + ([S, F ] − 1)s)
γ2 ([S, F ])γ3 (S)
is a torsion group of exponent dividing c2 .

Theorem 4.4. If R and S are normal subgroups of a free group F with S normal
in R, then there is a natural isomorphism
F ∩ (1 + rf + fs + f 3 ) ∼
= Coker{Tor((F/R)ab , (F/S)ab ) → L1 SP2 ((F/R)ab )}.
[F, S]R′ γ3 (F )
Proof. Let us set
E := F/SF ′ = (F/S)ab ,

I := RF ′ /SF ′ .

We then have natural isomorphisms
Λ2 (E) ∼
==

γ2 (F )
,
[F, S]γ3 (F )

Λ2 (E)/Λ2 (I) ∼
=

γ2 (F )
,
[F, S]R′ γ3 (F )

and

f
f
f2
∼
⊗
.
=
r + f2
s + f2
rf + fs + f 3
The assertion in the theorem thus follows from Theorem 3.2.
E/I ⊗ E ∼
=

Theorem 4.5. If 1 → R → F → G → 1 is a free presentation of a group G, and
n ≥ 2 an integer, then there is a natural isomorphism
F ∩ (1 + f ((F ′ − 1)Z[F ] ∩ f n ) + rf n + f n+2 ) ∼
= L1 SPn+1 (Gab ).
[R, R, F, . . . , F ](F ′′ ∩ γn+1 (F ))γn+2 (F )
| {z }
n−1

Proof. By (2.1), there is a natural isomorphism
(F/R)ab ⊗ SPn (Fab ) ∼
=

f
fn
∼
⊗
=
2
′
r+f
(F − 1)Z[F ] ∩ f n + f n+1
f n+1
n
′
rf + f ((F − 1)Z[F ] ∩ f n ) + f n+2

The asserted statement thus follows from the sequence (3.6).

11

Free Group Rings and Derived Functors

In particular, taking n = 2, 3, the preceding theorem yields the following interesting result.
Corollary 4.6. There are natural isomorphisms
F ∩ (1 + f (F ′ − 1) + rf 2 + f 4 ) ∼
= L1 SP3 (Gab ).
[R, R, F ]γ4 (F )
F ∩ (1 + f ((F ′ − 1)Z[F ] ∩ f 3 ) + rf 3 + f 5 ) ∼
= L1 SP4 (Gab ).
[R, R, F, F ]F ′′ γ5 (F )
Theorem 4.7. Let R and S be normal subgroups of a free group F . Then there
is a natural isomorphism


F ∩ (1 + f 2 r2 + f (R′ − 1) + sr2 ) ∼
R
3
(4.8)
= L1 SP
[R ∩ (SF ′ ), R ∩ (SF ′ ), R]γ4 (R)
R ∩ (SF ′ )
Proof. The sequence (3.6) implies that the kernel of the natural map
[R ∩
is L1 SP3
ding



(SF ′ ),

R
R∩(SF ′ )



R
γ3 (R)
→
⊗ SP2 (Rab )
′
R ∩ (SF ), R]γ4 (R)
R ∩ (SF ′ )

. Thus the asserted statement follows from the natural embed-

f
r2
fr2
R
2
∼
⊗
SP
(R
)
֒→
.
⊗
=
ab
R ∩ (SF ′ )
sr2 + f 2 r2 + f (R′ − 1)
s + f2
(R′ − 1) + fr2

Theorem 4.8. If 1 → R → f → G → 1 is a free presentation of a group G, then
F ∩ (1 + f 2 r2 + f (R′ − 1)) = [R ∩ F ′ , R ∩ F ′ , R]γ4 (R),

(4.9)

and there is a natural isomorphism
F ∩ (1 + rfr2 + fr3 + r(R′ − 1)) ∼
= L1 SP3 (H2 (G)).
[[R, F ], [R, F ], R]γ4 (R)

(4.10)

Proof. Since R/(R ∩ F ′ ) is torsion-free, L1 SP3 (R/(R ∩ F ′ )) = 0 and the sequence
(3.6) implies that there is a natural monomorphism
γ3 (R)
֒→ R/(R ∩ F ′ ) ⊗ SP2 (Rab ).
[R ∩ F ′ , R ∩ F ′ , R]γ4 (R)

(4.11)

The identification (4.9) follows from the natural monomorphism
R/(R ∩ F ′ ) ⊗ SP2 (Rab ) ֒→

fr2
r2
f
∼
⊗
.
=
f2
f 2 r2 + f (R′ − 1)
(R′ − 1) + fr2

(4.12)

12

Roman Mikhailov and Inder Bir S. Passi

To prove (4.10), we first observe that there exists an exact sequence
0 → L1 SP3 (R/[R, F ]) →

γ3 (R)
→ R/[R, F ] ⊗ SP2 (Rab ). (4.13)
[[R, F ], [R, F ], R]γ4 (R)

Therefore the assertion follows from the isomorphisms
R/[R, F ] ⊗ SP2 (Rab ) ∼
=

r3
r2
r
∼
⊗
=
2
rf + fr (R′ − 1) + fr
r(R′ − 1) + rfr2 + fr3

and the fact that L1 SP3 (R/[R, F ]) = L1 SP3 (H2 (G)).

5. Limits
A theory of limits for functors on the category of free presentation of groups is
developed in [7], [6], [11]. For a group G, consider the category E of free presentations
1 → R → F → G → 1.
For any functor (also called a representation) F : E 7→ A, its limit lim F presents
←−
a well defined functor from the category of groups to A. To illustrate, let us recall
one example from [11]. As mentioned in the introduction, for a polynomial functor
of degree n, the intermediate derived functors (from the first till the (n − 2)nd) as
a rule have a complicated nature. In [11], the authors obtained a limit formula for
such a functor, namely, L1 SP3 :
L1 SP3 (Gab ) = lim
←−

γ2 (F )
.
[R′ , F ]γ3 (F )

(5.1)

In the present work, we make further contribution to the theory of limits, with the
help of the results obtained above.
There are two basic simple properties of limits which we will use (see [7]):
1) The inverse limit is left exact; for an exact sequence of representations
F ֒→ G → H
there is a natural exact sequence of limits
lim F ֒→ lim G → lim H.
←−

←−

←−

2) For any representations F , G,
lim F ⊗ G(Fab ) = 0;
←−

i.e, if a representation is the tensor product of some representation with a functor
which depends only on Fab , its limit is zero.

13

Free Group Rings and Derived Functors

Theorem 5.1.
R′
∼
= L1 SP2 (H2 (G)),
←− γ2 ([R, F ])γ3 (R)
γ3 (R)
lim
= 0,
←− [γ2 (R ∩ F ′ ), R]γ4 (R)
γ3 (R)
∼
lim
= L1 SP3 (H2 (G)),
←− [γ2 ([R, F ]), R]γ4 (R)
γ3 (R)
∼
lim
= L2 L3s (H2 (G)),
←− γ3 ([R, F ])γ4 (R)
γ4 (F )
∼
lim
= L1 SP4 (Gab ),
←− [R, R, F, F ]F ′′ γ5 (F )
γ4 (R)
4
∼
lim
= L1 SP (H2 (G)),
←− [[R, F ], [R, F ], R, R]R′′ γ5 (R)
R′′
∼ L1 SP2 (H2 (G, SP2 (g))),
lim
=
←− γ2 ([R, R, F ])γ3 (R′ )

lim

(5.2)
(5.3)
(5.4)
(5.5)
(5.6)
(5.7)
(5.8)

in particular, if G is 2-torsion-free, then
lim
←−

R′′
2
∼
= L1 SP (H4 (G, Z/2)).
γ2 ([R, R, F ])γ3 (R′ )

Proof. It is shown in the proof of Theorem 4.2 that there is the following exact
sequence
0 → L1 SP2 (H2 (G)) →

R′
→ R/[R, F ] ⊗ Rab .
γ2 ([R, F ])γ3 (R)

The Magnus embedding Rab ֒→ Z[G] ⊗ Fab ։ g implies that
lim R/[R, F ] ⊗ Rab ֒→ lim R/[R, F ] ⊗ Z[G] ⊗ Fab = 0.
←−

←−

The isomorphism (5.2) thus follows.
The monomorphism (4.11) implies that there is a monomorphism
γ3 (R)
֒→ Fab ⊗ SP2 (Rab ),
[R ∩ F ′ , R ∩ F ′ , R]γ4 (R)
and so the statement (5.3) follows.
The sequence (4.13) implies that there is the following exact sequence
0 → L1 SP3 (H2 (G)) →

γ3 (R)
→ R/[R, F ] ⊗ SP2 (Fab ),
[[R, F ], [R, F ], R]γ4 (R)

and the isomorphism (5.4) follows.

14

Roman Mikhailov and Inder Bir S. Passi

The same arguments show that the sequence (4.7) implies (5.5). Further, the
sequence (3.6) implies (5.6). The sequence (3.6) implies that there is the following
exact sequence
0 → L1 SP4 (R/[R, F ]) →
Since

γ4 (R)
→ R/[R, F ] ⊗ SP3 (Rab ).
[[R, F ], [R, F ], R, R]R′′ γ5 (R)

lim R/[R, F ] ⊗ SP3 (Rab ) ֒→ lim R/[R, F ] ⊗ SP3 (Fab ) = 0,
←−

←−

the isomorphism (5.7) follows. The isomorphism (5.8) follows in the same way. To
see it, we get first the isomorphism
L1 SP2 (R′ /[R, R, F ]) ∼
= lim
←−

R′′
.
γ2 ([R, R, F ])γ3 (R′ )

Now the identifications (5.8) and (5.1) follow from the results of R. Stöhr [12],
which describe the torsion of R′′ /[R′′ , F ].
We end the paper with a problem. A detailed analysis analogous to that done
in [11] shows that, for any n ≥ 2, the limit
lim
←−

γn (F )
γn (R)γn+1 (F )

can be identified with the (n − 1)st derived functor of the nth super-Lie power of
Gab . On the other hand,
lim
←−

γn (F )
∼
= Ln (Gab ).
[R, F, F, . . . , F ]γn+1 (F )
{z
}
|
n−1

The identification (5.1) suggests a conjecture that the limit
lim
←−

γn (F )
[R, . . . , R, F, . . . , F ]γn+1 (F )
| {z } | {z }
k

(5.9)

n−k

may be related to the (k − 1)st derived functor of some well-described polynomial
functor of degree n applied to Gab .
Problem. Describe the functors (5.9) for all n > 3 and k = 2, . . . , n − 1.

References
[1] L. Breen and R. Mikhailov: Derived functors of non-additive functors and homotopy
theory, Algebr. Geom. Topol., 11 (2011), 327 - 415.

Free Group Rings and Derived Functors

15

[2] A. Dold and D. Puppe: Homologie nicht additiver Funktoren Anwendugen, Annales
de l’institut Fourier, tome 11, no . 6 (1961), 201 - 312.
[3] S. Eilenberg and S. Mac Lane, On the groups H(Π, n) II, Ann. of Math. (2) 60 (1954)
49–139.
[4] Narain Gupta: Free Group Rings, Contemporary Mathematics, Vol. 66, American
Mathematical Society, 1987.
[5] M. Hartl, R. Mikhailov and I. B. S. Passi: Dimension quotients, J. Indian Math. Soc.,
New Ser. Spec. Centenary Vol., 63-107 (2007).
[6] Sergei O. Ivanov and Roman Mikhailov: Higher limits, homology theories and frcodes, arXiv:1510.09044v1 [math.GR].
[7] Sergei O. Ivanov and Roman Mikhailov: A higher limit approach to homology theories, J. Pure and Appl. Algebra 219 (2015), 1915–1939.
[8] B. Köck: Computing the homology of Koszul complexes, Trans. Amer. Math. Soc.,
353 (2001), 3115 - 3147.
[9] Yu. V. Kuzmin: On elements of finite order in free groups of some varieties. Mat. Sb.
119, 119- 131 (1982) [Russian].
[10] Roman Mikhailov and Inder Bir S. Passi: Lower Central and Dimension Series of
Groups, LNM Vol. 1952, Springer 2009.
[11] Roman Mikhailov and Inder Bir S. Passi: Generalized dimension subgroups and
derived functors, J. Pure Appl. Algebra 220 (2016), 2143–2163.
[12] R. Stöhr: On Gupta representations of central extensions, Math. Z. 187, 259-267
(1984).
[13] L. R. Vermani: On subgroups determined by ideals of an integral group ring, Passi, I.
B. S. (ed.), Algebra. Some recent advances. Basel: Birkhauser. Trends in Mathematics.
227-242 (1999).

Roman Mikhailov, St Petersburg Department of Steklov Mathematical Institute, and
Chebyshev Laboratory, St Petersburg State University, 14th Line, 29b, Saint Petersburg 199178 Russia
E-mail: romanvm@mi.ras.ru
Inder Bir S. Passi, Centre for Advanced Study in Mathematics, Panjab University,
Sector 14, Chandigarh 160014 India, and Indian Institute of Science Education and
Research, Mohali (Punjab) 140306 India
E-mail: ibspassi@yahoo.co.in

