MP · Chapitre 01
Exercices — Structures algébriques usuelles
36 exercices de difficulté croissante, à chercher avant de regarder le corrigé.
Sommaire
36 exercices, difficulté croissante de ★ (application directe) à ★★★★ (défi). Les corrigés détaillés sont dans le PDF — cherchez d'abord, le corrigé ensuite : c'est là que ça progresse.
Exercice 1 ★★★★ — Reconnaître un sous-groupe
Groupes, sous-groupes, sous-groupe engendré, produit fini de groupes
-
Énoncer la caractérisation des sous-groupes, d'abord en notation multiplicative, puis en notation additive.
-
Les parties suivantes sont-elles des sous-groupes du groupe indiqué ? Justifier chaque réponse en appliquant la caractérisation point par point.
a. dans
b. dans
c. dans
d. dans
e. , l'ensemble des entiers pairs, dans
f. , l'ensemble des entiers impairs, dans
g. , l'ensemble des fonctions paires, dans
-
Pour les parties qui ne sont pas des sous-groupes, préciser laquelle des conditions de la caractérisation est mise en défaut.
Exercice 2 ★★★★ — Sous-groupe engendré : premiers calculs
Groupes, sous-groupes, sous-groupe engendré, produit fini de groupes
Soit un groupe et soit une partie de . On rappelle que le sous-groupe engendré par , noté , est l'intersection de tous les sous-groupes de contenant , et que, lorsque est réduit à un seul élément, on dispose de la description
qui s'écrit en notation additive.
-
Déterminer dans .
-
Déterminer dans , puis dans .
-
Déterminer dans et préciser son cardinal.
-
Déterminer dans .
-
Déterminer dans , où .
-
Soit une partie d'un groupe . Montrer que est le plus petit sous-groupe de contenant au sens de l'inclusion, c'est-à-dire : est un sous-groupe de , il contient , et il est inclus dans tout sous-groupe de contenant .
Exercice 3 ★★★★ — Les sous-groupes de Z en pratique
Groupes, sous-groupes, sous-groupe engendré, produit fini de groupesIdéaux d'un anneau commutatif, divisibilité, idéaux de Z
Pour , on note l'ensemble des multiples de . On rappelle que les sous-groupes de sont exactement les ensembles avec , et l'on pose, pour ,
-
Écrire et sous la forme avec .
-
Même travail pour et .
-
Soient . Montrer que si et seulement si .
-
En déduire à quelle condition sur et on a .
-
L'ensemble est-il un sous-groupe de ?
Exercice 4 ★★★★ — Morphisme de groupes : image et noyau
Morphismes de groupes : image, noyau, isomorphismes
Pour chacune des applications suivantes, on demande de vérifier qu'il s'agit d'un morphisme de groupes en précisant les groupes de départ et d'arrivée, de déterminer son image et son noyau, puis de conclure sur son injectivité et sa surjectivité.
On rappelle qu'un morphisme de groupes est injectif si et seulement si , où désigne le neutre de , et qu'il est surjectif si et seulement si .
-
, .
-
, .
-
, , puis , .
-
La signature , où .
-
, , où .
-
, .
Exercice 5 ★★★★ — Ordre d'un élément : calculs dans les groupes usuels
Ordre d'un élément, divisibilité de l'ordre, théorème de Lagrange
Soit un groupe de neutre et soit . On dit que est d'ordre fini s'il existe tel que ; le plus petit tel entier est alors l'ordre de , noté , et l'on dispose des deux résultats du cours
En notation additive, la puissance se lit et le neutre se lit .
-
Déterminer dans , puis dans .
-
Montrer que n'est pas d'ordre fini dans .
-
Déterminer et dans .
-
Déterminer dans .
-
Déterminer l'ordre du cycle dans , puis celui de la matrice de rotation d'angle dans :
-
Vérifier sur deux des exemples précédents que l'ordre d'un élément d'un groupe fini divise le cardinal de ce groupe.
Exercice 6 ★★★★ — Groupes monogènes et cycliques : reconnaissance
Groupes monogènes et cycliques, structure, groupe additif Z/nZ
Un groupe est dit monogène s'il existe tel que ; un tel élément est appelé générateur de . Un groupe monogène et fini est dit cyclique. On rappelle que , et l'on note .
Pour chacun des groupes suivants, dire s'il est monogène, s'il est cyclique, et en donner un générateur lorsqu'il en existe.
-
.
-
.
-
, puis .
-
.
-
.
-
Montrer que tout groupe monogène est abélien.
Exercice 7 ★★★★ — Générateurs du groupe additif Z/nZ
Groupes monogènes et cycliques, structure, groupe additif Z/nZ
Soit un entier tel que . On travaille dans le groupe additif , dont les éléments sont les classes pour . On rappelle que pour tout on a , et que l'indicatrice d'Euler désigne le nombre d'entiers de tels que .
-
Soit . Montrer que engendre le groupe si et seulement si .
-
En déduire la liste de tous les générateurs de .
-
Déterminer de même les générateurs de , puis ceux de .
-
Montrer que possède exactement générateurs, et vérifier ce résultat sur les trois exemples précédents.
-
Déterminer le sous-groupe de ainsi que son cardinal. Le résultat était-il prévisible d'après la question 1 ?
Exercice 8 ★★★★ — Inversibles de Z/nZ et premiers calculs modulaires
L'anneau Z/nZ : inversibles, théorème chinois, indicatrice d'Euler, théorème d'Euler
Soit un entier tel que . On rappelle le critère du cours : dans l'anneau , la classe est inversible si et seulement si .
-
Déterminer les groupes et , et donner dans chaque cas l'inverse de chacun de leurs éléments.
-
Calculer l'inverse de dans en détaillant l'algorithme d'Euclide et la relation de Bézout obtenue.
-
Reprendre la même méthode pour calculer l'inverse de dans .
-
Résoudre dans l'équation .
-
Montrer que l'équation n'a aucune solution dans , et expliquer ce qui la distingue de l'équation précédente.
-
Exhiber deux éléments non nuls de dont le produit est nul. L'anneau est-il intègre ?
Exercice 9 ★★★★ — Reconnaître un idéal d'un anneau commutatif
Idéaux d'un anneau commutatif, divisibilité, idéaux de Z
Dans tout l'exercice, désigne un anneau commutatif d'élément unité . On munit des lois usuelles et , qui en font un anneau commutatif dont l'unité est la fonction constante égale à . L'anneau est muni des lois composante par composante, d'unité .
- Rappeler la définition d'un idéal de .
Pour chacune des parties des questions 2 à 5, dire si c'est un idéal de l'anneau indiqué, en justifiant, et en donnant un contre-exemple explicite lorsque la réponse est négative.
-
Dans : l'ensemble des multiples de ; puis l'ensemble des entiers impairs.
-
Dans : l'ensemble des polynômes divisibles par ; puis l'ensemble des polynômes de degré au plus .
-
Dans : l'ensemble des polynômes s'annulant en et en . Dans : l'ensemble des fonctions nulles en .
-
Dans : la partie . Est-ce un sous-anneau de ?
-
Montrer qu'un idéal de contenant un élément inversible est égal à tout entier. En déduire tous les idéaux d'un corps .
Exercice 10 ★★★★ — Sous-anneaux et morphismes d'anneaux usuels
Anneaux, sous-anneaux, morphismes d'anneaux, intégrité, corps
Tous les anneaux considérés sont unitaires, et l'on rappelle qu'un morphisme d'anneaux vérifie par définition , et . On rappelle également que est irrationnel. On pose
-
Montrer que est un sous-anneau de .
-
Montrer que tout élément de s'écrit de manière unique sous la forme avec , puis que est un sous-corps de .
-
Montrer que la conjugaison est un automorphisme de l'anneau .
-
Montrer que est un morphisme d'anneaux surjectif de dans , et déterminer son noyau.
-
Montrer que n'est pas un morphisme d'anneaux de dans , et que n'est pas un sous-anneau de .
Exercice 11 ★★★★ — Le groupe des inversibles d'un anneau produit
Anneaux, sous-anneaux, morphismes d'anneaux, intégrité, corps
Soient et deux anneaux, d'éléments nuls et et d'éléments unités et . On les suppose tous deux non nuls, c'est-à-dire et . On munit l'ensemble des lois composante par composante :
-
Montrer que est un anneau, en précisant son élément nul et son élément unité.
-
Montrer que .
-
Montrer que n'est pas intègre.
-
En déduire , puis , en donnant la liste explicite de leurs éléments.
-
Montrer que la projection , , est un morphisme d'anneaux surjectif, et déterminer son noyau. Ce noyau est-il un sous-anneau de ?
-
Montrer que l'application , , n'est pas un morphisme d'anneaux.
Exercice 12 ★★★★ — Sous-algèbres et l'algèbre des polynômes en un endomorphisme
Algèbres, sous-algèbres, morphismes d'algèbres
Soit égal à ou , soit un -espace vectoriel et soit . On rappelle que , muni de l'addition, de la multiplication par un scalaire et de la composition, est une -algèbre d'élément unité , et qu'une partie d'une -algèbre en est une sous-algèbre lorsque est un sous-espace vectoriel de , stable par le produit de , et contenant .
Pour , on pose , avec la convention , et l'on note .
-
Montrer que est une sous-algèbre commutative de .
-
Montrer que est la plus petite sous-algèbre de contenant , au sens de l'inclusion.
-
Soit . Montrer que l'ensemble des matrices diagonales est une sous-algèbre de , puis que l'ensemble des matrices triangulaires supérieures en est également une.
-
Montrer que l'ensemble des matrices de de trace nulle n'est pas une sous-algèbre de ; on donnera deux raisons distinctes.
-
Montrer que est une -algèbre de dimension , et que en est un morphisme d'algèbres.
Exercice 13 ★★★★ — Ordre d'une puissance d'un élément
Ordre d'un élément, divisibilité de l'ordre, théorème de Lagrange
Soit un groupe de neutre et soit un élément d'ordre fini . On rappelle le résultat du cours : pour tout , .
Soit . On pose , puis et , de sorte que .
-
Montrer que est d'ordre fini, puis que .
-
Réciproquement, montrer que si vérifie , alors . En déduire que .
-
En déduire que engendre si et seulement si , puis que possède exactement générateurs, où désigne le nombre d'entiers de premiers avec .
-
Applications numériques.
a. Déterminer l'ordre de , de et de dans le groupe .
b. Soit un groupe et soit un élément d'ordre . Déterminer .
-
Cette question est indépendante des précédentes. Soient et deux éléments d'un groupe qui commutent, d'ordres finis respectifs et , avec . Montrer que .
Exercice 14 ★★★★ — Le sous-groupe engendré par deux entiers : Bézout revisité
Groupes, sous-groupes, sous-groupe engendré, produit fini de groupesIdéaux d'un anneau commutatif, divisibilité, idéaux de Z
Soient et deux entiers non nuls. On pose
On rappelle le théorème du cours : tout sous-groupe de s'écrit pour un unique entier .
-
Montrer que est un sous-groupe de .
-
Montrer par double inclusion que .
-
En déduire le théorème de Bézout, ainsi qu'une condition nécessaire et suffisante portant sur pour que l'équation admette une solution .
-
Montrer de même que .
-
Traiter en détail le cas et : déterminer et , expliciter une relation de Bézout, et vérifier la relation .
-
Généraliser : soient des entiers non tous nuls. Décrire .
Exercice 15 ★★★★ — Systèmes de congruences et théorème chinois
L'anneau Z/nZ : inversibles, théorème chinois, indicatrice d'Euler, théorème d'Euler
On rappelle le théorème chinois : si et sont deux entiers supérieurs ou égaux à tels que , l'application qui, à la classe d'un entier modulo , associe le couple formé de la classe de modulo et de la classe de modulo , est un isomorphisme d'anneaux de sur . Autrement dit, pour tous entiers et , le système et possède des solutions, et celles-ci forment exactement une classe de congruence modulo .
Dans tout l'exercice, on détaillera la méthode : justification de l'existence, construction d'une solution particulière, puis description de l'ensemble des solutions.
-
Résoudre dans le système et .
-
Résoudre dans le système , et .
-
Les deux systèmes suivants ne relèvent pas du théorème chinois.
a. Montrer que le système et possède néanmoins des solutions, et les décrire.
b. Montrer que le système et n'a aucune solution. Préciser où l'hypothèse du théorème chinois est en défaut, et dégager le critère exact qui sépare les deux situations.
-
Déterminer le plus petit entier strictement positif dont la division euclidienne par laisse le reste , celle par le reste , et celle par le reste .
Exercice 16 ★★★★ — Indicatrice d'Euler et théorème d'Euler
L'anneau Z/nZ : inversibles, théorème chinois, indicatrice d'Euler, théorème d'Euler
Pour , l'indicatrice d'Euler est définie par
c'est aussi, d'après la caractérisation des inversibles de , le cardinal du groupe .
-
Calculer dans les cas suivants, en rappelant la formule utilisée.
a.
b.
c.
d.
e.
f.
-
Démontrer la formule , valable pour tout nombre premier et tout entier , utilisée à la question précédente.
-
Énoncer le théorème d'Euler, puis l'appliquer pour déterminer le reste de la division euclidienne de par .
-
En utilisant encore le théorème d'Euler, déterminer l'inverse de dans l'anneau .
-
Déterminer tous les entiers tels que .
Exercice 17 ★★★★ — Petit théorème de Fermat et restes de grandes puissances
L'anneau Z/nZ : inversibles, théorème chinois, indicatrice d'Euler, théorème d'Euler
-
Énoncer le petit théorème de Fermat sous ses deux formes, puis démontrer que la seconde se déduit de la première.
-
Déterminer :
a. le reste de la division euclidienne de par ;
b. le reste de la division euclidienne de par ;
c. le chiffre des unités de .
-
Démontrer que divise pour tout .
-
Soient un nombre premier et tel que . Démontrer que ne divise pas . Que peut-on en conclure sur l'hypothèse « ne divise pas » figurant dans le petit théorème de Fermat ?
-
Démontrer que , alors que n'est pas premier. Qu'en conclure sur la réciproque du petit théorème de Fermat ?
Exercice 18 ★★★★ — Idéaux de K[X] : générateur unitaire et PGCD
Idéaux de K[X], PGCD et relation de Bézout par les idéaux
Soit un corps. On rappelle qu'une partie de l'anneau commutatif en est un idéal lorsque est un sous-groupe de et que pour tout et tout . Pour , on note l'idéal engendré par .
-
Soit un idéal de . Démontrer qu'il existe un polynôme , nul ou unitaire, tel que , et que ce polynôme est unique. On l'appelle le générateur unitaire de .
-
Soit . Vérifier que est un idéal de , puis déterminer son générateur unitaire.
-
Déterminer de même le générateur unitaire de .
-
Soient et dans . Démontrer que . En déduire une caractérisation de l'égalité .
-
Soit . Démontrer que est un idéal de et déterminer son générateur unitaire.
Exercice 19 ★★★★ — Polynômes annulateurs d'un endomorphisme : un idéal de K[X]
Idéaux de K[X], PGCD et relation de Bézout par les idéauxAlgèbres, sous-algèbres, morphismes d'algèbres
Soit un -espace vectoriel non réduit à et soit . Pour un polynôme de , on pose , avec la convention . On note l'application , et l'ensemble des polynômes annulateurs de .
-
Montrer que est un morphisme de -algèbres.
-
En déduire que est un idéal de .
-
On suppose . Montrer que possède un unique générateur unitaire, noté dans la suite.
-
Déterminer dans chacun des cas suivants.
a. est un projecteur : , avec et .
b. est une symétrie : , avec et .
c. et est l'endomorphisme de matrice dans la base canonique.
-
On suppose de dimension finie . Montrer que .
Exercice 20 ★★★★ — Morphismes issus de Z et caractéristique d'un anneau
Morphismes de groupes : image, noyau, isomorphismesAnneaux, sous-anneaux, morphismes d'anneaux, intégrité, corps
Soit un anneau, d'unité et d'élément nul . Pour et , on note l'itéré additif de , défini par , puis pour , et enfin pour . On utilisera librement la règle de calcul, vue en sup dans tout groupe abélien : pour tous .
-
Montrer qu'il existe un unique morphisme d'anneaux , et qu'il est donné par .
-
Montrer que est un idéal de , puis qu'il existe un unique entier tel que . Cet entier s'appelle la caractéristique de et se note .
-
Déterminer la caractéristique de , de , de et de .
-
Montrer que la caractéristique d'un anneau intègre est nulle ou égale à un nombre premier.
-
Soit un anneau commutatif de caractéristique . Montrer que pour tous .
Exercice 21 ★★★★ — Le groupe des racines n-ièmes de l'unité
Groupes monogènes et cycliques, structure, groupe additif Z/nZMorphismes de groupes : image, noyau, isomorphismes
Soit un entier. On note l'ensemble des racines -ièmes de l'unité, et .
-
Montrer que est un sous-groupe de , puis que .
-
Montrer que l'application est bien définie sur , et que c'est un isomorphisme de sur .
-
En déduire quels éléments de en sont des générateurs (on les appelle racines primitives -ièmes de l'unité) et combien il y en a. Les expliciter pour .
-
Soit un entier. Montrer que si et seulement si .
-
Montrer que .
Exercice 22 ★★★★ — Les sous-groupes d'un groupe cyclique
Groupes monogènes et cycliques, structure, groupe additif Z/nZOrdre d'un élément, divisibilité de l'ordre, théorème de Lagrange
Soit un entier et soit un groupe cyclique de cardinal , noté multiplicativement, de neutre . On rappelle que et que, pour , si et seulement si .
-
Montrer que , , est un morphisme de groupes surjectif de noyau . En déduire que tout sous-groupe de s'écrit pour un entier divisant : tout sous-groupe de est cyclique.
-
Montrer que si divise , alors . En déduire que pour tout diviseur de , le groupe possède un unique sous-groupe de cardinal , à savoir .
-
En déduire que le nombre de sous-groupes de est égal au nombre de diviseurs positifs de .
-
Dresser la liste complète des sous-groupes de , avec pour chacun son cardinal, un générateur et ses éléments.
-
Montrer que tout sous-groupe de est monogène, mais que possède une infinité de sous-groupes. Commenter l'écart avec la question 3.
Exercice 23 ★★★★ — Nilpotents et idempotents de Z/nZ
L'anneau Z/nZ : inversibles, théorème chinois, indicatrice d'Euler, théorème d'EulerAnneaux, sous-anneaux, morphismes d'anneaux, intégrité, corps
Soit un entier. Dans un anneau , un élément est dit nilpotent lorsqu'il existe un entier tel que , et idempotent lorsque .
-
Déterminer les éléments nilpotents de , puis ceux de .
-
Soit . Montrer que est nilpotent dans si et seulement si tout facteur premier de divise .
-
Soit un anneau commutatif, nilpotent et . Montrer que .
-
Déterminer les idempotents de (on pourra utiliser le théorème chinois avec ).
-
Soit un nombre premier. Montrer que les seuls idempotents de sont et .
Exercice 24 ★★★★ — Le morphisme de Frobenius
L'anneau Z/nZ : inversibles, théorème chinois, indicatrice d'Euler, théorème d'EulerAnneaux, sous-anneaux, morphismes d'anneaux, intégrité, corps
Soit un nombre premier. Pour et élément d'un anneau , on note l'itéré additif de (, pour , et pour ) ; on utilisera librement les règles de calcul et . On dit que est de caractéristique lorsque est le plus petit entier strictement positif tel que .
-
Montrer que divise pour tout entier tel que .
-
Soit un anneau commutatif de caractéristique . Montrer que pour tout , puis que est un morphisme d'anneaux de dans . On l'appelle morphisme de Frobenius.
-
Montrer que est de caractéristique et que son morphisme de Frobenius est l'identité, par récurrence. En déduire le petit théorème de Fermat sous ses deux formes.
-
Exhiber deux matrices de qui ne commutent pas et qui montrent que l'hypothèse de commutativité ne peut pas être supprimée à la question 2.
-
Montrer que si l'anneau commutatif de caractéristique est de plus intègre, alors est injectif.
Exercice 25 ★★★★ — Les entiers de Gauss : norme, inversibles et divisibilité
Anneaux, sous-anneaux, morphismes d'anneaux, intégrité, corpsIdéaux d'un anneau commutatif, divisibilité, idéaux de Z
On pose et, pour avec , on pose . L'entier naturel est appelé la norme de (l'écriture avec et entiers étant unique, est bien définie).
Un élément de est dit irréductible lorsque n'est pas inversible dans et que tout diviseur de dans est soit un inversible de , soit un associé de , c'est-à-dire de la forme avec .
-
Montrer que est un sous-anneau intègre de , puis que pour tous et de .
-
Montrer que est inversible dans si et seulement si , puis en déduire que .
-
Montrer que si est un nombre premier, alors est irréductible dans .
-
Vérifier que et que , puis en déduire que ni ni ne sont irréductibles dans .
-
Montrer qu'aucun élément de n'est de norme (on regardera les carrés modulo ), puis que est irréductible dans .
Exercice 26 ★★★★ — Théorème de Lagrange : groupes d'ordre premier et conséquences
Ordre d'un élément, divisibilité de l'ordre, théorème de LagrangeGroupes monogènes et cycliques, structure, groupe additif Z/nZ
Soit un groupe fini de cardinal et de neutre . On admet le théorème de Lagrange : pour tout , l'ordre divise . On rappelle que et que, pour , .
-
Montrer que pour tout .
-
On suppose ici que est un nombre premier. Montrer que tout élément de différent de engendre ; en déduire que est cyclique, puis que les seuls sous-groupes de sont et .
-
On suppose maintenant . Montrer que, ou bien est cyclique, ou bien tout élément de différent de est d'ordre . Montrer que dans les deux cas est abélien.
-
Donner un exemple de groupe de cardinal de chacun de ces deux types.
-
Soient un entier et tel que . En appliquant la question 1 au groupe , retrouver le théorème d'Euler : .
Exercice 27 ★★★★ — Le centre d'un groupe et les automorphismes intérieurs
Groupes, sous-groupes, sous-groupe engendré, produit fini de groupesMorphismes de groupes : image, noyau, isomorphismes
Soit un groupe de neutre . On appelle centre de l'ensemble
des éléments qui commutent avec tous les éléments de . On note l'ensemble des automorphismes de , qui est un groupe pour la composition.
-
Montrer que est un sous-groupe abélien de , et que est abélien si et seulement si .
-
Pour , on pose , . Montrer que est un automorphisme de (on l'appelle automorphisme intérieur associé à ).
-
Montrer que est un morphisme de groupes de dans , et déterminer son noyau.
-
Déterminer .
-
Déterminer . On pourra utiliser les matrices et , où désigne la matrice élémentaire dont tous les coefficients sont nuls sauf celui de la ligne et de la colonne , égal à .
Exercice 28 ★★★★ — Le commutant d'une matrice : une sous-algèbre
Algèbres, sous-algèbres, morphismes d'algèbres
Soient un entier et . On appelle commutant de l'ensemble
On note par ailleurs et la matrice élémentaire dont tous les coefficients sont nuls, sauf celui de la ligne et de la colonne , égal à .
-
Montrer que est une sous-algèbre de .
-
Montrer que .
-
On prend et . Déterminer et sa dimension, puis comparer et .
-
On prend et . Déterminer et vérifier que .
-
On prend et . Déterminer et . Qu'en conclure sur l'inclusion de la question 2 et sur la commutativité de ?
Dans les questions 3, 4 et 5, tous les calculs se font par identification des coefficients.
Exercice 29 ★★★★ — Idéaux de l'anneau des fonctions d'un ensemble dans un corps
Idéaux d'un anneau commutatif, divisibilité, idéaux de ZAnneaux, sous-anneaux, morphismes d'anneaux, intégrité, corps
Soient un ensemble non vide et un corps. On munit , ensemble des fonctions de dans , des lois usuelles définies point par point : pour , dans et ,
Pour une partie de , on note la fonction indicatrice de , définie par si et sinon, et l'on pose
-
Montrer que est un anneau commutatif, et qu'il n'est pas intègre dès que possède au moins deux éléments.
-
Soit . Montrer que est un morphisme d'anneaux surjectif de dans , et que est un idéal de .
-
Montrer que est un idéal de pour toute partie de , et que .
-
Déterminer les inversibles de , puis ses idempotents, c'est-à-dire les vérifiant .
-
On suppose ici fini. Montrer que tout idéal de est de la forme pour une unique partie de .
Exercice 30 ★★★★ — Le théorème de Wilson
L'anneau Z/nZ : inversibles, théorème chinois, indicatrice d'Euler, théorème d'Euler
Soit un nombre premier. On travaille dans l'anneau et dans son groupe des inversibles .
-
Montrer que , puis qu'un élément de ce groupe est son propre inverse si et seulement si ou .
-
En appariant chaque élément de avec son inverse, démontrer le théorème de Wilson : .
-
Vérifier le résultat pour , et .
-
Réciproquement, soit un entier tel que . Montrer que est premier.
-
Le critère « est premier si et seulement si » est donc exact. Expliquer pourquoi il est pourtant inutilisable en pratique pour tester la primalité d'un grand entier.
Exercice 31 ★★★★ — Le chiffrement RSA
L'anneau Z/nZ : inversibles, théorème chinois, indicatrice d'Euler, théorème d'Euler
Alice choisit deux nombres premiers distincts et , pose , puis choisit un entier tel que . Elle rend publique la clé et garde secret un entier tel que . Un message est un entier avec ; Bob l'envoie chiffré sous la forme , et Alice le déchiffre en calculant .
Dans les questions 1 à 3, on prend , , donc , et .
- Calculer , vérifier que , puis déterminer l'exposant de déchiffrement en détaillant l'algorithme d'Euclide.
- Chiffrer le message , c'est-à-dire calculer par exponentiation rapide.
- Déchiffrer le message chiffré obtenu et vérifier que l'on retrouve bien .
- On revient au cas général. Montrer que si , alors .
- Montrer que la congruence est en fait valable pour tout entier , sans supposer premier avec .
- Expliquer en trois phrases pourquoi la sécurité du procédé repose sur la difficulté de factoriser .
Exercice 32 ★★★★ — Les sous-groupes du groupe additif des réels
Groupes, sous-groupes, sous-groupe engendré, produit fini de groupes
Soit un sous-groupe de non réduit à . On pose
- Montrer que est non vide et que est bien défini, avec .
- On suppose . Montrer que , puis que . (On pourra, pour , poser .)
- On suppose . Montrer que rencontre tout intervalle ouvert non vide de .
- Énoncer l'alternative obtenue pour un sous-groupe quelconque de .
- Soit un irrationnel. Montrer que est un sous-groupe de , qu'il n'est d'aucune des formes avec , et qu'il rencontre donc tout intervalle ouvert non vide.
- En admettant que est irrationnel, en déduire que n'est pas un ensemble fini. (On pourra utiliser l'inégalité , que l'on justifiera.)
Exercice 33 ★★★★ — La somme des indicatrices d'Euler des diviseurs
L'anneau Z/nZ : inversibles, théorème chinois, indicatrice d'Euler, théorème d'EulerGroupes monogènes et cycliques, structure, groupe additif Z/nZ
Soit . Le but de l'exercice est d'établir la formule
la somme portant sur tous les diviseurs positifs de . On travaille dans le groupe additif , de neutre , et pour on note l'ensemble des éléments de d'ordre exactement .
- Montrer que pour tout , .
- Soit un diviseur positif de . Montrer que l'ensemble des éléments de tels que est l'unique sous-groupe de de cardinal , et qu'il est cyclique, engendré par .
- En déduire que pour tout diviseur positif de .
- Montrer que les , pour décrivant les diviseurs positifs de , forment une partition de , et conclure.
- Vérifier la formule par le calcul explicite pour et .
- En déduire une nouvelle démonstration du fait que possède exactement générateurs.
Exercice 34 ★★★★ — Le groupe des inversibles de Z/pZ est cyclique
L'anneau Z/nZ : inversibles, théorème chinois, indicatrice d'Euler, théorème d'EulerOrdre d'un élément, divisibilité de l'ordre, théorème de Lagrange
Soit un nombre premier. Comme est premier, est un corps et son groupe des inversibles , muni de la multiplication, est de cardinal . On veut montrer que est cyclique. Pour divisant , on note le nombre d'éléments de d'ordre exactement .
- Montrer qu'un polynôme non nul de degré à coefficients dans le corps a au plus racines dans .
- Soit un élément d'ordre d'un groupe quelconque. Montrer que pour tout , .
- Soit un diviseur de . Montrer que si , alors .
- Justifier que , puis, en utilisant la formule (démontrée à l'exercice précédent de la fiche, on l'admettra ici), montrer que pour tout diviseur de .
- Conclure que est cyclique.
- Déterminer explicitement, en dressant la liste des ordres, tous les générateurs de puis de .
Exercice 35 ★★★★ — L'anneau Z racine de 2 : norme, unités et équation de Pell
Anneaux, sous-anneaux, morphismes d'anneaux, intégrité, corpsIdéaux d'un anneau commutatif, divisibilité, idéaux de Z
On pose
- Montrer que tout élément de s'écrit de manière unique sous la forme avec (on utilisera l'irrationalité de ), et que est un sous-anneau intègre de . En particulier est une application bien définie de dans .
- Montrer que est un automorphisme de l'anneau , que pour tout , et en déduire que .
- Montrer que est inversible dans si et seulement si .
- En déduire que , puis que est infini.
- Montrer que les couples vérifiant sont exactement ceux pour lesquels avec , et donner les trois plus petites solutions autres que .
Exercice 36 ★★★★ — Le groupe des automorphismes du groupe additif Z/nZ
Morphismes de groupes : image, noyau, isomorphismesL'anneau Z/nZ : inversibles, théorème chinois, indicatrice d'Euler, théorème d'Euler
Soit . On note l'ensemble des automorphismes du groupe , c'est-à-dire des morphismes de groupes bijectifs de dans lui-même. Pour , on note l'application , le produit étant celui de l'anneau .
- Montrer que est un morphisme du groupe dans lui-même, et que réciproquement tout morphisme de groupes de dans lui-même est égal à pour un unique .
- Montrer que est bijectif si et seulement si est inversible dans l'anneau .
- En déduire que , muni de la composition, est un groupe isomorphe à , et que son cardinal vaut .
- Expliciter les automorphismes de et donner la table de leur groupe. Ce groupe est-il cyclique ?
- Montrer que pour premier, est cyclique de cardinal (on pourra utiliser le résultat de l'exercice 34 de la fiche).
Bloqué sur « Structures algébriques usuelles » ?
On peut le travailler ensemble dès cette semaine. La première heure est offerte — on fait le point honnêtement, et vous repartez au minimum avec une méthode.