En álgebra abstracta, la teoría de grupos estudia la estructura algebraica conocida como grupo , que es un conjunto no vacío y una operación interna.