En mathématiques, le théorème de Lie, démontré en 1876 par Sophus Lie, porte sur la structure des algèbres de Lie résolubles. Comme les théorèmes de Engel (1890) et de Kolchin (1948), il s'agit d'un théorème de trigonalisation simultanée. Le théorème s'énonce ainsi : Théorème — Soit K un corps algébriquement clos de caractéristique nulle. Soit V un espace vectoriel de dimension finie sur K et une sous-algèbre de Lie résoluble de . Alors il existe une base de V dans laquelle tous les éléments de sont des matrices triangulaires supérieures.

Property Value
dbo:abstract
  • En mathématiques, le théorème de Lie, démontré en 1876 par Sophus Lie, porte sur la structure des algèbres de Lie résolubles. Comme les théorèmes de Engel (1890) et de Kolchin (1948), il s'agit d'un théorème de trigonalisation simultanée. Le théorème s'énonce ainsi : Théorème — Soit K un corps algébriquement clos de caractéristique nulle. Soit V un espace vectoriel de dimension finie sur K et une sous-algèbre de Lie résoluble de . Alors il existe une base de V dans laquelle tous les éléments de sont des matrices triangulaires supérieures. Une conséquence très importante de ce théorème est le (en). On suppose ici simplement K de caractéristique nulle. Pour comme ci-dessus, on note B la forme bilinéaire sur définie par B(X, Y) = tr(XY). B est la forme de Killing associée à . Le critère de Cartan montre alors que est résoluble si et seulement si , où . Ce théorème est à son tour très utile pour établir le critère de Killing-Cartan : avec la même hypothèse sur K, est semi-simple si et seulement si B est une forme bilinéaire non dégénérée. Ce critère est le premier pas vers la classification des algèbres de Lie semi-simples. (fr)
  • En mathématiques, le théorème de Lie, démontré en 1876 par Sophus Lie, porte sur la structure des algèbres de Lie résolubles. Comme les théorèmes de Engel (1890) et de Kolchin (1948), il s'agit d'un théorème de trigonalisation simultanée. Le théorème s'énonce ainsi : Théorème — Soit K un corps algébriquement clos de caractéristique nulle. Soit V un espace vectoriel de dimension finie sur K et une sous-algèbre de Lie résoluble de . Alors il existe une base de V dans laquelle tous les éléments de sont des matrices triangulaires supérieures. Une conséquence très importante de ce théorème est le (en). On suppose ici simplement K de caractéristique nulle. Pour comme ci-dessus, on note B la forme bilinéaire sur définie par B(X, Y) = tr(XY). B est la forme de Killing associée à . Le critère de Cartan montre alors que est résoluble si et seulement si , où . Ce théorème est à son tour très utile pour établir le critère de Killing-Cartan : avec la même hypothèse sur K, est semi-simple si et seulement si B est une forme bilinéaire non dégénérée. Ce critère est le premier pas vers la classification des algèbres de Lie semi-simples. (fr)
dbo:namedAfter
dbo:wikiPageID
  • 1167480 (xsd:integer)
dbo:wikiPageInterLanguageLink
dbo:wikiPageLength
  • 2285 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 177073954 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • En mathématiques, le théorème de Lie, démontré en 1876 par Sophus Lie, porte sur la structure des algèbres de Lie résolubles. Comme les théorèmes de Engel (1890) et de Kolchin (1948), il s'agit d'un théorème de trigonalisation simultanée. Le théorème s'énonce ainsi : Théorème — Soit K un corps algébriquement clos de caractéristique nulle. Soit V un espace vectoriel de dimension finie sur K et une sous-algèbre de Lie résoluble de . Alors il existe une base de V dans laquelle tous les éléments de sont des matrices triangulaires supérieures. (fr)
  • En mathématiques, le théorème de Lie, démontré en 1876 par Sophus Lie, porte sur la structure des algèbres de Lie résolubles. Comme les théorèmes de Engel (1890) et de Kolchin (1948), il s'agit d'un théorème de trigonalisation simultanée. Le théorème s'énonce ainsi : Théorème — Soit K un corps algébriquement clos de caractéristique nulle. Soit V un espace vectoriel de dimension finie sur K et une sous-algèbre de Lie résoluble de . Alors il existe une base de V dans laquelle tous les éléments de sont des matrices triangulaires supérieures. (fr)
rdfs:label
  • Lie–Kolchin theorem (en)
  • Satz von Lie (de)
  • Théorème de Lie (fr)
  • Теорема Лі (uk)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of