En théorie des groupes finis, les théorèmes de Sylow forment une réciproque partielle du théorème de Lagrange, d'après lequel, si H est sous-groupe d'un groupe fini G, alors l'ordre de H divise l'ordre de G. Ces théorèmes garantissent, pour certains diviseurs de l'ordre de G, l'existence de sous-groupes d'ordre égal à ces diviseurs, et donnent une information sur le nombre de ces sous-groupes.
Ces théorèmes portent le nom du mathématicien norvégien Ludwig Sylow, qui les démontra en 1872. Par la suite, ils ont été partiellement généralisés au cas des groupes infinis.
Soit p un nombre premier et G un groupe fini ; alors nous définissons un p-sous-groupe de Sylow de G comme un élément maximal de l'ensemble des p-sous-groupes de G, ordonné par inclusion. Autrement dit, c'est un p-sous-groupe de G qui n'est contenu dans aucun autre p-sous-groupe de G. Tout p-sous-groupe de G est inclus dans un p-sous-groupe maximal, ce qui garantit l'existence de p-sous-groupes de Sylow. L'ensemble (non vide, donc) de tous les p-sous-groupes de Sylow pour un entier premier p donné est parfois noté SylpG. On les appelle aussi plus simplement : les p-Sylow de G.
Les collections de sous-groupes maximaux, dans un sens ou un autre ne sont pas rares en théorie des groupes. Le résultat étonnant ici est que dans le cas de SylpG, tous les membres sont en fait conjugués entre eux (et donc isomorphes) et cette propriété peut être exploitée pour déterminer d'autres propriétés de G.
Les propositions suivantes furent présentées et démontrées par le mathématicien norvégien Ludwig Sylow en 1872.
En particulier, les deux premiers théorèmes impliquent que
les p-Sylow de G sont exactement ses sous-groupes d'ordre pn, par conséquent tout p-sous-groupe de G est inclus dans un sous-groupe d'ordre pn.
Par ailleurs, le deuxième théorème implique que tous les p-Sylow de G sont isomorphes, et que le normalisateur de chacun d'entre eux est d'indice np dans G.
Soit G un groupe d'ordre 15 = 3 · 5. Nous devons avoir n3 divise 5, et n3 ≡ 1 mod 3.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
vignette|Un exemple de groupe fini est le groupe des transformations laissant invariant un flocon de neige (par exemple la symétrie par rapport à l'axe horizontal). En mathématiques, un groupe fini est un groupe constitué d'un nombre fini d'éléments. Soit G un groupe. On note en général sa loi multiplicativement et on désigne alors son élément neutre par 1. Toutefois, si G est abélien, la loi est souvent notée additivement et son élément neutre est alors désigné par 0 ; ce n'est cependant pas une règle générale : par exemple, le groupe multiplicatif d'un corps commutatif est noté multiplicativement, bien qu'il soit abélien.
En théorie des groupes finis, les théorèmes de Sylow forment une réciproque partielle du théorème de Lagrange, d'après lequel, si H est sous-groupe d'un groupe fini G, alors l'ordre de H divise l'ordre de G. Ces théorèmes garantissent, pour certains diviseurs de l'ordre de G, l'existence de sous-groupes d'ordre égal à ces diviseurs, et donnent une information sur le nombre de ces sous-groupes. Ces théorèmes portent le nom du mathématicien norvégien Ludwig Sylow, qui les démontra en 1872.
En mathématiques, et plus précisément en algèbre, un p-groupe, pour un nombre premier p donné, est un groupe (fini ou infini) dont tout élément a pour ordre une puissance de p. Les p-sous-groupes de Sylow d'un groupe fini sont un exemple important de p-groupes. Tout sous-groupe et tout quotient d'un p-groupe est un p-groupe. Réciproquement, si H est un p-sous-groupe normal d'un groupe G et si le quotient G/H est un p-groupe, alors G est un p-groupe. On peut tirer du point précédent qu'un produit semi-direct de deux p-groupes est un p-groupe.
Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a
Après une introduction à la théorie des catégories, nous appliquerons la théorie générale au cas particulier des groupes, ce qui nous permettra de bien mettre en perspective des notions telles que quo
This work is dedicated to the study of Borel equivalence relations acting on Borel fields of CAT(0) metric spaces over a standard probability space. In this new framework we get similar results to som
EPFL2010
This dissertation is concerned with modular representation theory of finite groups, and more precisely, with the study of classes of representations, which we shall term relative endotrivial modules.
EPFL2012
Let G be a finite group and R be a commutative ring. The Mackey algebra μR(G) shares a lot of properties with the group algebra RG however, there are some differences. For example, the group algebra i