Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Groupe libre
Résumé
En théorie des groupes, le groupe libre sur un ensemble S est le groupe F contenant S et caractérisé par la propriété universelle suivante : pour tout groupe G et toute application f : S → G, il existe un unique morphisme de groupes de F dans G prolongeant f.
Soit encore, un groupe G est dit libre sur un sous-ensemble S de G si chaque élément de G s'écrit de façon unique comme produit réduit d'éléments de S et d'inverses d'éléments de S (réduit signifiant : sans occurrence d'un sous-produit de la forme x.x). Un tel groupe est unique à isomorphisme près ce qui justifie le qualificatif le dans la définition. En général, on le notera FS ou L(S). Intuitivement, FS est le groupe engendré par S, sans relations entre les éléments de S autres que celles imposées par la structure de groupe.
Walther von Dyck étudie en 1882 le concept de groupe libre, sans y donner de nom, dans son article Gruppentheoretische Studien (Études en théorie des groupes) publié dans Mathematische Annalen. Le terme de groupe libre a été introduit en 1924 par Jakob Nielsen, qui a défini des transformations qui engendrent le .
Soit S' un ensemble équipotent à S et disjoint de S, muni d’une bijection de S vers S'. Pour chaque élément s de S, on note s' l'élément correspondant dans S'.
Notons M l'ensemble des mots sur la réunion de S et de S''', c'est-à-dire les chaînes finies de caractères constituées d'éléments de S et de S'. Deux telles chaînes seront dites équivalentes si on peut passer de l'une à l'autre en enlevant ou en rajoutant, en n'importe quelle position, des chaînes de la forme ss' ou s's. Ceci définit une relation d'équivalence R sur M. On définit F comme l'ensemble des classes d'équivalence modulo R. On identifie chaque élément s de S avec sa classe dans F pour avoir l’inclusion S ⊂ F.
La concaténation de deux mots définit une loi sur M préservée par l'équivalence. Par passage au quotient, on obtient une loi de groupe sur F. L'élément neutre est la classe du mot vide, et l'inverse de la classe de ss...s est la classe de s'...
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Proximité ontologique
Cours associés (5)
MATH-211: Group Theory
Après une introduction à la théorie des catégories, nous appliquerons la théorie générale au cas particulier des groupes, ce qui nous permettra de bien mettre en perspective des notions telles que quo
MATH-225: Topologie II - groupes fondamentaux
On étudie des notions de topologie générale: unions et quotients d'espaces topologiques; on approfondit les notions de revêtements et de groupe fondamental,et d'attachements de cellules et on démontre
MATH-410: Riemann surfaces
This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex
Séances de cours associées (33)
Actions de groupe et groupes fondamentaux
Se plonge dans les actions de groupe, les couvertures, les groupes fondamentaux et les homomorphismes dans les espaces topologiques.
Construction de bars : Groupes d'homologie et espace de classification
Couvre la méthode de construction des barres, les groupes d'homologie, la classification de l'espace, et la formule Hopf.
A Lemma: Introduction aux groupes d'homologie
Introduit le concept de groupes d'homologie et se concentre sur un lemma sur les groupes d'abélien libres.
Publications associées (24)
Personnes associées (2)
Concepts associés (23)
Présentation d'un groupe
En théorie des groupes, un groupe peut se définir par une présentation, autrement dit, la donnée d'un ensemble de générateurs et d'un ensemble de relations que ceux-ci vérifient. La possibilité d'une telle définition découle de ce que tout groupe est quotient d'un groupe libre. En général, une présentation d'un groupe G se note en écrivant entre crochets une liste de lettres et une liste minimale de mots sur cet alphabet, chaque mot étant censé valoir 1 dans le groupe et aucune relation n'existant entre les lettres, hormis celles-là et leurs conséquences.
Catégorie groupoïde
En mathématiques, et plus particulièrement en théorie des catégories et en topologie algébrique, la notion de groupoïde généralise à la fois les notions de groupe, de relation d'équivalence sur un ensemble, et de l'action d'un groupe sur un ensemble. Elle a été initialement développée par Heinrich Brandt en 1927. Les groupoïdes sont souvent utilisés pour représenter certaines informations sur des objets topologiques ou géométriques comme les variétés. Un groupoïde est une petite catégorie dans laquelle tout morphisme est un isomorphisme.
Objet libre
En mathématiques, la notion d'objet libre est l'un des concepts de base de l'algèbre générale. Elle appartient à l'algèbre universelle, car elle s'applique à tous les types de structures algébriques (avec des opérations finitaires). Elle se formule plus généralement dans le langage de la théorie des catégories : le foncteur « objet libre » est l'adjoint à gauche du foncteur d'oubli. Des exemples d'objets libres sont les groupes libres, les groupes abéliens libres, les algèbres tensorielles...