Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
127 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

Les groupes sont partout

Envoyé par Seirios 
Les groupes sont partout
il y a deux années
avatar
Bonjour à tous,

J'aimerais dédier un fil à l'apparition des groupes dans la résolution de problèmes qui n'ont a priori rien à voir avec la théorie des groupes. Lister ce genre de problèmes me semble intéressant puisque c'est ce qui a motivé initialement l'étude des groupes. Et puis c'est amusant smiling smiley Autrement dit :

Quelle est votre application favorite de la théorie des groupes ?

Pour ma part, j'aime beaucoup le groupe de Conway dans les problèmes de pavages de grilles par des dominos. (Voir par exemple Van Kampen diagrams: an application tiling problems.) Bien sûr, il y a aussi l'utilisation des groupes en théorie de Galois, pour déterminer si une équation polynomiale est résoluble par radicaux, et puis le groupe fondamental et les groupes d'homologie ou de cohomologie, qui sont de formidables invariants topologiques, permettant de distinguer certains espaces topologiques.

Avez-vous d'autres exemples ?
Re: Les groupes sont partout
il y a deux années
avatar
Bonjour,

J'avais trouvé surprenante la réponse à : existe-t-il une puissance de 2 dont l'écriture décimale commence par les chiffres $25062017$?
Re: Les groupes sont partout
il y a deux années
Les groupes de monodromie, même si je n'y connais pas grand-chose, m'ont l'air très intéressants et leur apparition dans l'étude d'équation différentielle me paraît surprenante !

Sinon tout simplement le fait que les groupes régissent la quasi-totalité de la géométrie classique (et même moins classique).
Dom
Re: Les groupes sont partout
il y a deux années
Avec la géométrie, on doit pouvoir trouver des choses et aussi avec des problèmes de dénombrement.
Re: Les groupes sont partout
il y a deux années
avatar
Le groupe des transformations de Lorentz en relativité restreinte. Poincaré l'avait bien relevé dans sa communication aux CRAS de l'Académie des Sciences.



Edité 1 fois. La dernière correction date de il y a deux années et a été effectuée par Félix.
Re: Les groupes sont partout
il y a deux années
Plus modestement, j'aime bien le résultat qui dit qu'un ensemble de complexes non nuls, multiplicativement stable, à $n$ éléments, $ n \geq 2$, est le groupe des racines $n$-èmes de l'unité.
Bonne et courtoise journée.
Fr. Ch.
Re: Les groupes sont partout
il y a deux années
Chaurien, merci pour ce résultat. Je ne me souviens pas l'avoir vu dans un bouquin mais c'est vrai que je ne me suis jamais arrêté sur ce chapitre de début de L1/Sup.
En conséquence, as-tu une référence si ça n'est pas un classique parmi les classiques (penser à ceux qui prépare(ro)nt l'agreg par exemple winking smiley) ?
Re: Les groupes sont partout
il y a deux années
avatar
Un extrait de wiki, "racine d'un nombre" :
"Il s'agit d'un sous-groupe cyclique du groupe multiplicatif des complexes de module 1"
Re: Les groupes sont partout
il y a deux années
@Chaurien : pourquoi $n\geq 2$ ? $n=1$ va bien.
Re: Les groupes sont partout
il y a deux années
@ Dom : pour le couplage groupe-dénombrement, tu as le lemme de Cauchy-Frobenius-Burnside qui conduit au théorème de dénombrement de Polya.
Re: Les groupes sont partout
il y a deux années
avatar
En poussant un peu, on devrait pouvoir accepter n nul, non ?
Re: Les groupes sont partout
il y a deux années
@curiosity : c'est un classique parmi les classiques !
Re: Les groupes sont partout
il y a deux années
avatar
La notion de groupe intervient dans la définition d'une forme modulaire.
[fr.wikipedia.org]

Je vis parce que les montagnes ne savent pas rire, ni les vers de terre chanter.(Cioran)
ev
Re: Les groupes sont partout
il y a deux années
avatar
@ Seirios.

La densité de la suite \( (\sin n)_n \) dans \( [~-1~,~1~] \).

La surjectivité de \( t \longmapsto \exp(it) \) sur le disque unité.

La table des matière de Caldero-Germoni - Histoires hédonistes de groupes et de géométries...

amicalement,

e.v.
Re: Les groupes sont partout
il y a deux années
La résolution du jeu de taquin fait intervenir la signature des permutations associées aux mouvements.
MrJ
Re: Les groupes sont partout
il y a deux années
La construction du polygone à n cotés à la règle et au compas est un problème partant de considération purement géométrique. Ça résolution classique utilise la théorie des groupes.
Re: Les groupes sont partout
il y a deux années
@Félix : non.
ev
Re: Les groupes sont partout
il y a deux années
avatar
@ GaBu

Je ne vois pas pourquoi : 1 élément neutre et -1 élément (qui serait bien sûr son propre inverse) ça nous fait la rue Michel, non ?

amicalement,

e.v.

[ Des nouvelles de Ours ? ]
Re: Les groupes sont partout
il y a deux années
avatar
Merci GaBuZoMeu.
Oui, ne pas confondre ensemble vide et groupe trivial, comme je l'ai fait !
Amicalement.
Re: Les groupes sont partout
il y a deux années
@GBZM
En effet, le cas d'une partie stable à un élément ne m'avait pas échappé, mais je n'éprouve pas d'intérêt pour les racines unièmes de l'unité, non plus que pour l'ensemble vide. Comme dit Rose l'héroïne de Titanic, les hommes accordent de l'importance à la taille winking smiley.
Bien cordialement,
Fr. Ch.
Re: Les groupes sont partout
il y a deux années
@ MrJ
« Ça résolution classique » Ça quoi veut dire ?
Re: Les groupes sont partout
il y a deux années
Citation

mais je n'éprouve pas d'intérêt pour les racines unièmes de l'unité, non plus que pour l'ensemble vide
En fait, ça t'obnubile tellement que tu prends grand soin de l'éviter, même quand il n'y a absolument aucune raison de le faire (comme les gens qui prennent grand soin de préciser qu'un espace vectoriel non réduit à $\{0\}$ admet une base). grinning smiley
Re: Les groupes sont partout
il y a deux années
Le Rubik's cube : [www.math.harvard.edu]
Re: Les groupes sont partout
il y a deux années
Poirot, merci, je n'ai pas eu la chance de voir ce résultat dans les leçons d'agreg sur les groupes à Lille... J'irai jeter un œil dans ma bibliothèque préférée dès que j'aurai une minute (même si je ne m'attends pas à un développement en puissance !).
Re: Les groupes sont partout
il y a deux années
Les groupes sont aussi , même si on ne les voit pas.
Re: Les groupes sont partout
il y a deux années
Est-ce que ce sont vraiment les groupes le fondement de cette hégémonie ou les monoïdes associatifs, qui sont encore plus "partout" que les groupes?

Signature: aide les autres comme toi-même car ils SONT toi, ils SONT VRAIMENT toi
Re: Les groupes sont partout
il y a deux années
@ curiosity
Pas besoin de référence, ça se fait à la main. Soit $G$ une partie multiplicativement stable de $\C^*$ comportant $n$ éléments, $n\geq 2$.
L'important n'est pas ce $n$ donné, l'important est que $G$ est fini.
Cette finitude implique que pour tout $z \in G$, il existe $k \in \N^*$ et $h \in \N^*$ tels que $h>k$ et $z^k=z^h$.
On en déduit que pour tout $z \in G$, il existe $q \in \N^*$ tel que $z^q=1$ ($q=h-k$).
Il en résulte d'abord : $1\in G$.
Et de plus :
- si $q\geq 2$ alors $z^{-1}=z^{q-1} \in G$.
- si $q=1$ alors $z^{-1}=z=1 \in G$.
Ce qui prouve que $G$ est un groupe multiplicatif.
Et ici on se souvient que ce groupe $G$ a $n$ éléments et d'après le théorème de Lagrange, on a $z^n=1$ pour tout $z \in G$. Etc.
Mais si l'on est dans les nombreuses filières de prépas où malheureusement le mot « groupe » est absent du programme, on peut s'en sortir tout de même...
Bonne après-midi.
FR. Ch.
MrJ
Re: Les groupes sont partout
il y a deux années
@ Chaurien
Je voulais dire en passant par la théorie de Galois. Je disais "classique" parce qu'il existe peut-être d'autres démonstrations que je ne connais pas.
Re: Les groupes sont partout
il y a deux années
Tout le monde aura bien sûr remarqué que l'hypothèse $n\geq 2$ ne sert absolument nulle part. La seule chose qui sert, c'est $n>0$.
Le seul mystère, c'est la raison de l'obstination de Chaurien à s'accrocher à cette hypothèse inutile.
Re: Les groupes sont partout
il y a deux années
@ GBZM
C'est juste pour t'agacer.winking smiley. Et ça marche.
Allez, sans rancune.
Fr. Ch.
Re: Les groupes sont partout
il y a deux années
Chaurien : merci pour les détails. En ce qui concerne le niveau, pas d'inquiétude avec l'agreg, c'est le candidat qui le fixe...
Re: Les groupes sont partout
il y a deux années
@MrJ
``Par la théorie de Galois'' ?
Y'a un gugusse de nom Gauss, qui a publié en 1801, dans son chapitre VII de ses Disquisitiones arithmeticae, un résultat sur la construction à la règle et au compas du polygone régulier à $n$ côtés. Galois n'était pas encore né (1811 - 1832). Wantzel achévera la chose (réciproque) en 1837.

Peut-être que de nos jours, dans l'enseignement, on a tendance à faire croire que ``sans théorie de Galois'', on ne peut pas traiter ce problème. Je dis bien ``peut-être''.
MrJ
Re: Les groupes sont partout
il y a deux années
@ claude quitté

Je ne comprends pas ta réaction...
J'ai écris que "la démonstration classique utilise la théorie de Galois".
Je n'ai jamais parlé de la démonstration historique de Gauss (que je n'ai jamais lu) dans mes messages.

J'ai même précisé "parce qu'il existe peut-être d'autres démonstrations que je ne connais pas."
Re: Les groupes sont partout
il y a deux années
avatar
Les groupes sur les trucs elliptiques (qui n'ont pas des tronches d'ellipses) pour factoriser des nombres, cela m'a bien scotché. Je sais pas bien comment ça marche, mais de savoir que ça existe, je trouve ça zouli.

S

La poésie n'est pas une solution.
Re: Les groupes sont partout
il y a deux années
Sur le forum, dans le passé alors que je racontais qu'on en faisait trop à propos de Galois, je me suis pris des tonnes et des tonnes de tomates lancées violemment grinning smiley

<<bin quoi, tu sais pas que c'est l'inventeur des groupes, pff>>


Je n'ai pas oublié. Je suis parti tout honteux et la queue entre les jambes, mais au moins je me rappellerai de cette "info"

Signature: aide les autres comme toi-même car ils SONT toi, ils SONT VRAIMENT toi



Edité 1 fois. La derni&egrave;re correction date de il y a deux ann&eacute;es et a &eacute;t&eacute; effectu&eacute;e par christophe c.
Re: Les groupes sont partout
il y a deux années
avatar
Merci à tous pour vos réponses. Je profite de quelques instants de libres pour demander quelques précisions :

Citation
Cidrolin
J'avais trouvé surprenante la réponse à : existe-t-il une puissance de 2 dont l'écriture décimale commence par les chiffres $25062017$?

Quelques indications pour ceux qui n'ont pas trop le temps de chercher grinning smiley ?

Citation
Poirot
Les groupes de monodromie, même si je n'y connais pas grand-chose, m'ont l'air très intéressants et leur apparition dans l'étude d'équation différentielle me paraît surprenante !

Effectivement, je ne connaissais pas. Une référence sous la main ?
Re: Les groupes sont partout
il y a deux années
avatar
@Seirios: j'irais voir du côté des chinois et de la structure du groupe des inversibles de Z/nZ (voir Perrin par exemple)

Edit : j'ai mal lu l'énoncé; j'ai lu se termine pour commence mais même là c'est une grosse c...ie



Edité 2 fois. La derni&egrave;re correction date de il y a deux ann&eacute;es et a &eacute;t&eacute; effectu&eacute;e par aléa.
Re: Les groupes sont partout
il y a deux années
@Seirios : je ne connais pas de référence précise. J'ai juste lu des choses dessus par-ci par-là. Il y a un très bon article de vulgarisation écrit par Julien Roques dans le numéro 152 de la Gazette (Avril 2017) intitulé "Raconte-moi... la théorie de Galois différentielle".
Re: Les groupes sont partout
il y a deux années
avatar
Une petite vidéo (je n'ai pas regardé) ... mais ça fait un peu de pub pour le bicentenaire de Galois ... y'a également (dans la série de vidéo) une vidéo de Serre parlant de Gauss et "sa" descendance !
ev
Re: Les groupes sont partout
il y a deux années
avatar
En prenant les logarithmes décimaux, modulo l'irrationnalité de \( \log_{10}(2) \) le groupe \( \Z + \log_{10}(2) \Z \) est dense dans \( \R \). ça me parait un bon début, non ?

e.v.
Re: Les groupes sont partout
il y a deux années
avatar
Merci ev. This will make rue Michel.
ev
Re: Les groupes sont partout
il y a deux années
avatar
Tu es le bienvenu, dear Eddie.

e.v.
Re: Les groupes sont partout
il y a deux années
avatar
bonjour
Citation

mais je n'éprouve pas d'intérêt pour les racines unièmes de l'unité,

multiplication fft (fast fourier transformation)

tiens c'est marrant, je vois que ça cogite (et que demande le peuple?)[www.youtube.com]
Re: Les groupes sont partout
il y a deux années
avatar
Les homographies $f: z \mapsto 2-z$ et $g: z \mapsto 2/z$ du plan
d'Argand-Cauchy engendrent un groupe d'homographies $D_4$.
En les appliquant à une ellipse particulière on obtient


Re: Les groupes sont partout
il y a deux années
avatar
Et en les appliquant à une autre ellipse non moins particulière?
Re: Les groupes sont partout
il y a deux années
On peut avoir ça (pour quelle ellipse particulière ?


Re: Les groupes sont partout
il y a deux années
$\mathscr{C}(1,1)$.
Re: Les groupes sont partout
il y a deux années
C'est un Mexicain à bicyclette vu de haut ?
Re: Les groupes sont partout
il y a deux années
avatar
Y manque un rond.
Re: Les groupes sont partout
il y a deux années
avatar
@GBZM
Comme Math Coss
$x^y+y^2=2x$
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 139 781, Messages: 1 363 458, Utilisateurs: 25 300.
Notre dernier utilisateur inscrit Seth.


Ce forum
Discussions: 17 720, Messages: 173 178.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page