Bonjour, je suis bloqué sur cet exercice:
Soit G un sous-groupe discret de C*
1) Montrer que si est un compact,
est fini
2) Montrer que (U est le cercle unité) est cyclique
3)On suppose que G n'est pas contenu dans U. Montrer que admet un plus petit élément
4) Décrire G
je ne vois pas comment partir...
Non je ne vois pas...
Mais l'hypothèse de sous groupe doit servir, car est une partie discrète dont l'intersection avec le compact [0,1] est infinie
Ton énoncé me surprend un peu. Le sous-groupe des pour
est discret, mais ne vérifie pas la conclusion du 3.
Je pensais à une hypothèse oubliée. Sans cette hypothèse, il faut effectivement utiliser le fait que c'est un sous-groupe pour la première question. Suppose que est infini. Il a donc un point d'accumulation dans
. Maintenant on peut utiliser le fait que
est un sous-groupe multiplicatif ...
Euh, je ne sais pas ce qu'est un point d'accumulation...
Et votre contre-exemple n'est pas un contre-exemple, l'intersection du sous-groupe que vous proposez et de ]1,+inf[ admet 2 comme plus petit élément si je ne m'abuse
Je ne connaissais pas (il faut dire que la topologie en prépa est abordée de manière assez restreinte)
J'ai trouvé pour la question 1 sans parler de point d'accumulation: dans le cas où est infini, je me donne une suite
de
dont tous les éléments sont distincts 2 à 2, s'agissant une suite d'éléments d'un compact on peut en extraire une sous-suite
convergente dans K; j'introduis
.
est une suite d'éléments de
qui converge vers
et qui n'est pas stationnaire (Par construction,
,
). 1 n'est donc pas isolé dans G, ce qui est absurde!
Pour la 2), conséquence assez directe du 1: U est compact donc est fini (notons n son cardinal), c'est mếme un sous-groupe fini ce C*. Or,
, l'ordre de
divise n. Donc
, et par égalité des cardinaux,
,
est donc cyclique sans problèmes.
Pour la 3) je ne vois pas...
Bien, c'est là où je voulais t'amener, la terminologie de point d'accumulation est utile à connaître mais pas indispensable au raisonnement.
Pour la question 3, une idée pourrait être de considérer le logarithme du module (et bien sûr utiliser la première question).
Salut, j'ai trouvé avec une autre méthode pour la 3:
Comme ,
. On sait d'après 1 que
est fini et puisque
est un compact,
est fini également. Donc
est fini en tant que différence d'ensembles finis et est non vide.
admet donc un élément de module minimal qui est également un élément de module minimal pour
.
Je suis curieux de voir comment vous avez fait avec le log cependant
Pour la 4 voilà où j'en suis: je cherche à montrer que avec p strictement positif.
Si G est contenu dans U, c'est bon, sinon je choisis et
Pour l'inclusion dans le sens direct, si je prend quelconque et que j'écris
, il est facile de voir que
est une puissance de
(sinon p ne serait pas le minimum de X, ce qui est absurde), mais je n'arrive pas à montrer que
.
Pour l'inclusion dans le sens réciproque, il suffit de montrer que mais je n'y arrive pas...
Qu'en pensez-vous?
Ta réponse à la question 3 est bien (une erreur cependant quand tu traduis le fait que " n'est pas contenu dans
" par "
est disjoint de
", et je ne vois pas pourquoi tu te sens obligé d'utiliser que
est fini).
Avec le logarithme du module, on se ramène au cas d'un sous-groupe additif de qui est classique (monogène ou dense, ce qui est exclu).
Pour la 4, tu fais un peu fausse route : aucune raison que contienne un réel >1. Considère plutôt un élément de
de module >1 minimal.
Effectivement il y a une erreur d'inattention au début de mon message, et le " est fini" était inutile, merci de le souligner
Bien vu pour l'utilisation du log, c'est ingénieux
Pour le petit 4, le résultat que j'essaye de montrer est-il au moins le bon? Sinon je ne vois pas quoi prouver...
Je t'ai donné une indication : au lieu de considérer le minimum des modules des éléments de
de module >1, qui n'a aucune raison d'appartenir à
, considère plutôt un élément de
de module
.
Je crois que j'y suis;
je me donne élément dans G de module >1 minimal et je vais montrer que
. L'inclusion dans le sens réciproque est évidente. Si
, r est une puissance entière de
sans quoi on peut exhiber un élément de module >1 et
. Donc
avec k un entier, et pour finir
, ce qui permet de conclure
merci de l'aide
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :