Bibm@th

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).

Répondre

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
vingt et un plus zéro
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Retour

Résumé de la discussion (messages les plus récents en premier)

bridgslam
04-03-2021 09:07:36

Bonjour,

Voir les choses comme une partition, ou les pré-images d'une surjection canonique, c'est pareil.
Deux façons de voir.
Une petite subtilité, la partition est plutôt vue comme une famille que comme un ensemble de parties,
puisqu'on les "numérote" selon leurs images...
Mais c'est du quif quif bourricot.
Mais la présentation des partitions varient suivant les bouquins quand-même:
par les familles de parties ( indexées donc ) , ou par un sous-ensemble de parties...

Alain

Chlore au quinoa
04-03-2021 08:24:04

Re,

Ah je connaissais ça sous le nom "principe des bergers".
Le lemme pour moi est "si un ensemble possède une partition de $n$ sous ensembles à $p$ éléments, alors il est de cardinal $np$".

Mais en y réfléchissant c'est quand même fichtrement équivalent et facile à voir.

Merci !

bridgslam
03-03-2021 10:44:21

Bonjour Adam,

En fait je ne comprends pas tout à fait ta question.
Pour moi le lemme des bergers dit que si une application est surjective de E vers un ensemble fini F (disons de cardinal m ), et de plus que
les parties images réciproques de tout élément de F sont finies et de même cardinal n, alors :

- E est fini
- son cardinal est pn.

C'est le genre de propriétés sur les ensembles finis longues à prouver si on est puriste, mais immédiates intuitivement.

Dans le début du devoir de Lapioche, les images réciproques sont de la forme x + Ker f , tous équipotents , et le reste s'ensuit avec les autres hypothèses.

Cordialement,
Alain

Chlore au quinoa
02-03-2021 16:19:47

Hey je m'incruste !

@bridgslam tu as l'air vraiment très calé en mathématiques d'après ce que je vois avec tes réponses sur le forum. J'ai une question pour toi justement sur le lemme des bergers : considères-tu que son application au principe des bergers (avec les images réciproques d'une bijection) est complètement évidente ou cela nécessite une démonstration ? Pour des gens de niveau bac +2/+3 environ.

Je me pose la question, et un avis extérieur est toujours bon à prendre...

edit : c'est évidemment pour la préparation d'un cours

Lapioche96
02-03-2021 16:09:03

A la question 3 , il s’agit d’une erreur de ma part.
l’application f : (Z/mZ)^n → G définie par

f([a1],···,[an]):=a1g1+···+angn

bridgslam
02-03-2021 08:36:34

Sinon pour la question 1, c'est en filigrane le groupe-quotient de G par le noyau qui est derrière,
si on appelle un chat un chat.
L'énoncé s'intéressant seulement aux cardinalités, une preuve élémentaire style lemme des bergers, comme c'est suggéré
suffit ici, en zappant la structure quotient.

Alain

bridgslam
02-03-2021 08:30:58

Bonjour,

Entièrement d'accord, très surprenant, peut-être pour inciter les étudiants à "jongler" avec
les deux notations... mais c'est tout-de-même source de confusion.
J'ai été d'ailleurs à cheval sur les deux notations dans un des messages (pour le morphisme),
on finit par s'y perdre...
Par-contre pour G et G' c'est moins perturbant, car sur un propriété générale sur des structures,
on peut appeler les choses comme on veut, et ici on ne peut pas confondre ensemble
de départ et d'arrivée, de toute façon.
Bon sujet, c'est vrai, qui immerge bien dans l'algèbre commutative, les morphismes,
les cardinalités...

Alain

Fred
02-03-2021 08:11:46

Hello,

Je viens de jeter un coup d'oeil à l'énoncé de cet exercice (très intéressant!).
Les notations sont quand même étranges. Dans la question 2, on dit que le groupe va être noté additivement, et dans la question 3., il est noté multiplicativement. De même, j'aurais échangé G et G' dans la question 1 pour pouvoir l'appliquer directement à la question 3.

F.

Lapioche96
02-03-2021 06:50:32

Oui c’est plus facile maintenant!! Merci encore

bridgslam
01-03-2021 23:07:59

A partir de la question 3, si on veut être propre, il faut dire:
Par l'absurde, d'après une question précédente, P ne divisé aucun des [tex]m_i[/tex], et donc pas leur PPCM m non plus( ça se voit  soit en pensant aux décomp. en nombres premiers, soit par récurrence avec l'associativité du PPCM et le fait que si P premier divisé ab, il divisé a ou b. ).
Enfin pour la 4, il faut bien préciser que c'est déjà une application, car pour tout g , [tex]g^a[/tex] ne dépend que de la classe de a dans Z/mZ car [tex]g^m = e [/tex] pour tout g, m étant multiple de tous les ordres par définition de m. Le reste ( morphisme et surjectivité ) sont faciles à voir... Comme P divisé n, qui divise [tex]m^n[/tex]  selon la question 1, on arrive à P divisé [tex]m^n[/tex], donc P divise m, absurde d'après la question 3.
Donc l'hypothèse était fausse: il y a bien un ss-groupe d'ordre P...
Exo pas bien dur quand on est guidé, mais qui exige d'être clair et précis.
Bon courage
Alain

Lapioche96
01-03-2021 15:59:28

Merci beaucoup pour toutes vos explications. J’y vois plus claire maintenant!!

bridgslam
01-03-2021 15:49:12

pour le 3 - a  si tu réponds à ces questions annexes, ça va t'orienter dans la bonne direction...

- quel est l'ordre du produit [tex]g_1  g_2  .... g_n [/tex] . Attention ça marche car G est supposé commutatif...

- si p premier n'était pas premier avec  m , quelle relation existe entre p et m?  N'y a-t-il pas alors une contradiction?

3 - b Tu peux montrer que f est bien un morphisme de groupes en appliquant la définition.
       [tex]f( a_1 + b_1 ,  ....., a_n + b_n )  =  ...... = f(a_1, ..., a_n)  + f( b_1, ..., b_n) [/tex].
     Là encore la commutativité joue un rôle majeur.

     Pourquoi surjectif ?  : il est facile de trouver un antécédent très simple de [tex] g_i [/tex] ... avec plein de zéros...

3 - c  Il faut se remémorer le début de l'exo: le cardinal de l'ensemble d'arrivée divise celui de l'ensemble de départ.
        Appliqué à un produit cartésien, ça donne [tex] n \:divise\:  m^n  [/tex].

        Alors comme p divise n ( hypothèse de départ ) , tu dois aboutir à une contradiction manifeste....

bridgslam
01-03-2021 15:13:58

pour 1- a par exemple tu peux poser g' = f( a ) puisque f est surjective, ensuite que donne f( g ) = f( a).
Cette relation doit te permettre de cerner les antécédents de g, puis de montrer qu'il est un translaté du noyau.

1-b les pré-images du 1-a forment une partition, finie puisque en bijection avec G' fini.
De plus toutes les classes sont finies comme parties de G fini, et d'après 1 -a possèdent toutes le même cardinal connu.
Donc...

2 - Dans un sens =>  si G contient un sous-groupe H d'ordre p ( premier) , n'importe quel élément non nul de H (non réduit à {0} puisque
p vaut au moins 2 ) est d'ordre p, qui est bien divisible par p.
Dans l'autre sens <= si x est d'ordre n = kp alors [tex]nx = (kp)x = p( kx) = 0[/tex] dont kx est d'ordre p, et gr ( kx ) ( sous-groupe engendré par kx)  est bien un sous-groupe de G d'ordre p.

Voilà c'est un début le reste est dans la même veine.

Alain

bridgslam
01-03-2021 14:50:51

Bonjour,

Je veux bien t'aider ou te donner des directions mais qu'as-tu fait jusque-là ?
Quelles avancées de ton côté ?

Alain

Lapioche96
01-03-2021 13:35:13

Bonjour, si quelqu’un peut m’aider avec des indications pour commencer ce dm. Merci


Soit p un nombre premier. Le but de ce devoir est de démontrer le théorème suivant
(T) Tout groupe abélien d’ordre divisible par p contient un sous-groupe d’ordre p.
Le cardinal d’un ensemble fini E est noté |E|.

1. Soit f : G → G′ un morphisme de groupes surjectif, dont le noyau est noté K := {g ∈ G/f(g) = e′}.

(a) Démontrer que pour tout g′ dans G′, la pré-image
f^(−1)({g′}) := {g ∈ G / f(g) = g′}
est en bijection avec K.

(b) En déduire que si G et G′ sont finis, alors |G| = |K||G′|.
2. Dans ce qui suit, (G,+,0) désigne un groupe abélien fini, d’ordre n divisible par p. Démontrer que G admet un sous-groupe d’ordre p si et seulement si G contient un élément d’ordre divisible par p.

3. Démontrons le théorème (T) par l’absurde.

Supposons que G n’admet aucun sous-groupe d’ordre p et notons g1, ..., gn ses n éléments, d’ordres respectifs m1, ..., mn.
(a) Soit m le plus petit multiple commun de m1, ..., mn. Justifier que m est premier avec p.

(b) Démontrer que l’application f : (Z/mZ)^n → G définie par f([a1],··· ,[an]) := g1^a1 ···gn^an est un homomorphisme de groupes bien défini et surjectif.

(c) En déduire que n divise m^n et aboutir à une contradiction. Conclure.

Pied de page des forums