数学の分野である表現論において、エンゲルの定理 (Engel's theorem) はリー環論の基本的な定理の1つであり、リー環に対して冪零性の2つの概念が同一であることを主張する。定義の有用な形は、行列からなるリー環 L が冪零行列からなればすべて同時にに相似変換できるというものである。定理は数学者 (Friedrich Engel) にちなんで名づけられている。彼はその証明の概略を (Wilhelm Killing) に宛てた1890年7月20日の手紙の中で書いた 。エンゲルの生徒 K.A. Umlauf は1891年の学位論文において完全な証明を与え、 として再版されている。 ベクトル空間 V 上の線型写像 T が冪零 (nilpotent) であるとは、ある正の整数 k が存在して Tk = 0 となることをいう。例えば、対角線上及びそれより下で成分がすべて 0 であるような行列 によって与えられる任意の写像は冪零である。リー環 L の元 x が ad-nilpotent とは、 によって定義される L 上の線型写像が冪零であることをいう。V 上の線型変換全体からなるリー環 L(V) において、恒等写像 IV は ad-nilpotent である( だから)が、写像そのものは冪零ではないことに注意しよう。 リー環 L が冪零であるとは、

Property Value
dbo:abstract
  • 数学の分野である表現論において、エンゲルの定理 (Engel's theorem) はリー環論の基本的な定理の1つであり、リー環に対して冪零性の2つの概念が同一であることを主張する。定義の有用な形は、行列からなるリー環 L が冪零行列からなればすべて同時にに相似変換できるというものである。定理は数学者 (Friedrich Engel) にちなんで名づけられている。彼はその証明の概略を (Wilhelm Killing) に宛てた1890年7月20日の手紙の中で書いた 。エンゲルの生徒 K.A. Umlauf は1891年の学位論文において完全な証明を与え、 として再版されている。 ベクトル空間 V 上の線型写像 T が冪零 (nilpotent) であるとは、ある正の整数 k が存在して Tk = 0 となることをいう。例えば、対角線上及びそれより下で成分がすべて 0 であるような行列 によって与えられる任意の写像は冪零である。リー環 L の元 x が ad-nilpotent とは、 によって定義される L 上の線型写像が冪零であることをいう。V 上の線型変換全体からなるリー環 L(V) において、恒等写像 IV は ad-nilpotent である( だから)が、写像そのものは冪零ではないことに注意しよう。 リー環 L が冪零であるとは、 によって再帰的に定義されるが最終的に 0 に達することをいう。 定理 (Engel)。有限次元リー環 L が冪零であることと、L のすべての元が ad-nilpotent であることは同値である。 基礎体についての仮定は全く必要ないことに注意しよう。 エンゲルの定理の証明における重要な補題は、次に述べる、それ自身有用な、有限次元ベクトル空間上の線型写像のリー環についての事実である。 L を L(V) の部分Lie環とする。すると L が冪零写像からなることと、V の部分ベクトル空間の列 であって , および なるものが存在することは同値である。したがって冪零写像からなるリー環は同時狭義上三角化可能である。 (ja)
  • 数学の分野である表現論において、エンゲルの定理 (Engel's theorem) はリー環論の基本的な定理の1つであり、リー環に対して冪零性の2つの概念が同一であることを主張する。定義の有用な形は、行列からなるリー環 L が冪零行列からなればすべて同時にに相似変換できるというものである。定理は数学者 (Friedrich Engel) にちなんで名づけられている。彼はその証明の概略を (Wilhelm Killing) に宛てた1890年7月20日の手紙の中で書いた 。エンゲルの生徒 K.A. Umlauf は1891年の学位論文において完全な証明を与え、 として再版されている。 ベクトル空間 V 上の線型写像 T が冪零 (nilpotent) であるとは、ある正の整数 k が存在して Tk = 0 となることをいう。例えば、対角線上及びそれより下で成分がすべて 0 であるような行列 によって与えられる任意の写像は冪零である。リー環 L の元 x が ad-nilpotent とは、 によって定義される L 上の線型写像が冪零であることをいう。V 上の線型変換全体からなるリー環 L(V) において、恒等写像 IV は ad-nilpotent である( だから)が、写像そのものは冪零ではないことに注意しよう。 リー環 L が冪零であるとは、 によって再帰的に定義されるが最終的に 0 に達することをいう。 定理 (Engel)。有限次元リー環 L が冪零であることと、L のすべての元が ad-nilpotent であることは同値である。 基礎体についての仮定は全く必要ないことに注意しよう。 エンゲルの定理の証明における重要な補題は、次に述べる、それ自身有用な、有限次元ベクトル空間上の線型写像のリー環についての事実である。 L を L(V) の部分Lie環とする。すると L が冪零写像からなることと、V の部分ベクトル空間の列 であって , および なるものが存在することは同値である。したがって冪零写像からなるリー環は同時狭義上三角化可能である。 (ja)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 3253426 (xsd:integer)
dbo:wikiPageLength
  • 3112 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 90398849 (xsd:integer)
dbo:wikiPageWikiLink
prop-ja:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 数学の分野である表現論において、エンゲルの定理 (Engel's theorem) はリー環論の基本的な定理の1つであり、リー環に対して冪零性の2つの概念が同一であることを主張する。定義の有用な形は、行列からなるリー環 L が冪零行列からなればすべて同時にに相似変換できるというものである。定理は数学者 (Friedrich Engel) にちなんで名づけられている。彼はその証明の概略を (Wilhelm Killing) に宛てた1890年7月20日の手紙の中で書いた 。エンゲルの生徒 K.A. Umlauf は1891年の学位論文において完全な証明を与え、 として再版されている。 ベクトル空間 V 上の線型写像 T が冪零 (nilpotent) であるとは、ある正の整数 k が存在して Tk = 0 となることをいう。例えば、対角線上及びそれより下で成分がすべて 0 であるような行列 によって与えられる任意の写像は冪零である。リー環 L の元 x が ad-nilpotent とは、 によって定義される L 上の線型写像が冪零であることをいう。V 上の線型変換全体からなるリー環 L(V) において、恒等写像 IV は ad-nilpotent である( だから)が、写像そのものは冪零ではないことに注意しよう。 リー環 L が冪零であるとは、 (ja)
  • 数学の分野である表現論において、エンゲルの定理 (Engel's theorem) はリー環論の基本的な定理の1つであり、リー環に対して冪零性の2つの概念が同一であることを主張する。定義の有用な形は、行列からなるリー環 L が冪零行列からなればすべて同時にに相似変換できるというものである。定理は数学者 (Friedrich Engel) にちなんで名づけられている。彼はその証明の概略を (Wilhelm Killing) に宛てた1890年7月20日の手紙の中で書いた 。エンゲルの生徒 K.A. Umlauf は1891年の学位論文において完全な証明を与え、 として再版されている。 ベクトル空間 V 上の線型写像 T が冪零 (nilpotent) であるとは、ある正の整数 k が存在して Tk = 0 となることをいう。例えば、対角線上及びそれより下で成分がすべて 0 であるような行列 によって与えられる任意の写像は冪零である。リー環 L の元 x が ad-nilpotent とは、 によって定義される L 上の線型写像が冪零であることをいう。V 上の線型変換全体からなるリー環 L(V) において、恒等写像 IV は ad-nilpotent である( だから)が、写像そのものは冪零ではないことに注意しよう。 リー環 L が冪零であるとは、 (ja)
rdfs:label
  • エンゲルの定理 (ja)
  • エンゲルの定理 (ja)
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of