El grupo ("G, formula_6"), debe satisfacer las siguientes propiedades, denominadas axiomática de grupo: