Si ignoramos o nos olvidamos del elemento neutro y de la existencia de inversos obtenemos una estructura  de semigrupo, que llamamos el "semigrupo subyacente" del grupo G.