Warning: include() [function.include]: Unable to access ../../../visiteurs-2.0/include/new-visitor.inc.php3 in /var/www/www.les-mathematiques.sesamath.net/htdocs/b/c/b/node2.php3 on line 1

Warning: include(../../../visiteurs-2.0/include/new-visitor.inc.php3) [function.include]: failed to open stream: No such file or directory in /var/www/www.les-mathematiques.sesamath.net/htdocs/b/c/b/node2.php3 on line 1

Warning: include() [function.include]: Failed opening '../../../visiteurs-2.0/include/new-visitor.inc.php3' for inclusion (include_path='.:/usr/share/php:/usr/share/pear') in /var/www/www.les-mathematiques.sesamath.net/htdocs/b/c/b/node2.php3 on line 1
Les-Mathematiques.net - Cours de mathématiques supérieures Définitions

A lire

Deug/Prï¿½pa

Licence

Agrï¿½gation
A télécharger

Télécharger

personnes(s) sur le site en ce moment.

A. Grothendieck

Les maths pour l'agreg

A lire

Articles

Math/Infos

Rï¿½crï¿½ation
A télécharger

Télécharger

Thï¿½orï¿½me de Cantor-Bernstein

Théo. Sylow

Théo. Ascoli

Théo. Baire

Loi forte grd nbre

Nains magiques

suivant: Idéaux, anneaux quotients monter: Anneaux précédent: Anneaux Index

Définitions

Définition [Anneau] Un anneau est un triplet $(A,+,\times)$ tel que
$\bullet$ est un ensemble non vide
$\bullet$ est une loi de composition interne (c'est à dire une application de $A\times A$ dans ), telle que est un groupe commutatif.
$\bullet$ $\times$ est une loi de composition interne associative, ayant un élément neutre, distributive par rapport à

On appelle unité de $(A,+,\times)$ tout élément inversible pour $\times$ .
Si en outre $\times$ est commutative, l'anneau est dit commutatif.
On note 0 l'élément neutre pour l'addition, l'élément neutre pour la multiplication, le symétrique de $a \in A$ pour est noté , et le symétrique, lorsque est une unité, de pour $\times$ est noté $a^{-1}$ .

$a\times b$ sera souvent abrégé ou même .
et appartenant à sont dits associés si pour un certain unité. La relation d'association est une relation d'équivalence.
On dit que divise , ou que est un diviseur de , ou que est un multiple de , pour et dans , s'il existe tel que .
On dit que est un plus grand commun diviseur ou pgcd des éléments , si pour tout , $d\vert a_i$ et si pour tout $\forall i d'\vert a_i$ implique $d'\vert d$ . On dit que est un plus petit commun multiple ou ppcm des éléments , si pour tout , $a_i\vert d$ et si pour tout , $\forall i a_i\vert d'$ implique $d\vert d'$ . $a \in A$ est dit irréductible si n'est pas une unité et si $b\vert a$ implique que est une unité ou que est associé à .

Les notions de ppcm et pgcd seront surtout utilisées dans le cadre d'anneaux principaux (voir partie ), bien que leur définition puisse être utilisée dans un cadre plus général.

Proposition $\bullet$ $a \in A$ est irréductible si et seulement si n'est pas une unité et si implique ou est une unité.
$\bullet$ Dans $\mathbb{Z}$ les éléments irréductibles sont les nombres premiers.

J'ai ici imposé l'existence d'un élément neutre pour la multiplication; selon les terminologies ce n'est pas toujours le cas. Si l'on ne suppose pas l'existence d'un élément neutre pour la définition d'un anneau, alors un anneau vérifiant en outre cette propriété sera appelé anneau unitaire. Dans la vie de tous les jours, les anneaux sont toujours unitaires. L'hypothèse de commutativité est très classique, mais ici cette hypothèse sera précisée quand elle est nécessaire.

Exemples: :
$\bullet$ $(\mathbb{Z},+,\times)$ est un anneau.
$\bullet$ $({\cal P}(E),\Delta,\cap)$ est un anneau commutatif, avec $\Delta$ la différence symétrique, c'est à dire $A\Delta B=A\cup B - A \cap B$ .

Propriétés:(notez que , pour $n\in \mathbb{N}$ et $a \in A$ , désigne $a+a+a+\dots+a$ ( fois), et désigne $a\times a\times a \times \dots\times a$ ( fois).
$\bullet$ $1 \neq 0$ , à moins que le cardinal de soit .
$\bullet$ pour tout $a \in A$ .
$\bullet$ pour tous $(a,b)\in A^2$
$\bullet$ pour tous $(a,b)\in A^2$ et $n\in \mathbb{N}$ .
$\bullet$ L'ensemble des unités forme un groupe pour $\times$ .

Proposition [Formule du binôme de Newton] Soit et dans un anneau . Si et commutent, alors

$\displaystyle (a+b)^n=\sum_{k\in[0,n]} C_n^k a^kb^{n-k}$

Démonstration: Par une récurrence sans difficulté, en se rappelant que $C_n^p=C_{n-1}^p+C_{n-1}^{p-1}$ $\sqcap$ $\sqcup$

Exemple Maple

^

$\displaystyle (x+y)^3$

$> expand(\%);$

$\displaystyle x^3+3x^2y+3xy^2+y^3$

Définition [Diviseurs de 0, anneaux intègres, éléments nilpotents]

Un élément est dit diviseur à gauche de 0 s'il existe $b \neq 0$ tel que .
Un élément est dit diviseur à droite de 0 s'il existe $b \neq 0$ tel que .
Un élément est dit diviseur de 0 s'il est à la fois diviseur à gauche de 0 et diviseur à droite de 0.
Un anneau est dit sans diviseur de 0 s'il n'admet pas de diviseur à gauche de 0 ou de diviseur à droite de 0 autre que 0 lui-même.
Un anneau est dit intègre si:
$\bullet$ il est de cardinal
$\bullet$ il est commutatif
$\bullet$ il est sans diviseur de 0
Un élément est dit nilpotent s'il existe $n\in \mathbb{N}$ tel que . On appelle alors indice de nilpotence de le plus petit convenable non nul.

Remarques:
$\bullet$ $(\mathbb{Z},+,\times)$ est un anneau intègre.
$\bullet$ Tout anneau comporte un diviseur de 0 à gauche, un diviseur de 0 à droite, et un diviseur de 0 tout court; il s'agit de 0 lui-même. Un anneau sans diviseur de 0 ne signifie donc pas que l'anneau ne comporte pas de diviseur de 0.
$\bullet$ Un anneau est sans diviseur de 0 s'il n'admet pas de diviseur à gauche de 0 autre que 0. En effet, si n'admettant pas de diviseur à gauche de 0 admet un diviseur à droite de 0 autre que 0, alors pour et non nul, ce qui contredit le fait que 0 n'ait pas de diviseur à gauche.
$\bullet$ De même, un anneau est sans diviseur de 0 s'il n'admet pas de diviseur à droite de 0 autre que 0.
$\bullet$ Un anneau est sans diviseur de 0 si $\Rightarrow$ ou .

Définition [Morphisme d'anneaux] Une application d'un anneau $(A,+,\times)$ vers un anneau $(B,+,\times)$ est un morphisme d'anneaux (ou homomorphisme) si:
$\bullet$ est un morphisme du groupe vers le groupe
$\bullet$ pour tout $(x,y) \in A^2$
$\bullet$
On appelle alors noyau de l'ensemble des $x \in A$ tels que .

Remarques:
$\bullet$ Le noyau d'un morphisme d'anneaux est le noyau du morphisme de groupes sous-jacent.
$\bullet$ 0 appartient au noyau de tout morphisme d'anneaux.
$\bullet$ L'image de l'inverse est l'inverse de l'image, pour chacune des deux lois.

Définition [Produit d'anneaux] On appelle produit de deux anneaux leur produit cartésien muni de l'addition terme à terme et de la multiplication terme à terme.

On vérifie facilement qu'un produit d'anneaux est un anneau.

Définition [Sous-anneau] Etant donné $(A,+,\times)$ un anneau, une partie de est un sous-anneau de si
$\bullet$ $1\in B$
$\bullet$ est un sous-groupe de
$\bullet$ est stable par multiplication

Propriétés:
$\bullet$ Un sous-anneau est un anneau, mais un anneau inclus dans un anneau n'en est pas nécessairement un sous-anneau; en effet il faut considérer la condition $1\in B$ .
Par exemple l'ensemble des matrices de la forme

$\displaystyle \left( \begin{array}{cc} x & 0 0 & 0 \end{array} \right)$

est un anneau inclus dans l'anneau des matrices $2\times 2$ , mais n'en est pas un sous-anneau.
$\bullet$ L'image réciproque d'un sous-anneau par un morphisme d'anneaux est un sous-anneau.
$\bullet$ L'image d'un sous-anneau par un morphisme d'anneaux est un sous-anneau.

Théorème Pour tout anneau $(A,+,\times)$ , il existe un unique morphisme d'anneaux de $(\mathbb{Z},+,\times)$ dans $(A,+,\times)$ . Il est défini par $\phi(n)=1_A + ... + 1_A$ fois et $\phi(-n)=-1_A -1_A \dots -1_A$ fois pour .
Démonstration: On vérifie aisément que $\phi$ ainsi définit est bien un morphisme d'anneau. $\phi(1)$ est nécessairement égal à et $\phi(0)$ à 0. Par récurrence, les propriétés des anneaux permettent de vérifier que les autres éléments sont aussi définis de manière unique. $\sqcap$ $\sqcup$