mbp-oskar.lan 2025-5-11:16:0:38

This commit is contained in:
oskar
2025-05-11 16:00:39 +02:00
parent 698b45c225
commit a0edc53ec3
11 changed files with 8778 additions and 8 deletions

View File

@@ -1,5 +1,9 @@
up::[[structure algébrique]], [[anneau]]
#s/maths/algèbre
---
up:
- "[[structure algébrique]]"
- "[[anneau]]"
tags: "#s/maths/algèbre"
---
> [!definition] Corps
> Un ensemble $K$ muni de deux lois $+$ et $\times$ est un _corps_ ssi :
@@ -11,7 +15,7 @@ up::[[structure algébrique]], [[anneau]]
> - $\times$ est [[associativité|associative]]
> - $1$ est l'élément neutre pour $\times$
> - tous les éléments de $K^{*}$ sont [[éléments inversibles|symétrisables]] par $\times$
> - [!] $0$ n'est pas inversible par $\times$
> - ! $0$ n'est pas inversible par $\times$
> - $\times$ est [[distributivité|distributive]] sur $+$ (à droite et à gauche)
> - $\forall (x; a; b) \in K^{3}, \quad x \times (a+b) = (a+b)\times x = (x \times a) + (x \times b)$
^definition