Group theory
Kan elke groep worden benaderd door eindige permutaties?
Een groep beschrijft omkeerbare bewerkingen. Een oneindige groep kun je proberen na te bootsen met verwisselingen van een eindige verzameling. Soficiteit vraagt of zulke steeds nauwkeurigere benaderingen altijd mogelijk zijn.
Formeel bewijs gemeld↗