Algorithme d'Euclide étendu, Théorème de Bézout
Anneaux
Soit \(A\) un anneau et soit \(E\) un ensemble non-vide. On note \(\mathcal{F}(E,A)\) l’ensemble des fonctions de \(E\) dans \(A\).
Si \(f, g \in \mathcal{F}(E,A)\), on définit la somme \(f+g\) et le produit \(f\cdot g\) par les équations
\[\begin{align} (f + g)(x) &= f(x) + g(x), \quad \text{ pour tout } x\in E \\ (f \cdot g)(x) &= f(x) \cdot g(x), \quad \text{ pour tout } x\in E \end{align}\]- Montrer que l’ensemble \(\mathcal{F}(E, A)\) muni des deux lois binaires
\((f,g) \mapsto f + g \quad \text{ et } \quad (f, g) \mapsto f \cdot g,\) est un anneau.
- Montrer que cet anneau est commutatif si \(A\) est un anneau commutatif. Quels sont les éléments neutres de cette anneau pour l’addition et la multiplication?
Algorithme d’Euclide
-
Montrer que si \(a\) et \(b\) sont deux entiers tels que \(a>b\), alors \(\mathrm{pgcd}(a, b) = \mathrm{pgcd}(b, a \mod{b}).\)
-
Calculer le pgcd de \(a =105\) et \(b = 12\).
Algorithme d’Euclide étendu
Soient \(a = 167\) et \(b = 115.\)
- Calculer le pgcd\((a,b)\) en utilisant l’algorithme d’Euclide.
- Calculer \(u, v\in \mathbb{Z}\) tels que \(a\cdot u + b\cdot v = \mathrm{pgcd}(a,b)\).
- Calculer l’inverse de \(b\) modulo \(a\).
Faire le même exercice avec \(a = 153\) et \(b = 140\).
Éléments inversibles
-
Énumérer tous les éléments inversibles de \(\mathbb{Z}/16\mathbb{Z}.\)
-
Énumérer tous les éléments inversibles de \(\mathbb{Z}/11\mathbb{Z}.\)
-
Montrer que si \(a\) et \(b\) sont deux éléments inversibles dans \(\mathbb{Z}/n\mathbb{Z}\), alors l’élément \(ab\) est également inversible.
-
Montrer que l’ensemble \((\mathbb{Z}/n\mathbb{Z})^*\) des éléments inversibles de \(\mathbb{Z}/n\mathbb{Z}\) est un groupe pour la multiplication.
Petit théorème de Fermat
Le petit théorème de Fermat s’annonce comme suit: Si \(p\) est un nombre premier et \(a\) un entier qui n’est pas divisible par \(p\), alors
\[a^{p-1} \equiv 1 \mod{p}.\]On utilisera ce résultat sans preuve.
- Calculer l’aide du petit théorème de Fermat :
-
\(2^{751} \mod{31}\) \(\quad\)
-
\(2^{32410} \mod{53}\) \(\quad\)