La théorie des groupes est l'application mathématique de la symétrie à un objet pour obtenir la connaissance de ses propriétés physiques .
Si deux de ses éléments sont combinés par une opération pour produire un troisième élément appartenant au même ensemble et répondent aux quatre hypothèses à savoir la fermeture, l'associativité, l'inversibilité et l'identité , ils sont appelés axiomes de groupe.
Un groupe est un ensemble fini ou infini d'éléments associés à une opération binaire (appelée opération de groupe) qui satisfont ensemble les quatre propriétés fondamentales de fermeture, d'associativité, de propriété d'identité et de propriété inverse.