Algèbre d'un monoïde

Algèbre d'un monoïde
Page d'aide sur l'homonymie Pour les articles homonymes, voir Algèbre (homonymie).

En algèbre, plus précisément en théorie des anneaux, l'algèbre d'un monoïde M sur un anneau commutatif A est la A-algèbre formée des combinaisons linéaires d'éléments de M, à coefficients dans A. Cette construction généralise celle des anneaux de polynômes et intervient, lorsque M est un groupe, dans la théorie de ses représentations. Lorsque A est un anneau non commutatif, la même construction ne fournit pas une A-algèbre mais seulement un anneau.

Sommaire

Définition

Soient A un anneau commutatif (unifère) et M un monoïde. On note AM le A-module des applications de M dans A. La A-algèbre de M, notée A[M], est le sous-module de AM constitué des applications de support fini (c'est-à-dire nulles sauf sur une partie finie de M), muni de la multiplication définie par :

(fg)(m)=\sum_{xy=m}f(x)g(y)~.

Si l'on identifie chaque élément m de M avec la fonction caractéristique du singleton {m}, M s'identifie à une partie de A[M] et A[M] est le A-module libre de base M, muni du produit qui étend (par bilinéarité) la loi de monoïde de M.

Si M est un groupe, A[M] est appelée l'algèbre du groupe M.

Exemple

Pour tout ensemble I, l'algèbre de polynômes A[(X_i)_{i\in I}] est la A-algèbre du monoïde commutatif libre sur I, c'est-à-dire du monoïde M=\N^{(I)} des applications de support fini de I dans \N (muni de l'addition naturelle).

Propriété universelle

A posteriori, A[M] peut être caractérisée (à isomorphisme près) par une propriété universelle : pour A fixé, le foncteur qui à M associe A[M] (de la catégorie des monoïdes vers celle des A-algèbres) est l'adjoint à gauche du foncteur d'oubli. A[M] est donc appelée la A-algèbre libre sur le monoïde M.

Cas où l'anneau n'est pas commutatif

Si A n'est pas commutatif, A[M] n'est plus une algèbre sur A mais sur le centre de A. C'est donc en particulier un anneau.

C'est également un A-bimodule.

Références

Articles connexes

Algèbre d'un groupe fini


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Algèbre d'un monoïde de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Algebre d'un groupe fini — Algèbre d un groupe fini En mathématiques, l algèbre d un groupe fini s inscrit dans le cadre de la théorie des représentations d un groupe fini. Une algèbre d un groupe fini est la donnée d un groupe fini, d un espace vectoriel de dimension l… …   Wikipédia en Français

  • Algèbre D'un Groupe Fini — En mathématiques, l algèbre d un groupe fini s inscrit dans le cadre de la théorie des représentations d un groupe fini. Une algèbre d un groupe fini est la donnée d un groupe fini, d un espace vectoriel de dimension l ordre du groupe et d une… …   Wikipédia en Français

  • Monoïde — En mathématiques, un monoïde est une structure algébrique consistant en un ensemble muni d une loi de composition interne associative et d un élément neutre. Par définitions il s agit donc d un magma associatif et unifère, soit un demigroupe… …   Wikipédia en Français

  • Algèbre (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le mot « algèbre » vient de l arabe ’al ǧabr (« réduction »), désignant une technique de chirurgie des membres puis une technique de… …   Wikipédia en Français

  • Algèbre d'un groupe fini — Pour les articles homonymes, voir Algèbre (homonymie). En mathématiques, l algèbre d un groupe fini est un cas particulier d algèbre d un monoïde qui s inscrit dans le cadre de la théorie des représentations d un groupe fini. Une algèbre d un… …   Wikipédia en Français

  • Algèbre associative — Pour les articles homonymes, voir Algèbre (homonymie). En mathématiques, une algèbre associative (sur un anneau commutatif A) est un anneau (ou simplement un pseudo anneau) B, muni d une structure supplémentaire de module sur A et tel que la loi… …   Wikipédia en Français

  • Algèbre unitaire — Pour les articles homonymes, voir Algèbre (homonymie). En mathématiques, une algèbre associative est dite unitaire s il existe un élément neutre pour la multiplication, c est à dire un élément 1 tel que la propriété 1x = x1 = x soit observée pour …   Wikipédia en Français

  • Algebre universelle — Algèbre universelle L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces vectoriels, etc. Elle permet de… …   Wikipédia en Français

  • Algèbre Universelle — L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces vectoriels, etc. Elle permet de définir de manière… …   Wikipédia en Français

  • Monoide — Monoïde En mathématiques, un monoïde est une structure algébrique consistant en un ensemble muni d une loi de composition interne associative et d un élément neutre. Un monoïde est donc un magma associatif, c.à.d. un demigroupe, et unifère.… …   Wikipédia en Français

Share the article and excerpts

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