Le théorème de Engel porte sur la structure des algèbres de Lie. Sommairement, il affirme que les deux notions de nilpotence que l'on peut définir pour une algèbre de Lie coïncident. Rappelons qu'une algèbre de Lie est dite nilpotente si la suite définie par récurrence par par et finit par arriver à 0, autrement dit s'il existe un i tel que . Rappelons également qu'un endomorphisme A d'un espace vectoriel est dit nilpotent s'il existe un entier n tel que An = 0. Le théorème de Engel s'énonce alors comme suit :

Property Value
dbo:abstract
  • Le théorème de Engel porte sur la structure des algèbres de Lie. Sommairement, il affirme que les deux notions de nilpotence que l'on peut définir pour une algèbre de Lie coïncident. Rappelons qu'une algèbre de Lie est dite nilpotente si la suite définie par récurrence par par et finit par arriver à 0, autrement dit s'il existe un i tel que . Rappelons également qu'un endomorphisme A d'un espace vectoriel est dit nilpotent s'il existe un entier n tel que An = 0. Si , on note ad(x) l'endomorphisme de défini par ad(x)(y) = [x, y]. On dit que x est ad-nilpotent si ad(x) est nilpotent. Il découle facilement de la définition que si est une algèbre de Lie nilpotente, alors tout élément de est ad-nilpotent. Le théorème de Engel s'énonce alors comme suit : Théorème — Si tous les éléments d'une algèbre de Lie de dimension finie sont ad-nilpotents, alors est nilpotente. Ce théorème découle en fait du résultat de trigonalisation suivant, que certains auteurs appellent également théorème de Engel : Théorème — Soient un espace vectoriel de dimension finie et une sous-algèbre de Lie de . On suppose que tous les éléments de sont nilpotents. Alors il existe une base de V dans laquelle tous les éléments de sont des matrices triangulaires supérieures (strictes). (fr)
  • Le théorème de Engel porte sur la structure des algèbres de Lie. Sommairement, il affirme que les deux notions de nilpotence que l'on peut définir pour une algèbre de Lie coïncident. Rappelons qu'une algèbre de Lie est dite nilpotente si la suite définie par récurrence par par et finit par arriver à 0, autrement dit s'il existe un i tel que . Rappelons également qu'un endomorphisme A d'un espace vectoriel est dit nilpotent s'il existe un entier n tel que An = 0. Si , on note ad(x) l'endomorphisme de défini par ad(x)(y) = [x, y]. On dit que x est ad-nilpotent si ad(x) est nilpotent. Il découle facilement de la définition que si est une algèbre de Lie nilpotente, alors tout élément de est ad-nilpotent. Le théorème de Engel s'énonce alors comme suit : Théorème — Si tous les éléments d'une algèbre de Lie de dimension finie sont ad-nilpotents, alors est nilpotente. Ce théorème découle en fait du résultat de trigonalisation suivant, que certains auteurs appellent également théorème de Engel : Théorème — Soient un espace vectoriel de dimension finie et une sous-algèbre de Lie de . On suppose que tous les éléments de sont nilpotents. Alors il existe une base de V dans laquelle tous les éléments de sont des matrices triangulaires supérieures (strictes). (fr)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 1123480 (xsd:integer)
dbo:wikiPageLength
  • 4014 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 179022855 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1891 (xsd:integer)
  • 2000 (xsd:integer)
  • 2006 (xsd:integer)
  • 2011 (xsd:integer)
prop-fr:collection
  • Springer Undergraduate Mathematics Series (fr)
  • Springer Undergraduate Mathematics Series (fr)
prop-fr:doi
  • 10.100700 (xsd:double)
prop-fr:isbn
  • 978 (xsd:integer)
prop-fr:lang
  • de (fr)
  • de (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:lienAuteur
  • Karin Erdmann (fr)
  • Karin Erdmann (fr)
prop-fr:lienÉditeur
  • Breitkopf & Härtel (fr)
  • Breitkopf & Härtel (fr)
prop-fr:lieu
  • Leipzig (fr)
  • Londres (fr)
  • Leipzig (fr)
  • Londres (fr)
prop-fr:lireEnLigne
prop-fr:mathReviews
  • 2218355 (xsd:integer)
prop-fr:nom
  • Erdmann (fr)
  • Hawkins (fr)
  • Hilgert (fr)
  • Wildon (fr)
  • Neeb (fr)
  • Umlauf (fr)
  • Erdmann (fr)
  • Hawkins (fr)
  • Hilgert (fr)
  • Wildon (fr)
  • Neeb (fr)
  • Umlauf (fr)
prop-fr:pagesTotales
  • 251 (xsd:integer)
  • 566 (xsd:integer)
  • 746 (xsd:integer)
prop-fr:passage
  • 93 (xsd:integer)
  • 176 (xsd:integer)
prop-fr:prénom
  • Karin (fr)
  • Joachim (fr)
  • Thomas (fr)
  • Mark J. (fr)
  • Karl-Hermann (fr)
  • Karl Arthur (fr)
  • Karin (fr)
  • Joachim (fr)
  • Thomas (fr)
  • Mark J. (fr)
  • Karl-Hermann (fr)
  • Karl Arthur (fr)
prop-fr:sousTitre
  • An Essay in the History of Mathematics, 1869-1926 (fr)
  • An Essay in the History of Mathematics, 1869-1926 (fr)
prop-fr:titre
  • Emergence of the Theory of Lie Groups (fr)
  • Introduction to Lie algebras (fr)
  • Structure and Geometry of Lie Groups (fr)
  • Über die Zusammensetzung der endlichen continuierlichen Transformationsgruppen, insbesondre der Gruppen vom Range Null (fr)
  • Emergence of the Theory of Lie Groups (fr)
  • Introduction to Lie algebras (fr)
  • Structure and Geometry of Lie Groups (fr)
  • Über die Zusammensetzung der endlichen continuierlichen Transformationsgruppen, insbesondre der Gruppen vom Range Null (fr)
prop-fr:url
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
dct:subject
rdfs:comment
  • Le théorème de Engel porte sur la structure des algèbres de Lie. Sommairement, il affirme que les deux notions de nilpotence que l'on peut définir pour une algèbre de Lie coïncident. Rappelons qu'une algèbre de Lie est dite nilpotente si la suite définie par récurrence par par et finit par arriver à 0, autrement dit s'il existe un i tel que . Rappelons également qu'un endomorphisme A d'un espace vectoriel est dit nilpotent s'il existe un entier n tel que An = 0. Le théorème de Engel s'énonce alors comme suit : (fr)
  • Le théorème de Engel porte sur la structure des algèbres de Lie. Sommairement, il affirme que les deux notions de nilpotence que l'on peut définir pour une algèbre de Lie coïncident. Rappelons qu'une algèbre de Lie est dite nilpotente si la suite définie par récurrence par par et finit par arriver à 0, autrement dit s'il existe un i tel que . Rappelons également qu'un endomorphisme A d'un espace vectoriel est dit nilpotent s'il existe un entier n tel que An = 0. Le théorème de Engel s'énonce alors comme suit : (fr)
rdfs:label
  • Théorème de Engel (fr)
  • Теорема Енгеля (uk)
  • エンゲルの定理 (ja)
  • Théorème de Engel (fr)
  • Теорема Енгеля (uk)
  • エンゲルの定理 (ja)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of