Computationele groepentheorie
Computationele groepentheorie is het onderzoek met computers naar groepen in de groepentheorie, een deelgebied van de wiskunde. De computationele groepentheorie houdt zich bezig met het ontwerpen en analyseren van algoritmen en datastructuren voor het berekenen van groepen. Voor veel interessante groepen, zoals de meeste sporadische groepen, is het onpraktisch om deze berekeningen met de hand uit te voeren.
Voorbeelden van algoritmen
- het Schreier-Sims-algoritme voor het vinden van de orde van een permutatiegroep
- het Todd-Coxeter-algoritme en het Knuth-Bendix-algoritme voor nevenklasse-enumeratie
- het productvervangingsalgoritme voor het vinden van willekeurige elementen van een groep
Computeralgebrasystemen (CAS)
In het verleden werden andere systemen zoals CAS voor de karaktertheorie en Cayley (een voorloper van MAGMA) gebruikt.
Resultaten
- volledige opsomming van alle eindige groepen met een orde minder dan 2000
- berekening van representaties voor alle sporadische groepen.
Referentie
- Ákos Seress, "Permutation group algorithms" (Permutatiegroep algoritmen), Cambridge Tracts in Mathematics, vol. 152, Cambridge University Press, Cambridge, 2003. ISBN 0-521-66103-X.