Uma caracterização do núcleo rígido (não trivial) do Hanoi Tower Group
Para grupos branch, o problema dos subgrupos de congruência pode ser dividido entre encontrar os núcleos branch e rígidos. Foi mostrado que a maioria dos grupos branch amplamente estudados tem núcleo rígido trivial, mesmo aqueles com núcleo branch não trivial. O primeiro grupo cujo núcleo rígido foi provado ser não trivial foi o Grupo da Torre de Hanoi, em 2012 por Bartholdi, Siegenthaler e Zalesskii. Essa dissertação estuda quais propriedades esse grupo tem que o leva a ter núcleo rígido não trivial, por meio de uma prova construtiva que esse núcleo é o Grupo de Klein, como feito por Skipper em 2019.