$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Module sur un anneau

La théorie des espaces vectoriels est une des bases des mathématiques. Parfois, cependant, la multiplication externe n'est définie que sur un anneau, et non sur un corps. Il existe tout de même dans ce cadre des outils d'algèbre linéaire :

Définition : Soit $A$ un anneau. Un ensemble $M$, muni de deux opérations $+:M\times M\to M$ et $\cdot:A\times M\to M$ est appelé un $A$-module si :
  1. $(M,+)$ est un groupe abélien.
  2. Pour tous $a$ et $b$ de $A,$ et tous $x,y$ de $M$, on a : $$\left\{ \begin{array}{l} (a+b)\cdot x=a\cdot x+b\cdot x\\ a\cdot(x+y)=a\cdot x+a\cdot y\\ (ab)\cdot x=a\cdot(b\cdot x)\\ 1_A\cdot x=x. \end{array} \right.$$

Exemples :

  • Tout groupe abélien peut être vu comme un $\mathbb Z$-module. Tout anneau $A$ est un $A$-module. Les sous-modules de $A$ sont alors les idéaux de $A.$
  • Tout $\mathbb K$-espace vectoriel, où $\mathbb K$ est un corps, est un $\mathbb K$-module.
La théorie des modules est considérablement plus compliquée que celle des espaces vectoriels. Ainsi, un module n'admet pas en général de base. Toutefois, il existe de bons théorèmes de structure dans le cas où $A$ est principal.
Recherche alphabétique
Recherche thématique