自由リー環

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

定義

X を集合とし，i: X → L を X からリー環 L への写像とする．リー環 L が X 上自由であるとは，任意のリー環 A と写像 f: X → A に対して，f = g ∘ i なるリー環の準同型 g: L → A が一意的に存在することをいう．

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

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

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

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

普遍包絡環

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

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

${\displaystyle N_{k}={\frac {1}{k}}\sum _{d|k}\mu (d)\cdot m^{k/d}}$

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

有限集合上の自由リー環の普遍包絡環の次数付き双対は 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 不変量は，その記事で議論されているように，自由リー環と関係する．

関連項目

• 自由対象（英語版）
• 自由代数
• 自由群

参考文献

• Bakhturin, Yu.A. (2001), “Free Lie algebra over a ring”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Lie_algebra,_free 
• N. Bourbaki, "Lie Groups and Lie Algebras", Chapter II: Free Lie Algebras, Springer, 1989. ISBN 0-387-50218-1
• Chen, Kuo-Tsai; Fox, Ralph H.; Lyndon, Roger C. (1958), “Free differential calculus. IV. The quotient groups of the lower central series”, Annals of Mathematics. Second Series 68 (1): 81–95, doi:10.2307/1970044, ISSN 0003-486X, JSTOR 1970044, MR0102539, https://jstor.org/stable/1970044 
• Hall, Marshall (1950), “A basis for free Lie rings and higher commutators in free groups”, Proceedings of the American Mathematical Society 1 (5): 575–581, doi:10.1090/S0002-9939-1950-0038336-7, ISSN 0002-9939, MR0038336, http://www.ams.org/journals/proc/1950-001-05/S0002-9939-1950-0038336-7/ 
• Lothaire, M. (1997), Combinatorics on words, Encyclopedia of Mathematics and Its Applications, 17, Perrin, D.; Reutenauer, C.; Berstel, J.; Pin, J. E.; Pirillo, G.; Foata, D.; Sakarovitch, J.; Simon, I.; Schützenberger, M. P.; Choffrut, C.; Cori, R.; Lyndon, Roger; Rota, Gian-Carlo. Foreword by Roger Lyndon (2nd ed.), Cambridge University Press, pp. 76–91, 98, ISBN 0-521-59924-5, Zbl 0874.20040 
• Magnus, Wilhelm (1937), “Über Beziehungen zwischen höheren Kommutatoren” (German), Journal für Reine und Angewandte Mathematik 177 (177): 105–115, doi:10.1515/crll.1937.177.105, ISSN 0075-4102, JFM 63.0065.01, http://resolver.sub.uni-goettingen.de/purl?GDZPPN00217412X 
• W. Magnus, A. Karrass, D. Solitar, "Combinatorial group theory". Reprint of the 1976 second edition, Dover, 2004. ISBN 0-486-43830-9
• G. Melançon (2001), “Hall set”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Hall_set 
• G. Melançon (2001), “Hall word”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Hall_word 
• Melançon, G. (2001), “Shirshov basis”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Shirshov_basis 
• Reutenauer, Christophe (1993), Free Lie algebras, London Mathematical Society Monographs. New Series, 7, The Clarendon Press Oxford University Press, ISBN 978-0-19-853679-6, MR1231799, https://books.google.com/books?id=cBvvAAAAMAAJ 
• Širšov, A. I. (1953), “Subalgebras of free Lie algebras”, Mat. Sbornik N.S. 33 (75): 441–452, MR0059892 
• Širšov, A. I. (1958), “On free Lie rings”, Mat. Sb. 45 (2): 113-122 
• Selected works of A.I. Shirshov. Eds. Bokut, L.A., Latyshev, V., Shestakov, I., Zelmanov, E., Trs.M.,Bremner, Kochetov, M. Birkh\"auser, Basel,Boston, Berlin (2009)
• Witt, Ernst (1956), “Die Unterringe der freien Lieschen Ringe”, Mathematische Zeitschrift 64: 195–216, doi:10.1007/BF01166568, ISSN 0025-5874, MR0077525