Computationele groepentheorie

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

In de groepentheorie, een deelgebied van de wiskunde, is de computationele groepentheorie de studie van groepen door middel van computers. De computationele groepentheoire houdt zich bezig met het ontwerpen en analyseren van algoritmen en datastructuren voor het berekenen van informatie over groepen. Het onderwerp heeft aan belang gewonnen, omdat voor veel interessante groepen (waaronder de meeste van de sporadische groepen), het onpraktisch is om deze berekeningen met de hand uit te voeren.

Belangrijke algoritmen in de computationele groepentheorie omvatten:

Twee belangrijke computeralgebrasystemen (CAS) die in de groepentheorie worden gebruikt zijn GAP en MAGMA. Historisch waren andere systemen zoals CAS (voor de karaktertheorie) en Cayley (een voorloper van MAGMA) belangrijk.

Enkele resultaten van de computationele groepentheorie zijn:

Referenties[bewerken]

  • Ákos Seress, "Permutation group algorithms" (Permutatiegroep algoritmen), Cambridge Tracts in Mathematics, vol. 152, Cambridge University Press, Cambridge, 2003. ISBN 0-521-66103-X.