En matemática, un grupo es un magma (i.e. un conjunto, con una operación binaria), que satisface ciertos axiomas, detallados abajo. La rama de la matemática que estudia los grupos es llamada teoría de grupos.