Discussion:Monoïde/Définition d’un monoïde

Anticipation

Le présent chapitre comporte ce théorème :

Le sous-monoïde engendré par P est $P^{*}=\{x\in E\mid \exists n\in \mathbb {N} \quad \exists (a_{1},\cdots ,a_{n})\in P^{n}\quad x=a_{1}*\cdots *a_{n}\}$.

En fait, le composé d'une séquence (finie) d'éléments d'un monoïde ne sera défini rigoureusement qu'au chapitre suivant. Je me demande si on ne pourrait pas faire passer tout le contenu du second chapitre dans le premier. Marvoir (discussion) 24 janvier 2020 à 13:21 (UTC)