$$\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.$$

Ex : Tout groupe commutatif peut être vu comme un $\mathbb Z$-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.