În matematică, teoria computațională a grupurilor este studiul grupurilor cu ajutorul calculatoarelor. Ea se ocupă de proiectarea și analiza algoritmilor și structurilor de date folosite pentru a calcula informații despre grupuri. Subiectul a atras interes deoarece pentru multe grupuri interesante (inclusiv majoritatea ) este nepractică efectuarea de calcule manuale.
Două sisteme informatice de algebră importante folosite pentru teoria grupurilor sunt și . Din punct de vedere istoric, au fost importante și alte sisteme precum CAS (pentru ) și (un predecesor al lui Magma).
Printre realizările domeniului se numără:
enumerarea completă a calculul reprezentărilor pentru toate
Bibliografie
Un studiu al subiectului realizat de către Ákos Seress de la , extins dintr-un articol care a apărut în , este disponibil online. Există, de asemenea, un studiu realizat de de la Universitatea Rutgers și un studiu mai vechi al lui Joachim Neubüser de la .
Există trei cărți care acoperă diferite părți ale subiectului:
Derek F. Holt, Bettina Eick, Eamonn A. O'Brien, „Handbook of computational group theory”, Matematica discretă și aplicațiile sale (Boca Raton). Chapman & Hall / CRC, Boca Raton, Florida, 2005. , „Computation with Finitely-presented Groups”, Enciclopedia de matematică și aplicațiile sale, vol. 48, Cambridge University Press, Cambridge, 1994. Ákos Seress, „Permutation group algorithms”, Cambridge Tracts in Mathematics, vol. 152, Cambridge University Press, Cambridge, 2003. . Categorie:Teoria grupurilor Categorie:Pagini cu traduceri nerevizuite