Related papers: Comparison of the Discrete and Continuous Cohomolo…

Let $R$ be a finite unital commutative ring. We introduce a new class of finite groups, which we call hereditary groups over $R$. Our main result states that if $G$ is a hereditary group over $R$ then a unital algebra isomorphism between…

The (co)homological dimension of homomorphism $\phi:G\to H$ is the maximal number $k$ such that the induced homomorphism is nonzero for some $H$-module. The following theorems are proven: THEOREM 1. For every homomorphism $\phi:G\to H$ of a…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

A group G is (finitely) co-Hopfian if it does not contain any proper (finite-index) subgroups isomorphic to itself. We study finitely generated groups G that admit a descending chain of proper normal finite-index subgroups, each of which is…

Let $f\colon M\to N$ be a continuous map between closed irreducible graph manifolds with infinite fundamental group. Perron and Shalen showed that if $f$ induces a homology equivalence on all finite covers, then $f$ is in fact homotopic to…

We establish the homological foundations for studying polynomially bounded group cohomology, and show that the natural map from PH^*(G;Q) to H^*(G;Q) is an isomorphism for a certain class of groups.

It is shown that the fundamental group of the Griffiths double cone space is isomorphic to that of the triple cone. More generally if $\kappa$ is a cardinal such that $2 \leq \kappa \leq 2^{\aleph_0}$ then the $\kappa$-fold cone has the…

For a non-cyclic free group $F$, the second homology of its pronilpotent completion $H_2(\widehat F)$ is not a cotorsion group.

We show that the $p$-group complex of a finite group $G$ is homotopy equivalent to a wedge of spheres of dimension at most $n$ if $G$ contains a self-centralising normal subgroup $H$ which is isomorphic to a group of Lie type and Lie rank…

We begin a study of a pro-$p$ analogue of limit groups via extensions of centralizers and call $\mathcal{L}$ this new class of pro-$p$ groups. We show that the pro-$p$ groups of $\mathcal{L}$ have finite cohomological dimension, type…

We prove some conditions for higher dimensional algebraic fibering of pro-$p$ group extensions and we establish corollaries about incoherence of pro-$p$ groups. In particular, if $G = K \rtimes \Gamma$ is a pro-$p$ group, $\Gamma$ a…

Let F_n be the free group on n generators, and P\Sigma_n be the group of automorphisms of F_n which send each generator to a conjugate of itself. Let K_n be the kernel of the homomorphism from P\Sigma_n to P\Sigma_{n-1} induced by mapping…

Let G be an infinite discrete group of type FP-infinity and let p>1 be a real number. We prove that the l^p-homology and cohomology groups of G are either 0 or infinite dimensional. We also show that the cardinality of the p-harmonic…

We generalize Quillen's $F$-isomorphism theorem, Quillen's stratification theorem, the stable transfer, and the finite generation of cohomology rings from finite groups to homotopical groups. As a consequence, we show that the category of…

In this article we prove exactness of the homotopy sequence of overconvergent $p$-adic fundamental groups for a smooth and projective morphism in characteristic $p$. We do so by first proving a corresponding result for rigid analytic…

The recently introduced A-homotopy groups for graphs are investigated. The main concern of the present article is the construction of an infinite cell complex, the homotopy groups of which are isomorphic to the A-homotopy groups of the…

We construct the finite-dimensional continuous complex representations of $\mathrm{SL}_2$ over compact discrete valuation rings of even residual characteristic. We also prove that the complex group algebras of $\mathrm{SL}_2$ over finite…

It is well known that the opposite F^{op} of the category F of finitely generated free groups is a Lawvere theory for groups, and also that F is a free symmetric monoidal category on a commutative Hopf monoid, or, in other words, a PROP for…

A topological group G is profinite if it is compact and totally disconnected. Equivalently, G is the inverse limit of a surjective system of finite groups carrying the discrete topology. We discuss how to represent a countably based…

We show that for non-conjugate subgroups $G_1$ and $G_2$ of a finite group $G$ there exists an extension of $G$ (by a finite group) in which the pre-images of $G_1$ and $G_2$ are not isomorphic. This allows us to show that $\mathbb Z$-coset…