Produit libre


Produit libre

En mathématiques, et plus particulièrement en théorie des groupes, le produit libre M de deux ou plusieurs groupes G, H, etc., est une opération qui prend deux groupes G et H pour construire un nouveau groupe G \star H. Le résultat contient G et H comme sous-groupes, est généré par les éléments de ces sous-groupes, et représente le groupe le « plus général » possédant ces propriétés.

Le produit libre permet d'exprimer les morphismes de G, H, etc. dans un même groupe comme homomorphisme du produit libre M dans ce groupe.


Définition

Plus précisément, si G et H sont deux groupes, le produit libre G \star H est un groupe, dans lequel les groupes G et H s'injectent (i: G \to G \star H et j: H \to G \star H), et qui est défini par la propriété universelle suivante :

Pour tout groupe I, pour tous les homomorphismes de groupes g: G \to I et h: H \to I, il existe un unique morphisme f: G \star H \to I qui prolonge à la fois h et g (au sens où \forall x \in G, f(i(x))=g(x) et \forall x \in H, f(j(x))=h(x)). Cette propriété définit G \star H de manière unique à isomorphisme près.

La définition s'étend de manière analogue pour plusieurs groupes. Autrement dit, le produit libre est le coproduit (ou somme) dans la catégorie des groupes, par opposition au produit direct, qui est un exemple de produit en théorie des catégories.

Une manière de se représenter G \star H est de considérer l'ensemble des mots formés par une alternance d'éléments de G et d'éléments de H. Un élément typique de G \star H s'écrira (g1,h1,g2,h2,...,gn,hn) (ou encore (g1,h1,g2,h2,...,hn − 1,gn), ou (h1,g1,h2,...gn − 1,hn), ou enfin (h1,g1,h2,...hn,gn)). On définit le produit de deux tels mots par juxtaposition (et simplification (...,hn)(h'1,..) = (...,hnh'1,...) par exemple).


Théorèmes et exemples

On peut montrer qu'un groupe libre est le produit libre de groupes cycliques infinis ; par exemple le groupe libre de rang deux F2 est le produit libre de \mathbb{Z} avec lui-même, ce que l'on note F_2=\mathbb{Z}*\mathbb{Z}. Un autre exemple est le groupe projectif linéaire PSL(\mathbb{Z},2)=\mathbb{Z}_2*\mathbb{Z}_3.

À moins que l'un des deux groupes G et H ne soit trivial, le produit libre est toujours infini. La construction d'un produit libre est similaire, dans l'esprit, à celle d'un groupe libre (le groupe le plus général qui puisse être fait à partir d'un ensemble donné de générateurs).


Références

  • Thomas Hungerford, Algebra, Springer, 1974, p. 67-68.
  • Serge Lang, Algèbre [détail des éditions]

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Produit libre de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Produit libre — ● Produit libre produit sans marque …   Encyclopédie Universelle

  • libre — [ libr ] adj. • 1339; lat. liber ♦ Qui jouit de la liberté, de certaines libertés. I ♦ (Sens étroit) 1 ♦ (Opposé à esclave, serf) Qui n appartient pas à un maître. ⇒ 2. franc; affranchi. Travailleurs libres. 2 ♦ (1596) Opposé à captif, prisonnier …   Encyclopédie Universelle

  • Produit vectoriel et algèbre — Produit vectoriel Le produit vectoriel est une opération vectorielle effectuée dans les espaces euclidiens orientés de dimension trois[1]. Le formalisme utilisé actuellement est apparu en 1881 dans un manuel d analyse vectorielle écrit par Josiah …   Wikipédia en Français

  • Produit (mathematiques) — Produit (mathématiques) Pour les articles homonymes, voir Produit. On nomme produit de nombres entiers, réels, complexes ou autres le résultat d une multiplication, ou expression qui identifie les facteurs à multiplier. L ordre dans lequel les… …   Wikipédia en Français

  • Produit cartesien — Produit cartésien Cet article fait référence au concept mathématique sur les ensembles. Pour les graphes, voir produit cartésien de graphes. En mathématiques, le produit cartésien de deux ensembles X et Y, appelé ensemble produit, est l ensemble… …   Wikipédia en Français

  • Produit mathématique — Produit (mathématiques) Pour les articles homonymes, voir Produit. On nomme produit de nombres entiers, réels, complexes ou autres le résultat d une multiplication, ou expression qui identifie les facteurs à multiplier. L ordre dans lequel les… …   Wikipédia en Français

  • Produit exterieur — Produit extérieur Articles scientifiques sur les tenseurs Généralités Tenseur Mathématiques Tenseur (mathématiques) Produit tensoriel ... de deux modules ... de deux applications linéaires Algèbre tensorielle Champ tensoriel Espace tensoriel …   Wikipédia en Français

  • Produit vectoriel — En mathématiques, et plus précisément en géométrie, le produit vectoriel est une opération vectorielle effectuée dans les espaces euclidiens orientés de dimension trois[1],[2]. Le formalisme utilisé actuellement est apparu en 1881 dans un manuel… …   Wikipédia en Français

  • Produit vectoriel en dimension 7 — En mathématiques, et plus précisément en algèbre linéaire, le produit vectoriel en dimension 7 est une loi de composition interne d un espace euclidien à 7 dimensions, ayant certaines propriétés du produit vectoriel usuel (en dimension 3) ;… …   Wikipédia en Français

  • Produit scalaire — En géométrie vectorielle, le produit scalaire est une opération algébrique s ajoutant aux lois s appliquant aux vecteurs. À deux vecteurs elle associe leur produit, qui est un nombre réel (ou scalaire). Elle permet d exploiter les notions de la… …   Wikipédia en Français


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.