This HTML5 document contains 102 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n25http://www.iecl.univ-lorraine.fr/~Benoit.Claudon/
dbpedia-kohttp://ko.dbpedia.org/resource/
n16http://math.uchicago.edu/~margalit/repthy/
n4http://g.co/kg/m/
dbpedia-ruhttp://ru.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-svhttp://sv.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n11http://fr.dbpedia.org/resource/Modèle:
n12http://fr.dbpedia.org/resource/Fichier:
wikipedia-frhttp://fr.wikipedia.org/wiki/
n14http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-arhttp://ar.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
n21http://ma-graph.org/entity/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Théorème_de_Burnside_(groupe_résoluble)
rdfs:label
Stelling van Burnside バーンサイドの定理 Théorème de Burnside (groupe résoluble) Satz von Burnside
rdfs:comment
En mathématiques, le théorème de Burnside appartient à la théorie des groupes finis. Son énoncé est : Théorème — Si p et q sont deux nombres premiers et n et m deux entiers positifs, alors tout groupe d'ordre pnqm est résoluble. Il est nommé en l'honneur de William Burnside, qui l'a démontré en 1904, à l'aide de la théorie des représentations d'un groupe fini.
owl:sameAs
n4:065njp wikidata:Q1996305 dbpedia-ru:Теорема_Бёрнсайда dbpedia-sv:Burnsides_sats dbpedia-ko:번사이드_정리 dbpedia-ja:バーンサイドの定理 n21:2778045250 dbpedia-nl:Stelling_van_Burnside dbpedia-de:Satz_von_Burnside dbr:Burnside's_theorem dbpedia-ar:مبرهنة_برنسايد
dbo:wikiPageID
1456325
dbo:wikiPageRevisionID
190349664
dbo:wikiPageWikiLink
dbpedia-fr:Fonction_centrale_sur_un_groupe_fini dbpedia-fr:Polynôme_minimal_(théorie_des_corps) dbpedia-fr:Norme_(théorie_des_corps) dbpedia-fr:Moyenne_arithmétique dbpedia-fr:Action_par_conjugaison dbpedia-fr:Sous-groupe_normal dbpedia-fr:Algèbre_d'un_groupe_fini dbpedia-fr:1895_en_science dbpedia-fr:Représentations_d'un_groupe_fini n12:Burnside_2.jpeg dbpedia-fr:Wikiversité dbpedia-fr:Théorèmes_de_Sylow dbpedia-fr:Groupe_trivial dbpedia-fr:Raisonnement_par_l'absurde dbpedia-fr:Camille_Jordan_(mathématicien) category-fr:Théorie_des_représentations dbpedia-fr:Groupe_simple dbpedia-fr:Théorie_des_groupes dbpedia-fr:Nombre_premier dbpedia-fr:Élément_conjugué category-fr:Théorème_de_la_théorie_des_groupes dbpedia-fr:Indice_d'un_sous-groupe dbpedia-fr:John_Griggs_Thompson dbpedia-fr:Homothétie dbpedia-fr:Ordre_(théorie_des_groupes) dbpedia-fr:Module_d'un_nombre_complexe dbpedia-fr:William_Burnside dbpedia-fr:Théorème_de_Feit-Thompson dbpedia-fr:Entier_algébrique dbpedia-fr:Institut_Élie-Cartan_de_Lorraine dbpedia-fr:Groupe_fini dbpedia-fr:Mathématiques dbpedia-fr:Caractère_d'une_représentation_d'un_groupe_fini dbpedia-fr:Groupe_résoluble dbpedia-fr:Entier_naturel dbpedia-fr:Théorème_de_Bachet-Bézout dbpedia-fr:1904_en_science dbpedia-fr:Entier_relatif dbpedia-fr:Théorie_des_représentations_d'un_groupe_fini dbpedia-fr:P-groupe dbpedia-fr:Ferdinand_Georg_Frobenius dbpedia-fr:Centre_d'un_groupe dbpedia-fr:Centralisateur
dbo:wikiPageExternalLink
n16:Webb,%20Finite%20group%20reps%20for%20the%20pure%20mathematician.pdf%7Ctitre=Finite n25:burnside.pdf%7Ctitre=Deux
dbo:wikiPageLength
9646
dct:subject
category-fr:Théorème_de_la_théorie_des_groupes category-fr:Théorie_des_représentations
prop-fr:wikiPageUsesTemplate
n11:2 n11:Théorème n11:Portail n11:Homon n11:Refnec n11:Exp n11:Palette n11:Référence_souhaitée n11:Lien_web n11:Démonstration n11:Lien n11:Samuel1 n11:Autres_projets
prov:wasDerivedFrom
wikipedia-fr:Théorème_de_Burnside_(groupe_résoluble)?oldid=190349664&ns=0
foaf:depiction
n14:Burnside_2.jpeg
prop-fr:auteur
Benoît Claudon Peter Webb
prop-fr:contenu
Raisonnons par l'absurde : G désigne un groupe non résoluble d'ordre pq minimal. :*G est un groupe simple de centre {1} et n est non nul. G n'est bien sûr pas trivial. S'il existait dans G un sous-groupe normal H différent de G et de {1} alors , H et G/H seraient résolubles donc G aussi, ce qui est exclu. Donc G est simple. Si n était nul, G serait un q-groupe fini, donc nilpotent, donc résoluble, ce qui est exclu. Enfin, G n'est pas abélien , donc son centre n'est pas égal à G tout entier. Par simplicité de G, il est égal à {1}. :* Il existe dans G un élément g dont le nombre de conjugués est de la forme qd pour un certain d > 0. L'un des théorèmes de Sylow montre que G contient un sous-groupe S d'ordre pn. Comme S est un p-groupe non trivial, son centre Z est encore non trivial. Fixons alors dans Z un élément g différent de 1. Le nombre de conjugués de g est égal à l'indice du centralisateur de g, qui divise l'indice qm de son sous-groupe S. Ce nombre est donc de la forme qd. De plus, l'entier d est strictement positif car g est différent de 1 donc non central dans G. :* Il existe un caractère irréductible χ non trivial, tel que l'entier χ ne soit pas divisible par q et que le complexe χ soit non nul. Soit 1≤i≤h la famille des caractères irréductibles de G . Comme g n'est pas dans la même classe de conjugaison que le neutre 1, la relation d'orthogonalité sur les colonnes de la du groupe donne : Or les χi sont des entiers algébriques, comme sommes de racines de l'unité. Si tous les caractères irréductibles non triviaux qui ne s'annulent pas en g prenaient en 1 une valeur multiple de q, on en déduirait que le nombre est un entier algébrique , ce qui est absurde. Cette contradiction démontre la proposition. :* Le nombre complexe qdχ/χ est un entier algébrique. Soit u l'élément de l'algèbre du groupe G sur les nombres complexes égal à la somme des qd éléments de la classe de conjugaison cg de g. D'après le paragraphe Entier algébrique de l'article Algèbre d'un groupe fini, le complexe suivant est alors un entier algébrique : :* Le nombre complexe χ/χ est un entier algébrique. En effet, q étant premier avec χ, le théorème de Bachet-Bézout montre l'existence de deux entiers a et b tels que : La valeur recherchée est donc combinaison linéaire à coefficients entiers d'entiers algébriques, ce qui démontre la proposition. :* L'image de g, par la représentation ρ de caractère χ, est une homothétie. Notons ζ le nombre complexe χ/χ. C'est un entier algébrique non nul, donc sa norme N est un entier relatif non nul. Or ζ est une moyenne arithmétique de racines de l'unité , donc ses conjugués aussi, donc tous sont de module inférieur ou égal à 1. Comme leur produit N est de module supérieur ou égal à 1, tous sont en fait de module 1, en particulier ζ, ce qui signifie que les valeurs propres de ρ sont égales, donc que ρ est une homothétie. :* Conclusion' Soit N le noyau de ρ. L'homothétie ρ est centrale dans Im , alors que g n'est pas central dans G. Par conséquent, le sous-groupe normal N du groupe simple G est non trivial, donc égal à G'', si bien que la représentation ρ est triviale, ce qui contredit le choix de χ . Cette contradiction démontre le théorème.
prop-fr:fr
Helmut Bender David Goldschmitt
prop-fr:langue
en de
prop-fr:site
dbpedia-fr:Institut_Élie-Cartan_de_Lorraine
prop-fr:texte
Helmut Bender David Goldschmitt
prop-fr:titre
Détails
prop-fr:trad
Helmut Bender David Goldschmitt
prop-fr:url
http://www.iecl.univ-lorraine.fr/~Benoit.Claudon/burnside.pdf|titre=Deux résultats de Burnside http://math.uchicago.edu/~margalit/repthy/Webb,%20Finite%20group%20reps%20for%20the%20pure%20mathematician.pdf|titre=Finite Group Representations for the Pure Mathematician
prop-fr:wikiversityTitre
Le théorème p-q de Burnside
prop-fr:v
Théorie des groupes/Le théorème p-q de Burnside
dbo:thumbnail
n14:Burnside_2.jpeg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Théorème_de_Burnside_(groupe_résoluble)
dbo:namedAfter
dbpedia-fr:William_Burnside
dbo:abstract
En mathématiques, le théorème de Burnside appartient à la théorie des groupes finis. Son énoncé est : Théorème — Si p et q sont deux nombres premiers et n et m deux entiers positifs, alors tout groupe d'ordre pnqm est résoluble. Il est nommé en l'honneur de William Burnside, qui l'a démontré en 1904, à l'aide de la théorie des représentations d'un groupe fini.