Cohomology rings of almost-direct products of free groups

TL;DR

This paper characterizes the cohomology rings of almost-direct products of free groups, providing insights into their algebraic structure and implications for the topological complexity of related spaces.

Contribution

It explicitly determines the cohomology ring structure of almost-direct products of free groups, a novel result in understanding their algebraic and topological properties.

Findings

Cohomology rings are explicitly computed for these groups.

The structure informs the topological complexity of associated spaces.

Results advance understanding of algebraic invariants in group theory.

Abstract

An almost-direct product of free groups is an iterated semidirect product of finitely generated free groups in which the action of the constituent free groups on the homology of one another is trivial. We determine the structure of the cohomology ring of such a group. This is used to analyze the topological complexity of the associated Eilenberg-Mac Lane space.