633 B
633 B
aliases, up, tags
aliases | up | tags | ||||
---|---|---|---|---|---|---|
|
|
|
[!definition] Définition Soit
(A, +, \cdot)
un anneau commutatif SoitI
un idéaux d'un anneau deA
On dit queI
est maximal si :
I \neq A
\forall J \text{ idéal de } A,\quad I \subset J \subset A \implies \begin{cases} J = I \\ \text{ou} \\ J = A \end{cases}
^definition
Propriétés
[!proposition]+ Si
A
est un corps, alors tous ses idéaux sont maximaux.[!démonstration]- Démonstration !corps#^ideaux-dun-corps