Un grupo matemático es un modelo de la teoría de grupos (aunque en este caso existe más de un modelo posible, cada grupo de hecho es un modelo de la teoría).