$Q$’s: Wedderburn decomposition of the solution matrix.
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
Mathematische Annalen, December 2019, Volume 375, Issue 3–4, pp. 1169–1191
The description of replication details.
Marek Kaluba
Mathematician
My research interests include computational algebra, geometric group theory (in particular: property (T)) and (previously) surgery aspects of manifolds.