El grupo G a veces se denota por el par ordenado ("G", *), generalmente para acentuar la operación * cuando "G" lleva varias estructuras algebraicas o de otro tipo.