Forum de mathématiques - Bibm@th.net
Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
- Accueil
- » Entraide (supérieur)
- » groupe des unités
- » Répondre
Répondre
Résumé de la discussion (messages les plus récents en premier)
- Paco del Rey
- 03-12-2021 22:44:51
Bonsoir.
Cela n'a rien d'évident. Voici comment Apostol s'y prend. Il démontre que
1. si $\bar a$ engendre $U(\mathbb Z/p\mathbb Z)$ alors $\bar a$ engendre $U(\mathbb Z/p^n\mathbb Z)$ pour tous $n\geqslant 2$ si et seulement si $a^{p-1} \not\equiv 1 \mod p^2$.
2. il existe au moins un entier $a$ qui vérifie $a^{p-1} \not\equiv 1 \mod p^2$.
Tu peux jeter un coup d'oeil au Lemme de Hensel
Paco.
Tom Apostol Introduction to Analytical Number Theory Springer 1976
- pentium mix
- 03-12-2021 19:23:10
Bonsoir
S'il vous plaît comment montrer que pour p un nombre premier impair U(Z/p^nZ) est cyclique et pour le cas p=2, il est isomorphe a Z/2*Z/2^(n-2)
Merci d'avance