Related papers: Reduction of UNil for finite groups with normal ab…

Cappell's unitary nilpotent groups UNil(R;R,R) are calculated for the integral group ring R=Z[C_2] of the cyclic group C_2 of order two. Specifically, they are determined as modules over the Verschiebung algebra V using the…

We study Farrell Nil-groups associated to a finite order automorphism of a ring $R$. We show that any such Farrell Nil-group is either trivial, or infinitely generated (as an abelian group). Building on this first result, we then show that…

We prove that the Waldhausen Nil-group associated to a virtually cyclic groups that surjects onto the infinite dihedral group vanishes if and only if the corresponding Farrell Nil-group associated to the canonical index two subgroup is…

The Farrell-Jones and the Baum-Connes Conjecture say that one can compute the algebraic K- and L-theory of the group ring and the topological K-theory of the reduced group C^*-algebra of a group G in terms of these functors for the…

Let $G$ be a finite group with $2$-Sylow subgroup of order less than or equal to 16. For such a $G$, we prove a quantified version of Quillen's uniform $\mathcal{F}_p$-isomorphism theorem, which holds uniformly for all $G$-spaces. We do…

Let $F$ be a finite group. We consider the lamplighter group $L=F\wr\mathbb{Z}$ over $F$. We prove that $L$ has a classifying space for proper actions $\underline{E} L$ which is a complex of dimension two. We use this to give an explicit…

The difference between the quadratic L-groups L_*(A) and the symmetric L-groups L^*(A) of a ring with involution A is detected by generalized Arf invariants. The special case A=Z[x] gives a complete set of invariants for the Cappell…

We describe the structure of Sylow {\ell}-subgroups of a finite reduc-tive group G(Fq) when q $\not\equiv$ 0 (mod {\ell}) that we find governed by a complex reflection group attached to G and {\ell}, which depends on {\ell} only through the…

Let $G$ be a finite group. In a famous article, Quillen describes an $\mathrm{F}$-isomorphism between commutative $\mathbb{N}$-graded $\mathbb{F}_{2}$-algebras $$\mathrm{q}_{G}:\mathrm{H}^{*}(G;\mathbb{F}_{2})\to\mathrm{L}(G)\ ,$$ with…

Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms. We provide a complete classification of a finite group $G$ in which every maximal $A$-invariant subgroup containing the normalizer of some $A$-invariant…

We prove that the Waldhausen nilpotent class group of an injective index 2 amalgamated free product is isomorphic to the Farrell-Bass nilpotent class group of a twisted polynomial extension. As an application, we show that the Farrell-Jones…

The Subgroup Isomorphism Problem for Integral Group Rings asks for which finite groups U it is true that if U is isomorphic to a subgroup of V(ZG), the group of normalized units of the integral group ring of the finite group G, it must be…

In this article we study the K- and L-theory of groups acting on trees. We consider the problem in the context of the fibered isomorphism conjecture of Farrell and Jones. We show that in the class of residually finite groups it is enough to…

We investigate the possible structures imposed on a finite group by its possession of an automorphism sending a large fraction of the group elements to their cubes, the philosophy being that this should force the group to be, in some sense,…

If G is a finite group and k is a field, there is a natural construction of a Hopf algebra over k associated to G, the Drinfel'd double D(G). We prove that if G is any finite real reflection group with Drinfel'd double D(G) over an…

We investigate the semigroup of invariant types through the lens of Ellis theory; primarily focusing on definably amenable NIP groups. In this context, we observe that the collection of strong right $f$-generic types forms the unique…

A celebrated result of J. Thompson says that if a finite group $G$ has a fixed-point-free automorphism of prime order, then $G$ is nilpotent. The main purpose of this note is to extend this result to finite inverse semigroups. An earlier…

We show that the relative Farrell-Jones assembly map from the family of finite subgroups to the family of virtually cyclic subgroups for algebraic K-theory is split injective in the setting where the coefficients are additive categories…

Let $\ell$ be a prime divisor of the order of a finite unitary reflection group. We classify up to conjugacy the parabolic and reflection subgroups that are minimal with respect to inclusion, subject to containing an $\ell$-Sylow subgroup.…

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,…