$Q$’s: Wedderburn decomposition of the solution matrix.

# $\operatorname{Aut}(\mathbb{F}_5)$ has property (T)

### Abstract

We give a constructive, computer-assisted proof that $\operatorname{Aut}(\mathbb{F}_5)$, the automorphism group of the free group on $5$ generators, has Kazhdan’s property (T).

Type
Publication
accepted for publication in Mathematische Annalen

The description of replication details.

##### Marek Kaluba
###### Assistant Professor

My research interests include computational algebra, geometric group theory (in particular: property (T)) and surgery aspects of manifolds.