From 8da6a8e7ee9b801c2a184912688316b6e44e1e1b Mon Sep 17 00:00:00 2001
From: Anthony Debucquoy <debucquoy.anthony@gmail.com>
Date: Thu, 16 Feb 2023 22:48:30 +0100
Subject: [PATCH] adding start mod 10 feb

---
 src/SUMMARY.md       |  1 +
 src/math/disc/mod.md | 17 +++++++++++++++++
 2 files changed, 18 insertions(+)
 create mode 100644 src/math/disc/mod.md

diff --git a/src/SUMMARY.md b/src/SUMMARY.md
index 39a1657..1a6f6dd 100644
--- a/src/SUMMARY.md
+++ b/src/SUMMARY.md
@@ -28,6 +28,7 @@
     - [Les Espaces Vectoriels](./math/all/chap1.md)
 - [Math Discrète](./math/disc/index.md)
     - [Initiation à la théorie des graphe](./math/disc/graph.md)
+    - [Mathématique modulaire](./math/disc/mod.md)
 # Physique générale I
 - [Mecanique](./phys/meca/index.md)
 	- [Chapitre 1](./phys/meca/chap1.md)
diff --git a/src/math/disc/mod.md b/src/math/disc/mod.md
new file mode 100644
index 0000000..453d06e
--- /dev/null
+++ b/src/math/disc/mod.md
@@ -0,0 +1,17 @@
+# Mathématique modulaire
+
+- Soient \\(a, b \in \mathbb{Z}\\) avec \\(a \neq 0\\)
+    - On dit que \\( a \\) **divise** \\( b \\) noté \\( a | b \\)
+        - ssi \\( \exists c \in \mathbb{Z} b=ac \\)
+        - On dit également que b est un multiple de a
+
+## Algorithme de division d'euclide
+
+- Soient \\( a \in \mathbb{Z} \text{ et } d\in \mathbb{N} _ 0 \\)
+    - \\( \exists q, r \in \mathbb{Z} \quad 0 \leq r < d \quad a = dq + r\\)
+\mathbb{R}
+
+- Soient \\( a, b \in \mathbb{Z} \quad n \in \mathbb{N} _ 0  \\)
+    - On dit que \\( a \\) est **congru** à \\( b \\) modulo n
+        - ssi \\( n \vert (a - b) \\)
+            - On note \\( a \equiv_n b \\)