On va définir la notion de groupe. La structure dont nous avons parlé c’est la structure de monoïde. Ici (N, +) respecte bien ce que l’on appelle Monoïde. On dit qu’un ensemble G muni d’une loi interne * est un groupe si et seulement si * est associative, que G admet un neutre et tout élément de G admet un symétrique pour *