Arithmétique modulaire
dans Arithmétique
Bonjour
Question simple, sous quelles conditions sur $a$ et $b$ (avec $a$ premier avec $b\,$ et $a<b $) peut-on être sûr qu'il existe un $k$ tel que $a^k\pmod b<a \pmod b$ ?
Toute réponse partielle sera la bienvenue:-)
Merci d'avance.
Question simple, sous quelles conditions sur $a$ et $b$ (avec $a$ premier avec $b\,$ et $a<b $) peut-on être sûr qu'il existe un $k$ tel que $a^k\pmod b<a \pmod b$ ?
Toute réponse partielle sera la bienvenue:-)
Merci d'avance.
Réponses
-
C'est toujours vrai dès que $a > 1$ puisque, $a$ étant premier avec $b$, $a$ est inversible modulo $b$ et donc est d'ordre fini dans le groupe multiplicatif $\left(\mathbb Z/b \mathbb Z\right)^{\times}$. Si $k$ est l'ordre de $a$ dans ce groupe, on a $a^k \equiv 1 \text{ mod } b$.
-
Merci Poirot. J'ai oublié d'ajouter que $k$ est inférieur à l'ordre de $a$. 8-)
-
Quelqu'un peut me diriger vers un article qui aborde le sujet de près ou de loin ?
Je n'ai même pas le bout du fil. -
Voilà une condition suffisante : $b = p^{\alpha}$ avec $p$ premier impair et $a \neq 2$ un générateur de $\left(\mathbb Z/b\mathbb Z\right)^{\times}$.
-
Merci Poirot, dans ce cas le groupe est évidemment cyclique... ce qui m'impressionne c'est surtout le manque de connaissance que nous avons concernant les groupes $(\Z/n\Z)$ quand $n$ n'est pas une puissance d'un nombre premier.
Que peut-on dire si $n=\prod_{i=1}^m p_{i}$ avec $p_{i}$ nombres premiers distincts. -
Salut,
Si $a\neq 2$ et que $m$ est le cardinal de l'ensemble des éléments de $(\Z/b\Z)^{\times}$ supérieurs à $a$, il suffit que l'ordre de $a$ dans $(\Z/b\Z)^{\times}$ soit supérieur à $m + 2$.
Cordialement -
Merci pour ta réponse.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres