Discuter:Monoïde

Un article de Wikipédia, l'encyclopédie libre.

	Monoïde fait partie du projet Mathématiques, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés aux mathématiques. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet, où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail Mathématiques pourrait aussi vous intéresser.
À évaluer	Cet article a été classé comme d'Avancement ? selon le Tableau d'évaluation du projet. (Voir les statistiques)
À évaluer	Cet article a été classé comme d'Importance ? selon le Tableau d'évaluation du projet.

Un monoïde est un magma ne sont pas la même chose, un monoïde est une sorte de magma, mais l'inverse est faux.

Guillaumito 18 mar 2004 à 12:10 (CET)

La phrase d'origine est en effet ambigue : "Un monoïde est un magma, i.e. un ensemble muni d'une loi de composition interne associative avec élément neutre.". Je propose de la remplacer par "Un monoide est un magma (i.e. un ensemble muni d'une loi de composition interne) associatif avec un element neutre."

Mononoke Hime 18 mar 2004 à 12:36 (CET)

Ouais, mais ça risque de devenir chargé au bout d'un moment : un monoide est un magma avec telles propriétés c'est aussi un semigroupe avec telle propriété, etc. Encore pour une structure comme le monoïde, ça peut aller mais pour des structures plus complexes... Je propose de définir à partir de la structure "la plus proche", ie : monoide est plus proche de semigroupe que de magma.

[modifier] Monoïde libre

Bonjour,

Ne trouvant pas spontanément d'exemple de monoïde non libre, je souhaiterais bénéficier de quelques suggestions. Ces dernières pourraient également figurer dans l'article. Merci par avance.

Cordialement --nha de Lyon. 6 juillet 2006 à 01:44 (CEST)

En complément à ma question précédente, et par rapport aux exemples mentionnés actuellement dans l'article, je rechercherais un exemple de monoïde libre dont la structure diffère d'un alphabet fini muni de l'opérateur de concaténation. Un tel exemple existe-t-il en l'occurrence ? Merci pour les idées.

--nha de Lyon. 6 juillet 2006 à 01:53 (CEST)

En fait, si je ne m'abuse, l'appellation de monoïde libre est réservée à un certain type de monoïdes d'alphabet A et

munis d'une opération de concaténation, qui met bout à bout des éléments de l'ensemble A. Ainsi libre revient à dire

monoïde "bête" ou "simple", dans le sens ou l'opération de concaténation donne un sens unique au mot.

Donc, si on a:

pour tout entier

alors et

A vérifier

Feeder Fan 6 juillet 2006 à 14:39 (CEST)

Bonjour,

Feeder Fan, merci pour votre réponse. Il est clair qu'en informatique - et plus précisément en théorie des langages (quoique cette matière soit commune avec la linguistique formelle par exemple) - on associe de manière quasi automatique un monoïde à tout support de langage concret. En tant que tel, un monoïde libre ne définit pas de langage formel (cardinalité "trop grande") mais peut en engendrer plusieurs.

Néanmoins, j'adhère à votre réponse : un monoïde "classique" (ou bête ou simple) est libre. De fait, vous me permettez de considérer que, par définition, un monoïde libre est effectivement assimilable à toute structure établie sur un alphabet fini et munie d'un opérateur de concaténation (lapalissade de ma part !). Il resterait à exhiber un exemple (au moins) de monoïde non libre pour répondre à la 1ère question. Si vous avez une idée... ;-)

Une petite remarque par rapport au "sens unique" que vous indiquez pour un mot formé par concaténation : quoique sur le plan syntaxique votre propos est rigoureux, sur le plan sémantique (la facette cachée mais concrète des langages ;-) ) on observe de nombreux exemples de mots (concaténation de lettres) au sens proche ou identique (ou commun).

Cordialement, --nha de Lyon. 22 juillet 2006 à 00:34 (CEST)

Re,

nha si je comprends bien, vous voudriez un exemple de monoïde non libre. N'étant pas mathématicien, je n'ai pas la réponse, mais cependant, nous pouvons y réfléchir.

Prenons un monoïde d'éléments a, b et c muni d'une opération de concatenation (qui aurait la posibilité dans certains cas de reformuler un motif en un autre) et du mot vide comme élément neutre.

Alors, si cette règle remplace toute suite xx (où x est un élément de l'alphabet) en x (suppression des répétitions).

Alors on aurait: bbbbbaaacc = bbacccc = baaac = bac

La réponse n'est pas vraiment un exemple à proprement parler. Je pose donc la question, si on remplace l'operateur d'un monoïde par une fonction surjective, a-t-on un monoïde non lilbre ? Feeder Fan 28 juillet 2006 à 21:28 (CEST)