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