コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

自由リー環

出典: フリー百科事典『ウィキペディア(Wikipedia)』
ホール集合から転送)

数学において,与えられた K 上の自由リー環: free Lie algebra)は,集合 X によって何の関係も課されることなく生成されるリー環である.

定義

[編集]
X を集合とし,i: XLX からリー環 L への写像とする.リー環 LX 上自由であるとは,任意のリー環 A と写像 f: XA に対して,f = gi なるリー環の準同型 g: LA が一意的に存在することをいう.

集合 X が与えられたとき,X によって生成される自由リー環 L(X) が一意的に存在することを示すことができる.

圏論のことばでは,集合 XX で生成された自由リー環に送る関手集合の圏からリー環の圏への自由関手英語版である.つまり,忘却関手英語版左随伴である.

集合 X 上の自由リー環は自然に次数付けられる.自由リー環の 0 次成分は単にその集合上の自由ベクトル空間である.

ベクトル空間 V 上の自由リー環を, K 上のリー環の圏から体 K 上のベクトル空間の圏への忘却関手,リー環の構造を忘れるがベクトル空間の構造は覚えておく関手の左随伴としても定義できる.

普遍包絡環

[編集]

集合 X 上の自由リー環の普遍包絡環X で生成された自由結合代数である.ポワンカレ・バーコフ・ヴィットの定理英語版により,それは自由リー環の対称代数と「同じ大きさ」である(つまり,両者を X の元に次数 1 を与えて次数付けると,それらは次数付きベクトル空間として同型である).このことは自由リー環の任意の与えられた次数のピースの次元を記述するのに使うことができる.

ヴィットは m 元集合上の自由リー環における次数 k の基本交換子の個数がネックレス多項式

で与えられることを示した.ここで μメビウス関数である.

有限集合上の自由リー環の普遍包絡環の次数付き双対は shuffle algebra英語版 である.

ホール集合

[編集]

自由リー環の明示的な基底は ホール集合 (Hall set) を用いて与えることができる.これは X 上の自由マグマのある種の部分集合である.自由マグマの元は葉が X の元でラベル付けられる二分木である.ホール集合は群に関する Philip Hall英語版 の研究に基づいて Marshall Hall (1950) によって導入された.続いて Wilhelm Magnus英語版 は,それらが,降中心列によって与えられる自由群上のフィルトレーションに付随する次数付きリー環として生じることを示した.この対応は Philip Hall と Ernst Witt による群論における交換子の恒等式に動機づけられた.

リンドン基底

[編集]

特に,Lyndon word英語版 に対応する自由リー環の基底が存在し,Lyndon basis と呼ばれる.(これは Chen–Fox–Lyndon basis あるいは Lyndon–Shirshov basis とも呼ばれ,本質的には Shirshov basis と同じである.)ある順序付けられた alphabet の Lyndon words からこの alphabet 上の自由リー環の基底への次のように定義される全単射 γ が存在する.

  • word w の長さが 1 ならば γ(w) = w である(自由リー環の生成元).
  • w の長さが 2 以上ならば,v の長さがなるべく長くなるように Lyndon words u, v をとって w=uv と書く ("standard factorization"[1]).このとき γ(w) = [γ(u), γ(v)] である.

シルショフ・ヴィットの定理

[編集]

Širšov (1953)Witt (1956) は自由リー環の任意の部分リー環はそれ自身自由リー環であることを示した.

応用

[編集]

絡み目群英語版の Milnor 不変量は,その記事で議論されているように,自由リー環と関係する.

関連項目

[編集]

参考文献

[編集]
  1. ^ Berstel, Jean; Perrin, Dominique (2007), “The origins of combinatorics on words”, European Journal of Combinatorics 28 (3): 996–1022, doi:10.1016/j.ejc.2005.07.019, MR2300777, http://www-igm.univ-mlv.fr/~berstel/Articles/2007Origins.pdf