Group theory
Lässt sich jede Gruppe durch endliche Permutationen annähern?
Eine Gruppe beschreibt umkehrbare Operationen. Teile einer unendlichen Gruppe versucht man durch Permutationen einer endlichen Menge nachzubilden. Sofizität fragt, ob immer genauere Nachbildungen möglich sind.
Formaler Beweis gemeldet↗