Powered by OpenAIRE graph
Found an issue? Give us feedback
Claim

Aut ( F 5 ) has property (T).

descriptionPublicationkeyboard_double_arrow_right Article English Journal:Mathematische annalen, volume 375 (issn: 0025-5831, Copyright policy )
Authors: Marek, Kaluba; Piotr W, Nowak; Narutaka, Ozawa;

pmid: 31708594

pmc: PMC6814654

Aut ( F 5 ) has property (T).

Abstract

We give a constructive, computer-assisted proof that Aut ( F 5 ) , the automorphism group of the free group on 5 generators, has Kazhdan's property (T).

Powered by OpenAIRE graph
Found an issue? Give us feedback