Groupe universel enveloppant

Le groupe universel enveloppant associé à un monoïde est un groupe par lequel se factorise de manière unique tout morphisme du monoïde vers un autre groupe. Il généralise ainsi la notion de symétrisation (groupe de Grothendieck) des monoïdes abéliens.