Group theory
Tout groupe admet-il une approximation par permutations finies ?
Un groupe décrit des opérations réversibles. Pour comprendre un groupe infini, on peut essayer d’en imiter des portions par des permutations d’un ensemble fini. La soficité demande si cela reste toujours possible avec une précision croissante.
Preuve formelle annoncée↗