GÉNÉRATEURS SYSTÈME DE
ALGÉBRIQUES STRUCTURES
Dans le chapitre « Espèces de structures de magma et espèces de structures plus riches » : […] Un magma peut être défini indifféremment comme un couple (E, l ) tel que E soit un ensemble et l une loi de composition interne dans E, ou comme un magmoïde (E, λ) = (E, (M, E, S λ )) tel que M = E×E. Soient M = (E, l ) = (E, (E×E, E, S l )) un magma et A une partie de E. Si A est stable pour la loi de composition l , c'est-à-dire si ∀ ( x , y ), ( x , y ) ∈ A ⇒ l (( x , y )) ∈ A, l'a […] Lire la suite
GROUPES (mathématiques) - Généralités
Dans le chapitre « Groupes libres » : […] Si un sous-ensemble K engendre un groupe G, tout élément de G est un produit fini d'éléments de K et d'inverses d'éléments de K, mais l'existence de « relations » entre éléments de K fait qu'il peut y avoir plusieurs telles représentations (cf. supra ). Nous allons examiner le cas où il y a unicité. Soit S un ensemble quelconque. On appelle mot de S soit l'ensemble vide, noté ici 1 et appelé le […] Lire la suite