La definición de grupo (G, *) usando: la asociatividad, la existencia de elemento neutro, de elemento inverso y la noción de operación binaria, fue formulada por F.G.