ATLAS Ouvrir dans l'atlas →

AnnalesÉcoles d'ingénieurs

X-ENS MP 2023 — Maths D

Propriétés de finitude des anneaux et matrices sur un anneau commutatif · 7 pages

Le sujet étudie les groupes abéliens et les anneaux commutatifs de type fini (propriétés (F) et (TF)), leur comportement par morphisme et les sous-groupes de ℤn\mathbb{Z}^n, puis développe la théorie du déterminant sur un anneau commutatif quelconque (comatrice, multiplicativité, caractérisation des matrices inversibles par det⁡M∈A∗\det M \in A^*). Il montre ensuite que les pgcd des mineurs de taille kk sont invariants par ℤ\mathbb{Z}-équivalence et compare ℤ\mathbb{Z}-équivalence et ℂ\mathbb{C}-équivalence, et termine par la dimension maximale mrm_r d'un sous-espace de matrices de rang au plus rr (théorème de Flanders).

Le sujet, partie par partie

Partie I — Groupes et algèbres de type fini p. 4

Anneaux et idéaux · Groupes · Polynômes — groupe abélien de type fini, algèbre de type fini, polynômes à plusieurs indéterminées

Partie II — Morphismes et sous-groupes de ℤn\mathbb{Z}^n p. 3–4

Anneaux et idéaux · Groupes · Modules et forme normale de Smith · Polynômes — morphisme d'anneaux, sous-groupes de ℤn\mathbb{Z}^n, rang, propriété universelle

Partie III — Déterminants sur un anneau commutatif p. 3–5

Déterminants · Anneaux et idéaux · Matrices par blocs — comatrice, det⁡(MN)=det⁡(M)det⁡(N)\det(MN) = \det(M)\det(N), anneau intègre, matrice inversible sur un anneau

Partie IV — Équivalence de matrices de ℳr,s(ℤ)\mathcal{M}_{r,s}(\mathbb{Z}) et ℳr,s(ℂ)\mathcal{M}_{r,s}(\mathbb{C}) p. 5–6

Modules et forme normale de Smith · Calcul matriciel · PGCD, Bézout, Gauss · Déterminants · Groupes de matrices — matrices équivalentes, pgcd des mineurs, GLr(A)\mathrm{GL}_r(A), ℤ\mathbb{Z}-équivalence et ℂ\mathbb{C}-équivalence

Partie V — Sous-espaces de matrices de petit rang p. 6–7

Applications linéaires et rang · Matrices par blocs · Dualité · Déterminants · Espaces vectoriels et dimension — théorème de Flanders, rang, mineurs, dimension maximale

Ouvrir dans l'atlas interactif →