Group theory
Ogni gruppo si può approssimare con permutazioni finite?
Un gruppo descrive operazioni reversibili. Per capire un gruppo infinito possiamo imitarne parti usando permutazioni di un insieme finito. La soficità chiede se queste imitazioni possano diventare sempre più accurate.
Prova formale annunciata↗