mbp-oskar.lan 2025-5-29:21:27:46

anneau commutatif.md

@@ -1,10 +1,12 @@
-up::[[anneau]]
-title::"$(A, +, \times)$ où", " - $(A, +)$ est un [[groupe abélien]]", " - $(A, \times)$ est un [[monoïde]] [[commutativité|commutatif]]", " - $\times$ est [[distributivité|distributive]] sur $+$"
-#s/maths/algèbre 
-
 ---
-Un _anneau commutatif_ est un [[anneau]] pour lequel la loi $\times$ est [[commutativité|commutative]]
+up: "[[anneau]]"
+tags: "#s/maths/algèbre"
+---
 
+> [!definition] Définition - à partir d'un anneau
+> Soit $(A, +, \times)$ un [[anneau]]
+> On dit que $(A, +, \times)$ est un **anneau commutatif** si $\times$ la loi produit est [[commutativité|commutative]]
+^definition
 
 > [!définition]
 > Un ensemble $A$ muni des lois $+$ et $\times$ est un _anneau commutatif_ ssi :
@@ -16,15 +18,15 @@ Un _anneau commutatif_ est un [[anneau]] pour lequel la loi $\times$ est [[commu
 >      - $\times$ est [[associativité|associative]] et [[commutativité|commutative]]
 >      - il y a un [[élément neutre]] pour $\times$
 >  - $\forall (x; a; b) \in A, \quad x \times (a + b) = (x \times a) + (x \times b)$
-
-
-> [!definition] Définition - à partir d'un anneau
-> Soit $(A, +, \times)$ un [[anneau]]
-> On dit que $(A, +, \times)$ est un **anneau commutatif** si la loi $\times$ est [[commutativité|commutative]]
-^definition
-
 # Propriétés
 
+> [!proposition]+ Propriétés de base
+> Soit $a \in A$
+> - $a \times 0 = 0 \times a = 0$
+>     - dem $a \times 0 = a \times (0 + 0) = (a\times 0) + (a\times 0)$ d'où suit que $0 = a \times 0$. Il suit par commutativité que $0 \times a = 0$
+> - 
+
+
 > [!proposition]+ 
 > Soit $A$ un anneau commutatif
 > Soit $I \neq A$ un [[idéaux d'un anneau|idéal]] de $A$