---
aliases: 
up:
  - "[[anneau commutatif]]"
tags:
  - s/maths/algèbre
---

> [!definition] Définition
> Soit $(A, +, \cdot)$ un [[anneau commutatif]]
> $I \subset A$ est un **idéal de $A$** si :
> - $I$ est un [[sous groupe]] de $(A, +)$
> - $I$ est [[ensemble absorbant|absorbant]] : $\forall i \in I,\quad \forall a \in A,\quad i\cdot a \in I$
^definition

# Propriétés

# Exemples