Symétrisation

Symétrisation

En mathématiques, la symétrisation d'un monoïde est une opération de construction d'un groupe dans lequel se projette le monoïde initial. Ce procédé est notamment appliqué pour construire l'ensemble des entiers relatifs à partir de celui des entiers naturels.

La symétrisation est un foncteur adjoint à gauche du foncteur d'oubli.

Si le monoïde de départ est muni d'une seconde loi de composition qui en fait un semi-anneau commutatif, son symétrisé est un anneau commutatif.

Définition du symétrisé

Chaque élément du symétrisé est représenté par un couple d'éléments du monoïde initial. Deux représentants sont équivalents s'ils ont une même image sous l'action à gauche d'éléments du monoïde.

Autrement dit, étant donné un monoïde M, son symétrisé S(M) est l'ensemble des couples d'éléments de M quotienté par la relation d'équivalence suivante :

(a;b) \sim (c;d) \Leftrightarrow \exists\  m,n \in M \colon (ma;mb) = (nc;nd)

Si le monoïde est abélien et muni d'une seconde loi qui en fait un semi-anneau commutatif, la multiplication sur le symétrisé est définie par la formule suivante :

(a;b).(c;d) = (ac + bd;ad + bc)

Exemples

  • Le symétrisé du monoïde additif des entiers naturels est le groupe des entiers relatifs.
  • Le symétrisé du monoïde multiplicatif des entiers naturels non nuls est le groupe multiplicatif des rationnels.
  • Le symétrisé d'un ensemble totalement ordonné (non vide), muni de la loi induite par le maximum, est réduit à un point. C'est également le cas pour les lois d'intersection ou d'union sur les parties d'un ensemble.

Remarque

Un monoïde ne s'injecte pas nécessairement dans son symétrisé.


Wikimedia Foundation. 2010.

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

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • symétrisation — [simetʀizɑsjɔ̃] n. f. ÉTYM. Mil. XXe; in Larousse, 1968; de symétriser. ❖ ♦ Didact. Le fait de rendre symétrique (spécialt, en mathématique des ensembles) …   Encyclopédie Universelle

  • symétrisation — simetrizacija statusas T sritis fizika atitikmenys: angl. symmetrization vok. Symmetrierung, f; Symmetrisierung, f rus. симметризация, f pranc. symétrisation, f …   Fizikos terminų žodynas

  • symétrisation — simetrizavimas statusas T sritis fizika atitikmenys: angl. symmetrization vok. Symmetrierung, f; Symmetrisierung, f rus. симметризация, f pranc. symétrisation, f …   Fizikos terminų žodynas

  • Symetrisation de Steiner — Symétrisation de Steiner Pour les articles homonymes, voir Steiner. La symétrisation de Steiner est une opération visant à transformer un compact K en un autre compact. Cette transformation a été utilisé pour démontrer certaines inégalités… …   Wikipédia en Français

  • Symétrisation de steiner — Pour les articles homonymes, voir Steiner. La symétrisation de Steiner est une opération visant à transformer un compact K en un autre compact. Cette transformation a été utilisé pour démontrer certaines inégalités isopérimétriques dans les cas… …   Wikipédia en Français

  • Symétrisation de Steiner — Pour les articles homonymes, voir Steiner. En géométrie affine, la symétrisation de Steiner est une géométrie visant à remplacer une partie quelconque d un espace affine par une partie admettant des propriétés de symétrie. Cette transformation a… …   Wikipédia en Français

  • transformateur de symétrisation — simetrinimo transformatorius statusas T sritis fizika atitikmenys: angl. balancing transformer vok. Symmetrietransformator, m rus. симметрирующий трансформатор, m pranc. transformateur de symétrisation, m …   Fizikos terminų žodynas

  • XLR — Connecteurs XLR femelle (à gauche) et mâle (à droite) à trois broches Un connecteur XLR désigne un type de fiche utilisé pour relier différents appareils professionnels appartenant au domaine du spectacle (audio et lumière). Sommaire 1 …   Wikipédia en Français

  • Semi-groupe —  Ne doit pas être confondu avec demi groupe. En mathématiques, un semi groupe est une structure algébrique, en quelque sorte intermédiaire entre un magma et un groupe. Pour les besoins de l informatique, les propriétés propres aux semi… …   Wikipédia en Français

  • Semigroupe — Semi groupe En mathématiques, un semi groupe est une structure algébrique, en quelque sorte intermédiaire entre un magma et un groupe. Pour les besoins de l informatique, les propriétés propres aux semi groupes sont étudiées depuis les années… …   Wikipédia en Français

Share the article and excerpts

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