Abstract:We prove that groups that are mod-p-homology equivalent are isomorphic modulo any term of their derived p-series, in precise analogy to Stallings' 1963 result for the lower-central p-series. Similarly spaces that are mod-p-homology equivalent have fundamental groups that are isomorphic modulo any term of their p-derived series. Various authors have related the ranks of the successive quotients of the lower central p-series and of the derived p-series of the fundamental group of a 3-manifold M to the volume of M, to whether certain subgroups of the fundamental group of M are free, whether finite index subgroups of the fundamental group of M map onto non-abelian free groups, and to whether finite covers of M are ``large'' in various other senses. Specifically, let A be a finitely-generated group and B be a finitely presented group. If a homomorphism induces an isomorphism (respectively monomorphism) on H_1(- ;Z_p) and an epimorphism on H_2(- ;Z_p), then for each finite n, it induces an isomorphism (respectively monomorphism) between the quotients of A and B by the n-th terms of their respective p-derived series. In fact we prove a stronger version that is analogous to Dwyer's extension of Stallings' theorem.

Non-triviality of two homotopy elements in pi S-*

A Number-Theoretic Approach to Homotopy Exponents of SU(n)

The Triviality of the 61-Stem in the Stable Homotopy Groups of Spheres

Congruences for Finite Triple Harmonic Sums

Homology and Derived p-Series of Groups

Stable Homotopy Groups of Spheres: from Dimension 0 to 90

Mod $p$ and torsion homology growth in nonpositive curvature

Homotopy groups and quantitative Sperner-type lemma

Uniqueness of real ring spectra up to higher homotopy

A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

A Congruence Involving Harmonic Sums Modulo P^αq^β

Multiplicity one theorems, S-version

The $\mathbb Z/p$-equivariant cohomology of genus zero Deligne-Mumford space with $1+p$ marked points

Polynomial point counts and odd cohomology vanishing on moduli spaces of stable curves

Motivic $C\tau$-Modules and $Bp_*bp$-Comodules

$p$-adic analogues of two ${}_4F_3$ hypergeometric identities and their applications

The Special Fiber of the Motivic Deformation of the Stable Homotopy Category is Algebraic

Cohomological uniqueness of some $p$-groups

Relating homomorphism spaces between Specht modules of different degrees

Higher Specht bases and $q$-series for the cohomology rings of certain Hessenberg varieties

New infinite families in the stable homotopy groups of spheres