Simplicité d'un groupe fini
Bonjour à tous
Dans la suite je vais considérer les classes suivantes de groupes finis :
1) La classe $\mathcal{G}$ de tous les groupes finis.
2) La classe $\mathcal{A}$ de tous les groupes abéliens finis.
3) La classe $\mathcal{N}$ de tous les groupes nilpotent finis.
4) La classe $\mathcal{R}$ de tous les groupes résolubles finis.
Soit $\mathcal{C}$ une de ces quatres classes. On dit qu'un groupe fini $G$ est $\mathcal{C}$-hyper-simple s'il n'admet aucun sous-groupe non trivial dans la classe $\mathcal{C}$.
Dans le premier cas de la classe $\mathcal{G}$ (la classe de tous les groupes finis), un groupe fini $G$ est donc $\mathcal{G}$-hyper-simple s'il n'admet aucun sous-groupe non trivial. On vérifie facilement que ces groupes sont, à isomorphisme près, les groupes $\mathbb{Z}/p\mathbb{Z}$ où $p$ est premier.
Dans le deuxième cas de la classe $\mathcal{A}$, on peut vérifier qu'un groupe fini $G$ est $\mathcal{A}$-hyper-simple si et seulement si, à isomorphisme près, $G=\mathbb{Z}/p\mathbb{Z}$ où $p$ est premier.
La cas qui me pose problème c'est celui de troisième et quatrième classe. Soit donc $G$ un groupe fini non trivial. On suppose que $G$ n'admet aucun sous-groupe non trivial nilpotent (resp. résoluble). Forcément, si un tel groupe est nilpotent (resp. résoluble), il serait donc un $\mathbb{Z}/p\mathbb{Z}$ avec $p$ est premier.
Ma question : y a-t-il un exemple non abélien de tels groupes ???
Dans la suite je vais considérer les classes suivantes de groupes finis :
1) La classe $\mathcal{G}$ de tous les groupes finis.
2) La classe $\mathcal{A}$ de tous les groupes abéliens finis.
3) La classe $\mathcal{N}$ de tous les groupes nilpotent finis.
4) La classe $\mathcal{R}$ de tous les groupes résolubles finis.
Soit $\mathcal{C}$ une de ces quatres classes. On dit qu'un groupe fini $G$ est $\mathcal{C}$-hyper-simple s'il n'admet aucun sous-groupe non trivial dans la classe $\mathcal{C}$.
Dans le premier cas de la classe $\mathcal{G}$ (la classe de tous les groupes finis), un groupe fini $G$ est donc $\mathcal{G}$-hyper-simple s'il n'admet aucun sous-groupe non trivial. On vérifie facilement que ces groupes sont, à isomorphisme près, les groupes $\mathbb{Z}/p\mathbb{Z}$ où $p$ est premier.
Dans le deuxième cas de la classe $\mathcal{A}$, on peut vérifier qu'un groupe fini $G$ est $\mathcal{A}$-hyper-simple si et seulement si, à isomorphisme près, $G=\mathbb{Z}/p\mathbb{Z}$ où $p$ est premier.
La cas qui me pose problème c'est celui de troisième et quatrième classe. Soit donc $G$ un groupe fini non trivial. On suppose que $G$ n'admet aucun sous-groupe non trivial nilpotent (resp. résoluble). Forcément, si un tel groupe est nilpotent (resp. résoluble), il serait donc un $\mathbb{Z}/p\mathbb{Z}$ avec $p$ est premier.
Ma question : y a-t-il un exemple non abélien de tels groupes ???
Réponses
-
Je ne comprends pas bien : si $G$ n'admet pas de sous-groupe nilpotent ou résoluble non trivial, en particulier il n'admet pas de sous-groupe abélien non trivial, donc on tombe exactement sur les $\mathbb Z/p \mathbb Z$ à nouveau !
-
Bonjour
D'après Cauchy, si $p$ premier divise l'ordre $n$ d'un groupe $G$ fini alors $G$ admet un sous-groupe d'ordre $p$, donc isomorphe à $\Z/p\Z$, donc appartenant à chacune des classes décrites.
En conséquence, seuls les groupes isomorphes à $\Z/p\Z$ seront donc $\mathcal C$-hyper-simples.
D'où vient cette notion de "$\mathcal C$-hyper-simplicité" ? A-t-elle un intérêt ?
Alain -
Justement vous avez raison Poirot.
D'accord Alain, c'est clair maintenant. Non c'est juste une question qui me vient à l'esprit.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres