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

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

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
n20https://ncatlab.org/nlab/show/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
n8http://g.co/kg/m/
dbpedia-ruhttp://ru.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-srhttp://sr.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n7http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-arhttp://ar.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
n14http://ma-graph.org/entity/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Représentation_irréductible
rdfs:label
Неприводимое представление Représentation irréductible 有限群表示理論 Rappresentazione irriducibile
rdfs:comment
En mathématiques et plus précisément en théorie des représentations, une représentation irréductible est une représentation non nulle qui n'admet qu'elle-même et la représentation nulle comme sous-représentations. Le présent article traite des représentations d'un groupe. Le théorème de Maschke démontre que dans de nombreux cas, une représentation est somme directe de représentations irréductibles.
rdfs:seeAlso
n20:irreducible_representation
owl:sameAs
dbpedia-ru:Неприводимое_представление n8:0w4zp1x n14:142292226 dbpedia-ar:تمثيل_غير_قابل_للاختزال dbpedia-sr:Иредуцибилна_репрезентација dbpedia-ko:기약표현 dbpedia-it:Rappresentazione_irriducibile dbr:Irreducible_representation wikidata:Q13690522 dbpedia-ja:既約表現
dbo:wikiPageInterLanguageLink
dbpedia-zh:有限群表示理論
dbo:wikiPageID
1135773
dbo:wikiPageRevisionID
186954098
dbo:wikiPageWikiLink
dbpedia-fr:Module_simple dbpedia-fr:Produit_direct_(groupes) dbpedia-fr:Application_linéaire dbpedia-fr:Ferdinand_Georg_Frobenius dbpedia-fr:Représentation_de_groupe dbpedia-fr:Polynôme dbpedia-fr:Fonction_centrale dbpedia-fr:Fonction_centrale_sur_un_groupe_fini dbpedia-fr:Base_orthonormée dbpedia-fr:Groupe_quotient dbpedia-fr:Homothétie dbpedia-fr:Action_par_conjugaison dbpedia-fr:Anneau_commutatif dbpedia-fr:Groupe_compact dbpedia-fr:Critère_d'irréductibilité_de_Mackey dbpedia-fr:Théorie_des_représentations dbpedia-fr:Plan_euclidien dbpedia-fr:Module_sur_un_anneau category-fr:Théorie_des_représentations dbpedia-fr:Caractéristique_d'un_anneau dbpedia-fr:Isométrie dbpedia-fr:Produit_tensoriel_et_représentations_de_groupes_finis dbpedia-fr:Corps_commutatif dbpedia-fr:Isomorphisme dbpedia-fr:Centre_(algèbre) dbpedia-fr:Mathématiques dbpedia-fr:Sous-espace_supplémentaire dbpedia-fr:Théorème_de_Maschke dbpedia-fr:Groupe_symétrique dbpedia-fr:Lemme_de_Schur dbpedia-fr:Centre_d'un_groupe dbpedia-fr:Ordre_(théorie_des_groupes) dbpedia-fr:Représentation_régulière dbpedia-fr:Issai_Schur dbpedia-fr:Arithmétique dbpedia-fr:Algèbre_d'un_monoïde dbpedia-fr:Théorème_de_Lagrange_sur_les_groupes dbpedia-fr:Groupe_orthogonal dbpedia-fr:Algèbre_d'un_groupe_fini dbpedia-fr:Sous-groupe_normal dbpedia-fr:Somme_directe dbpedia-fr:Action_de_groupe_(mathématiques) dbpedia-fr:Représentations_du_groupe_symétrique
dbo:wikiPageLength
13450
dct:subject
category-fr:Théorie_des_représentations
prop-fr:wikiPageUsesTemplate
n7:Article_détaillé n7:Palette n7:Ouvrage n7:Refsou n7:Références n7:Harv n7:Portail n7:Voir_homonymes n7:Démonstration n7:Lien
prov:wasDerivedFrom
wikipedia-fr:Représentation_irréductible?oldid=186954098&ns=0
prop-fr:contenu
* Ou bien il existe un sous-groupe H de G contenant N et différent G tel que soit induite par une représentation irréductible de H, ou bien la restriction de σ à N est isotypique. Soit Wi, où i varie de 1 à n, la décomposition canonique de la restriction de σ à N en composantes isotypiques. On dispose alors de l'égalité : Si s est un élément de G et si i est un entier compris entre 1 et n, alors σWi est encore une composante isotypique. On remarque que, comme W est une représentation irréductible de G, l'action du groupe σ est transitive sur la famille des Wi. Si n est égal à 1, c'est-à-dire que W1 est égal à W, alors la restriction de σ à N est isotypique. Dans le cas contraire, considérons le sous-groupe H de G formé des éléments laissant globalement invariant W1. Il est distinct de G et contient N. Soient θ' la restriction de σ à H et θ la sous-représentation de θ' sur le sous-espace W1. Alors θ est irréductible et σ est induite par θ. Pour démontrer la proposition suivante, un lemme, dû à Schur, est nécessaire : * Si C est le centre du groupe G, alors le degré de toute représentation irréductible de G divise l'ordre du groupe quotient G/C. Notons c l'ordre du sous-groupe C de G, et une représentation irréductible de G, de degré d. Si z est un élément de C, alors σ commute avec tous les éléments σ si s parcourt G. Le lemme de Schur permet de conclure que σ est une homothétie, notons λ son rapport. On remarque que l'application λ est un morphisme de groupes de C dans K*. Considérons alors un entier strictement positif m et la représentation irréductible σ⊗m de Gm sur W⊗m. L'image par σ de tout élément de Cm est l'homothétie de rapport λ. Notons H le sous-groupe de Cm formé des éléments tels que le produit des m composantes soit égal à un. Ce sous-groupe normal de Gm est inclus dans le noyau de σ⊗m. Par passage au quotient, on obtient une représentation irréductible du groupe Gm/H. Son degré, dm, est donc un diviseur de l'ordre du groupe, gm/cm-1. Cette relation est vraie pour tout m, ce qui démontre le lemme. * Si N est un sous-groupe normal abélien de G, alors le degré de toute représentation irréductible de G divise l'ordre du groupe quotient G/N. Démontrons cette proposition par récurrence sur l'ordre de G. La représentation irréductible de G est ici notée . Si la restriction de σ à N est isotypique, alors, comme N est abélien et que les seules représentations irréductibles d'un groupe abélien fini sont de degré un, l'image de N par σ est composée d'homothéties. Notons G' et N' les images de G et N par σ. Considérons la représentation identité de G' à valeur dans GL. Le lemme précédent montre que le degré de cette représentation divise l'ordre du groupe quotient de G' par son centre. Or son centre contient N' car ce sous-groupe est composé d'homothéties. Le degré de σ, c'est-à-dire la dimension de W est donc un diviseur de l'ordre de G' /N' . Enfin l'application canonique de G/N dans G' /N' est surjective donc l'ordre de G' /N' est un diviseur de celui de G/N, ce qui termine la démonstration dans ce cas. Si la restriction de σ à N n'est pas isotypique, alors il existe un groupe H distinct de G et contenant N, tel que la représentation soit induite par une représentation irréductible de H. Alors le degré de la représentation θ divise l'indice [H:N] par hypothèse de récurrence. Le degré de σ est égal à celui de θ que multiplie l'indice [G:H] et donc est un diviseur de [G:H].[H:N], c'est-à-dire de [G:N].
prop-fr:id
Serre
prop-fr:lienAuteur
Jean-Pierre Serre
prop-fr:nom
Serre
prop-fr:prénom
Jean-Pierre
prop-fr:titre
Démonstrations Représentations linéaires des groupes finis
prop-fr:référence
Référence:Représentations de groupes
foaf:isPrimaryTopicOf
wikipedia-fr:Représentation_irréductible
dbo:abstract
En mathématiques et plus précisément en théorie des représentations, une représentation irréductible est une représentation non nulle qui n'admet qu'elle-même et la représentation nulle comme sous-représentations. Le présent article traite des représentations d'un groupe. Le théorème de Maschke démontre que dans de nombreux cas, une représentation est somme directe de représentations irréductibles.