79 lines
3.7 KiB
Markdown
79 lines
3.7 KiB
Markdown
---
|
|
aliases:
|
|
up:
|
|
- "[[anneau]]"
|
|
- "[[groupe quotient]]"
|
|
tags:
|
|
- s/maths/algèbre
|
|
---
|
|
|
|
> [!definition] Définition
|
|
> Soit $(A, +, \cdot)$ un [[anneau]]
|
|
> On définit $A / I := \{ \overline{x} \mid x \in A \}$
|
|
> On définit sur $A / I$ les lois $+$ et $\cdot$ comme suit :
|
|
> $\overline{x} + \overline{ y} = \overline{x+y}$ et $\overline{x} \cdot \overline{y} = \overline{x\cdot y}$
|
|
> Si ces deux lois sont bien définies (il faut et suffit que $I$ soit un [[idéaux d'un anneau|idéal]]), alors :
|
|
> $(A / I, +, \cdot)$ est un [[anneau]] appelé **anneau quotient**
|
|
^definition
|
|
|
|
# Propriétés
|
|
|
|
> [!proposition]+ Les diviseurs sont les idéaux
|
|
> La loi $\cdot$ est bien définie (par $\overline{x}\cdot \overline{y} = \overline{x\cdot y}$) sur $A / I$ si et seulement si $I$ est un [[idéaux d'un anneau|idéal]] de $A$.
|
|
>
|
|
> > [!démonstration]- Démonstration
|
|
> > - Supposons que $I$ est absorbant (i.e. $I$ est [[idéaux d'un anneau|idéal]])
|
|
> > Soient $x, x' \in A$ tels que $\overline{x} = \overline{x'} \implies \exists i \in I,\quad x' = x+i$
|
|
> > Soient $y, y' \in B$ tels que $\overline{y} = \overline{y'} \implies \exists j \in I,\quad y' = y+j$
|
|
> > alors :
|
|
> > $x'y' = (x+i)(y+j)=xy+\underbrace{\overbrace{iy}^{\in I}+\overbrace{jx}^{\in I}+\overbrace{ij}^{\in I}}_{\in I}$ car $I$ est absorbant
|
|
> > donc $\overline{x'y'} = \overline{xy}$ d'où suit que $\cdot$ est bien définie.
|
|
> > Ainsi, tout idéal peut être diviseur d'un quotient d'anneau
|
|
> >
|
|
> > - Réciproquement, on suppose que $\cdot$ est bien définie
|
|
> > Soient $i \in I$ et $a \in A$
|
|
> > alors $\overline{ia} = \overline{0a} = \overline{0}$ puisque $\overline{0} = \overline{ i}$
|
|
> > donc : $ia \in \overline{0} = I$
|
|
> > D'où suit que $I$ est absorbant.
|
|
> > Ainsi, tout quotient d'anneau à pour diviseur un idéal
|
|
> >
|
|
> > De là suit que les diviseurs des quotients d'anneaux sont exactements les idéaux de l'anneau quotienté.
|
|
|
|
> [!proposition]+
|
|
> Soit $(A, +, \cdot)$ un anneau
|
|
> Soit $I$ un [[idéaux d'un anneau|idéal]] de $A$, et $(A/I, +, \cdot)$ l'anneau quotient
|
|
> Soit $\begin{align} \pi : A &\to A /I \\ x &\mapsto \overline{x} \end{align}$ un [[morphisme]] [[surjection|surjectif]]
|
|
> alors :
|
|
> $\pi$ établit une [[bijection]] entre les [[idéaux d'un anneau|idéaux]] de $A$ contenant $I$ et les [[idéaux d'un anneau|idéaux]] de $A /I$
|
|
>
|
|
> > [!démonstration]- Démonstration
|
|
> > On note :
|
|
> > $\Omega = \{ J \text{ idéal de } A \mid I \subset J \}$
|
|
> > $\overline{\Omega} = \{ J \text{ idéal de } A /I \}$
|
|
> >
|
|
> > $\begin{align} \pi : \Omega &\to \overline{\Omega} \\ J &\mapsto \pi(J) \in \overline{\Omega} \text{ car } \pi \text{ est un morphisme subjectif} \end{align}$
|
|
> > On veut montrer que c'est une bijection.
|
|
> >
|
|
> > - Soit $\overline{J}$ un idéal de $A /I$
|
|
> > $J := \pi ^{-1}(\overline{J})$ est un idéal de $A$ (car $\pi$ est un morphisme)
|
|
> > $\overline{O} \in J$ donc $I \subset \pi ^{-1}(\overline{J})$
|
|
> > et donc $J \in \Omega$ et est tel que $\pi(J) = \overline{J}$
|
|
> >
|
|
> > - Soit $J$ un idéal de $A$ qui contient $I$
|
|
> > Posons $\overline{J} = \pi(J)$
|
|
> > Montrons qu'alors $J = \pi ^{-1}(\overline{J})$ (ce qui implique l'injectivité, car si $\pi(\tilde{J}) = \pi(J)$, alors $J = \tilde{J} = \pi ^{-1}(\overline{J})$)
|
|
> > Puisque $\pi(J) = J$ on a $J \subset \pi ^{-1}(\overline{J})$
|
|
> > Montrons que $\pi ^{-1}(\overline{J}) \subset J$
|
|
> > Soit $x \in \pi ^{-1}(\overline{J})$ c'est-à-dire $\pi(x) \in \overline{J} = \pi(J)$
|
|
> > $\implies \exists y \in J,\quad \pi(x) = \pi(y)$
|
|
> > $\implies \pi(x-y) = \overline{0}$
|
|
> > $\implies x - y \in \ker \pi = I$
|
|
> > $\implies \exists i ,\quad x = \underbracket{y}_{\in J} + \underbracket{i}_{\in I \subset J} \in J$
|
|
> > on a montré que $\pi ^{-1}(\overline{J}) \subset J$
|
|
> > on a donc $J = \pi ^{-1}(\overline{J})$
|
|
> >
|
|
> >
|
|
|
|
# Exemples
|
|
|