Ê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
Algèbre d'un monoïde
Résumé
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 et dans la définition de son homologie. Lorsque A est un anneau non commutatif, la même construction ne fournit pas une A-algèbre mais seulement un anneau.
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 :
Si l'on identifie chaque élément m de M avec la fonction caractéristique du singleton {m}, alors 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. Plus explicitement, un élément de A[M] est noté
où les éléments f sont presque tous nuls, et le produit de deux tels éléments est donné par :
Si M est un groupe, A[M] est appelée l'algèbre du groupe M.
Si A est l'anneau Z des entiers relatifs, le groupe additif de A[M] est le groupe abélien libre sur M.
Pour tout ensemble I, l'algèbre de polynômes A[(X)] est la A-algèbre du monoïde commutatif libre sur I, c'est-à-dire du monoïde M = N des applications de support fini de I dans N (muni de l'addition naturelle), tandis que l'algèbre de polynômes en les mêmes variables, mais non commutatives, est l'algèbre du monoïde libre sur I.
Toutes les A-algèbres, même commutatives et unifères, ne sont pas des algèbres de monoïdes. Par exemple si A est un corps de caractéristique différente de 2, la seule A-algèbre de monoïde de rang 2 est A[Z/2Z] ≃ A[X]/(X – 1) ≃ A[X]/(X – X) ≃ A⊕A, et A[X]/(X) ne lui est pas isomorphe car elle possède un élément nilpotent non nul.
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.