Concept
Groupe libre
Concepts associés (23)
Monade (théorie des catégories)
Une monade est une construction catégorique qui mime formellement le comportement que les monoïdes ont en algèbre. Introduite par Roger Godement sous le nom de « construction standard », la notion est d'abord diffusée sous le nom de triple avant d'être baptisée monade par Jean Bénabou. Elles permettent notamment de formuler des adjonctions et ont (au travers des comonades) un rôle important en géométrie algébrique, notamment en théorie des topos. Elles permettent également de définir les , dont les .
Variété (algèbre)
En algèbre universelle, une variété est une classe équationnelle, c'est-à-dire une classe K non vide de structures algébriques de même signature qui satisfont un ensemble d'identités (appelé axiomatisation équationnelle de la classe). Un monoïde est un ensemble E muni d'une loi interne * associative et d'un élément neutre. Ainsi, pour tous éléments x, y, z d'un monoïde, les équations suivantes sont vérifiées : (x * y) * z = x * (y * z) x * e = x e * x = x De plus, ces trois équations caractérisent la notion de monoïde.
Métrique des mots
Dans la théorie des groupes, une branche des mathématiques, une métrique des mots sur un groupe G est une distance sur G, liée au choix préalable d'une partie génératrice S de G : la distance entre deux éléments g, h de G mesure l'efficacité avec laquelle leur « différence » gh peut être exprimée comme un mot sur S. La métrique des mots sur G est très étroitement liée au graphe de Cayley de (G, S) : la distance d(g, h) est la longueur du plus court chemin dans le graphe de Cayley entre g et h.