Sous-modules

Module sur un anneau

Un module sur un anneau unitaire est une structure algébrique qui généralise celle d'espace vectoriel et celle d'idéal d'un anneau.

Dans un espace vectoriel l'ensemble des scalaires forme un corps tandis que dans un module, ceux-ci sont de manière plus générale munis d'une structure d'anneau (non nécessairement commutatif). Une partie des travaux en théorie des modules consiste à retrouver les résultats spectaculaires de la théorie des espaces vectoriels, quitte pour cela à travailler avec des anneaux plus maniables, comme les anneaux principaux.

Certaines propriétés vraies pour les espaces vectoriels ne sont plus vraies pour les modules. Par exemple l'existence d'une base n'y est plus assurée, et on ne peut pas nécessairement y développer de théorie de la dimension, même dans un module engendré par un nombre fini d'éléments.

Les modules ne sont pas une généralisation inutile. Ils apparaissent naturellement dans beaucoup de situations algébriques ou géométriques. Un exemple simple est un module sur l'anneau des fonctions infiniment différentiables sur un ouvert : il est naturel de ne pas pouvoir y faire de division, puisqu'il vaut mieux éviter de diviser par $0$ . De la même façon, il est naturel de considérer un module sur l'anneau des polynômes à une ou plusieurs variables.

Définitions

Module à gauche, module à droite

Si A est un anneau (unitaire), et (M , +) un groupe commutatif.

Si de plus, M est muni d'une loi externe $\cdot$ de A × M dans M vérifiant, pour tous éléments a et b de A et x, y de M :

$a \cdot(x + y) = a\cdot x + a\cdot y$ (distributivité de $\cdot$ par rapport à l'addition dans M)
$(a + b) \cdot x = a \cdot x + b \cdot x$ (distributivité de $\cdot$ par rapport à l'addition dans A)

Remarque : la loi + du membre de gauche est celle de l'anneau A et la loi + du membre de droite est celle du groupe M

$(ab) \cdot x = a \cdot (b \cdot x)$
$1 \cdot x = x$

alors (M, + , $\cdot$ ) est un A-module à gauche.

Ce qui a été défini ici est un A-module à gauche, car, dans la loi externe, les éléments de A sont placés à gauche. On pourra définir de même un A-module à droite.

Il est important de remarquer que les structures de module à gauche et à droite ne diffèrent pas uniquement par leur écriture : si les deux premiers axiomes sont les mêmes, le troisième s'écrit $x\cdot(ba)=(x\cdot b)\cdot a$ . Si l'on transcrivait naïvement cette égalité en écrivant les éléments de A gauche, on obtiendrait $(ba) \cdot x = a \cdot (b \cdot x)$ , ce qui, si A n'est pas commutatif, ne revient pas au même que l'axiome qui donne la structure de module à gauche.

Par contre, le petit raisonnement ci-dessus montre que, si l'on "inverse" la loi de A, un module à droite peut être vu comme un module à gauche. Plus précisément, notons $A o p$ l'anneau "opposé" à A, c'est-à-dire le groupe abélien A muni de la multiplication définie par $a o p b o p = b a$ , si $a o p$ et $b o p$ désignent a et b vus comme éléments de $A o p$ . Alors, si M est un A-module à gauche, M peut être vu comme un $A o p$ -module à droite, où l'action de $A o p$ est définie par $a . m = m . a o p$ .

Ceci justifie que dans la suite, on puisse se restreindre à l'étude des modules à gauche.

Notons que la condition d'exoneutralité : $\forall\, x \in M , \quad 1 \cdot x = x \,$ peut sembler superflue ou évidente. Il n'en est rien. On peut en effet trouver un modèle de la théorie des modules (à gauche) dans lequel cette condition n'est pas satisfaite. Ceci prouve qu'elle ne se déduit pas des autres axiomes de la théorie. Et un tel modèle est en fait très facile à définir : il suffit de faire agir $A$ sur $A$ en posant, pour tous $a\in A$ et $x\in A$ , $a\cdot x:=0$ . Tous les axiomes sont satisfaits sauf l'exoneutralité puisque pour tout $a\in A$ , $1\cdot a=0$ .

Exemples

Lorsque A est un corps, on retrouve la structure habituelle de A-espace vectoriel. Dans ce cas, les éléments de A sont appelés les scalaires, les éléments de M sont appelés les vecteurs.
A lui-même est à la fois un module à gauche et à droite.
L'ensemble des vecteurs du plan dont les coordonnées sont des entiers relatifs forme un $\mathbb{Z}$ -module.
Tout groupe abélien est automatiquement un $\mathbb{Z}$ -module pour la loi externe définie par :

pour n > 0, $n \cdot x = x + \cdots + x$ avec n termes x

pour n = 0 $0 \cdot x = 0$

pour n < 0, $n\cdot x = -(x + \cdots + x)$ avec |n| termes x

Cette loi est la seule qui munisse un groupe abélien d'une structure de $\mathbb{Z}$ -module. Il y a donc équivalence entre la notion de $\mathbb{Z}$ -module et celle de groupe abélien.

La structure de A-module apparaît dans celle d'algèbre sur un anneau.
Si M un groupe abélien et si f est un endomorphisme de groupe sur M, alors on peut définir la loi externe $f \cdot x = f(x)$ qui confère à M une structure de End(M)-module .
Si M est un espace vectoriel, on peut faire la même chose avec des endomorphismes d'espaces vectoriels au lieu de groupes. Par exemple, l'espace vectoriel $\mathbb{R}^n$ à n dimensions est un module à gauche sur $\mathcal{M}_n(\mathbb{R})$ via la multiplication matricielle.
Si M est un A-module à gauche, l'ensemble des applications d'un ensemble S vers M est un A-module à gauche, pour les lois $(f + g)(x) = f (x) + g (x)$ et $(r\cdot f )(x)=r\cdot(f(x))$
Un espace vectoriel $\ E$ sur un corps $\mathbb K$ peut être considéré comme un module sur l'anneau principal $\mathbb K[X]$ , et par ce biais la majeure partie des propriétés de l'algèbre linéaire peut être démontrée^[1].
Cette structure de module est la suivante : étant donné $u \in L_{\mathbb K}(E)$ fixé, pour tout $\left( p, x \right) \in \mathbb K[X]\times E$ , on pose $\ p.x = p(u).x \in E$ , avec $p(u) \in L_{\mathbb K}(E)$ car cet ensemble a une structure d'algèbre sur $\mathbb K$ .

Lien avec la théorie de la représentation

Le premier axiome montre que, pour $a \in A$ , l'application $\psi_a : x \mapsto a \cdot x$ est un endomorphisme du groupe $M$ . Les trois axiomes suivants traduisent quant à eux le fait que l'application $a \mapsto \psi_a$ est un morphisme (unitaire) de l'anneau A dans l'anneau des endomorphismes de M, noté End(M).

Réciproquement, la donnée d'un morphisme d'anneau unitaire $\psi : A \to End(M)$ fournit à M une structure de A-module (à gauche) via la loi $a \cdot x = \psi(a)(x)$ . Une structure de A-module est donc équivalente à la donnée d'un morphisme $A \to End(M)$ .

Un tel morphisme A $\to$ End(M) est appelé une représentation de A sur le groupe abélien M. Une représentation est dite fidèle si elle est injective. En termes de module, cela signifie que si pour tout $x \in M, a \cdot x = 0$ , alors a = 0.

Ceci est une généralisation de ce que l'on trouve en représentation des groupes, où l'on définit une représentation d'un groupe G vers un espace vectoriel sur un corps K comme un morphisme de l'algèbre du groupe K[G] vers End(V), autrement dit, où l'on donne une structure de K[G]-module à V.

Sous-module

Soit E un A-module à gauche, et M une partie de E. On dit que M est un sous-module (à gauche) si les conditions suivantes sont respectées :

M est un sous-groupe de (E,+)
Pour tout $a \in A, x \in M, a \cdot x \in M$

Autrement dit, un sous-module est une partie linéairement stable.

Exemples

Un cas très important est celui des sous-modules de A en tant A-module : ils ne sont autres que les idéaux à gauche ou à droite selon le type de module choisi, de l'anneau A.
Si le module est un espace vectoriel, on parle de sous-espace vectoriel
Dans un groupe commutatif, considéré comme module sur $\mathbb{Z}$ , tout sous-groupe est aussi un sous-module.

Applications linéaires

Une application linéaire f entre deux modules M et N sur un même anneau A est une fonction qui conserve la structure de module, i.e qui vérifie :

$\forall (\alpha,\beta) \in A^2, \forall (x,y) \in M^2, f(\alpha \cdot x + \beta \cdot y) = \alpha \cdot f(x) + \beta \cdot f(y)$

Autrement dit, une application linéaire est un morphisme de modules. Si f est bijective, on dit de plus que f est un isomorphisme. Si les modules de départ et d'arrivée M et N sont identiques, on dit que f est un endomorphisme. Si f est à la fois un endomorphisme et un isomorphisme, on dit que c'est un automorphisme.

Le noyau d'une application linéaire f est l'ensemble des éléments x de M qui vérifient f(x) = 0. C'est un sous-module de M et il est noté Ker f. On peut également définir l'image d'une application linéaire Im f = f(M) qui est un sous-module de N.

Comme dans le cas des groupes ou des anneaux, un morphisme de A-modules $f : M\to N$ donne lieu à un isomorphisme $\tilde f : M/ \ker f \to \mathrm {im} f$ , défini par $\tilde f (x+\ker f) = f(x)$

Opérations sur les modules

Produits de modules

Si on considère une famille de module ( $M_i)_{i \in I}$ sur un même anneau A, on peut munir l'ensemble produit $\prod_{i \in I} M_i$ d'une structure de module en définissant les lois suivantes :

Loi interne : $(x_i)_{i \in I} + (y_i)_{i \in I} = (x_i + y_i)_{i \in I}$
Loi externe : $a \cdot (x_i)_{i \in I} = (a \cdot x_i)_{i \in I}$

Le module ainsi défini s'appelle le module produit. Les projections $p_i : (x_j)_{j \in I} \mapsto x_i$ sont alors des applications linéaires surjectives. Un exemple important de produit de modules est celui où tous les modules facteurs sont identiques à un même module M ; leur produit $M I$ n'est alors autre que l'ensemble des applications de I dans M.

Somme directe de modules

Soit $(M_i)_{i \in I}$ une famille de A-modules, on note leur produit $M = \prod_{i \in I} M_i$ . L'ensemble E des éléments de M dont toutes les composantes sauf un nombre fini sont nulles est appelé somme directe externe de la famille de modules $(M_i)_{i \in I}$ et il est noté :

$E = \bigoplus_{i \in I} M_i$

C'est un sous-module de $\prod_{i \in I} M_i$ . Dans le cas où I est fini, la somme directe E et le produit M sont évidemment confondus.

Intersection et somme de sous-modules

Si M est un module, et $(M_i)_{i \in I}$ est une collection de sous-modules de M, on dit que la famille est en somme directe si :

Pour toute partie J finie de I, pour tout $(x_j)_{j \in J}, \sum_{j \in J} x_j = 0 \Rightarrow \forall j \in J, x_j = 0$

Dans ce cas, la somme $\sum_{i \in I} M_i$ , appelée somme directe interne, est isomorphe à la somme directe externe et elle est également notée $\bigoplus_{i \in I} M_i$ .

Familles libres, bases

On dit qu'un A-module est de type fini s'il est engendré sur A par un nombre fini d'éléments. On a alors $M = \sum_{i=0}^{n}{Ax_i}$ .

On dit qu'un A-module est libre s'il possède une base sur A.

Si M est de type fini et libre, il existe alors un isomorphisme entre M et $A n$ , où n est le cardinal de la base.

A quoi servent les modules

Les modules sont un outil indispensable pour passer de propriétés géométriques à des propriétés fonctionnelles, ou ressemblant à des propriétés fonctionnelles. Ainsi, au lieu de voir une variété différentiable comme une partie d'un espace concret ou abstrait, on va plutôt considérer une classe de fonctions sur cette variété et déclarer que cette classe est la classe des fonctions différentiables sur la variété -- il faudra satisfaire des conditions appropriées de compatibilité. On pourra ainsi traduire les propriétés géométriques de la variété par des propriétés algébriques de la classe de fonctions que nous avons déclarées comme fonctions différentiables.

Mieux que des fonctions, on peut considérer des champs sur une variété différentiable. Le cas le plus simple est celui des champs tangents différentiables à une variété. Pensons par exemple aux champs de vecteurs tangents à la sphère unité dans un espace de dimension $3$ . Il s'agit bien d'un module sur l'anneau des fonctions différentiables sur la sphère : si on multiplie un champ différentiable tangent à la sphère par une fonction différentiable, on trouve bien un champ différentiable. Ce module est engendré par la restriction à la sphère des projections tangentes des champs constants égaux aux vecteurs de base de l'espace - cela nous fait trois champs. Mais on peut montrer que ces trois champs ne sont pas indépendants, et on peut même montrer qu'il n'existe aucun choix de deux champs tangents qui pourraient engendrer le module des champs tangents à la sphère et différentiables. On a là l'exemple le plus simple d'un module de type fini, c'est à dire engendré par un nombre fini de ses éléments, mais qui ne possède pas de base.

La correspondance systématique entre objet géométrique et objet de nature fonctionnelle est dominante en géométrie algébrique. En effet, si $V$ est l'ensemble des solutions communes d'un système d'équations polynomiales en $n$ variables, on peut étudier l'ensemble des polynômes qui s'annulent sur $V$ ; ce sera un idéal de l'anneau des polynômes à $n$ variables, et donc en particulier, un module sur cet anneau. Il est possible de retrouver nombre de propriétés géométrique de $V$ en étudiant les propriétés de cet idéal: points singuliers, dimension, recherche de droites incluses dans $V$ , et ainsi de suite.

Cette faculté d'exprimer les propriétés d'objets géométriques au moyen d'espaces de fonctions sur ces objets est à la base de la géométrie non commutative: les espaces de fonctions sur des objets géométriques usuels sont des anneaux commutatifs pour la multiplication (et même souvent des algèbres, c'est à dire des anneaux munis également d'une structure compatible d'espace vectoriel). La démarche de la géométrie non commutative consiste à explorer ce que seraient des objets géométriques sur lesquels vivraient des "fonctions" formant un anneau ou une algèbre non commutative, et c'est pour cette raison que le cas des anneaux non commutatifs et des modules sur des anneaux non commutatifs est très important actuellement.

Voir aussi

Notes et références

↑ Algèbre Agrégation, Licence 3e année, de Patrice Tauvel, Dunod éditeur, 2005, ISBN 2100494120, ISBN 978-2100494125.

Algèbre commutative

Algèbre • Anneau commutatif • Anneau euclidien • Anneau factoriel • Anneau noethérien • Anneau principal • Annulateur • Bimodule • Corps des fractions • Dual d'un module • Facteur direct • Idéal • Longueur d'un module • Module • Module simple • Module fidèle • Module libre • Module monogène • Module quotient • Module semi-simple • Produit tensoriel • Puissance extérieure

Algèbre linéaire générale
Vecteur • Scalaire • Combinaison linéaire • Espace vectoriel • Matrice
Famille de vecteurs	Colinéarité • Indépendance linéaire • Famille libre • Rang • Famille génératrice • Base • Théorème de la base incomplète
Sous-espace	Somme d'ensembles • Somme directe • Sous-espace supplémentaire • Dimension d'un espace vectoriel • Codimension • Droite • Plan • Hyperplan
Morphisme et notions relatives	Application linéaire • Noyau • Conoyau • Lemme des noyaux • Pseudo-inverse • Théorème de factorisation • Théorème du rang • Équation linéaire • Système d'équations linéaires • Élimination de Gauss-Jordan • Forme linéaire • Espace dual • Orthogonalité • Base duale • Endomorphisme linéaire • Valeur propre, vecteur propre et espace propre • Spectre • Projecteur • Symétrie • Matrice diagonalisable • Endomorphisme nilpotent
En dimension finie	Trace • Déterminant • Polynôme caractéristique • Polynôme d'endomorphisme • Théorème de Cayley-Hamilton • Polynôme minimal d'un endomorphisme • Invariants de similitude • Réduction d'endomorphisme • Réduction de Jordan • Décomposition de Dunford
Enrichissements de structure	Norme • Produit scalaire • Forme quadratique • Espace vectoriel topologique • Orientation • Algèbre sur un corps • Algèbre de Lie • Complexe différentiel
Développements	Théorie des matrices • Représentation de groupe • Analyse fonctionnelle • Algèbre multilinéaire • Module sur un anneau

Portail des mathématiques

Ce document provient de « Module sur un anneau#Sous-module ».

Catégorie : Structure externe

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

Modules semi-simples — Module semi simple Camille Jordan, auteur du théorème clé de la théorie En mathématiques et plus particulièrement en algèbre, un A module où A désigne un anneau est qualifié de semi simple ou de complètement réductible si et seulement s il est… … Wikipédia en Français
Sous-module — Module sur un anneau Un module sur un anneau unitaire est une structure algébrique qui généralise celle d espace vectoriel et celle d idéal d un anneau. Dans un espace vectoriel l ensemble des scalaires forme un corps tandis que dans un module,… … Wikipédia en Français
Modules photovoltaïques — Module solaire photovoltaïque Module solaire photovoltaïque … Wikipédia en Français
Modules complémentaires — Extension (Mozilla) Pour les articles homonymes, voir Extension. Firefox Article principal Historique des versions Mozilla Foundation … Wikipédia en Français
Sous-porteuse — Définition Si le signal destiné à être modulé par une porteuse contient lui même d autres signaux déjà modulés, on considère que ces derniers sont modulés sur une sous porteuse. L utilisation de sous porteuses permet le multiplexage de plusieurs… … Wikipédia en Français
Théorie des modules — Module sur un anneau Un module sur un anneau unitaire est une structure algébrique qui généralise celle d espace vectoriel et celle d idéal d un anneau. Dans un espace vectoriel l ensemble des scalaires forme un corps tandis que dans un module,… … Wikipédia en Français
Faisceau (de modules) — Pour les articles homonymes, voir Faisceau. En mathématique, un faisceau de modules est un faisceau sur un espace localement annelé (X,OX) qui possède une structure de module sur le faisceau structural OX. Sommaire 1 … Wikipédia en Français
Produit tensoriel de deux modules — Le produit tensoriel de deux modules est une construction en théorie des modules qui à deux modules sur un même anneau assigne un module. C est une construction abstraite qui est plus simple à assimiler en se limitant dans un premier temps au cas … Wikipédia en Français
Espace De Modules — En mathématiques, un espace de modules est un espace paramétrant les diverses classes d objets sous une relation d équivalence ; l intérêt est de pouvoir alors munir naturellement ces espace de classes d une structure supplémentaire. L… … Wikipédia en Français
Espaces de modules — Espace de modules En mathématiques, un espace de modules est un espace paramétrant les diverses classes d objets sous une relation d équivalence ; l intérêt est de pouvoir alors munir naturellement ces espace de classes d une structure… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Sous-modules

Module sur un anneau

Sommaire