Vanishing of group cohomology, Kazhdan’s Property (T), and computer proofs

Abstract

We will look at the vanishing of group cohomology from the perspective of Kazhdan’s property (T). We will investigate an analogue of this property for any degree, introduced by U. Bader and P. W. Nowak in 2020 and describe a method of proving these properties with computers.