An example of a non-zero Lie coalgebra M for which \(Loc(M)=0\) (Q2640692): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q587265 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Earl J. Taft / rank | |||
Normal rank |
Revision as of 17:40, 19 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An example of a non-zero Lie coalgebra M for which \(Loc(M)=0\) |
scientific article |
Statements
An example of a non-zero Lie coalgebra M for which \(Loc(M)=0\) (English)
0 references
1990
0 references
Let \(W_ 1\) be the (one-sided) Witt algebra of derivations of K[x], K a field of characteristic zero, and let \(W^ 0_ 1\) be the dual Lie coalgebra. The author shows that \(W^ 0_ 1\) is a nonzero Lie coalgebra such that \(Loc(W^ 0_ 1)=0\), i.e., \(W^ 1_ 0\) has no nonzero finite-dimensional Lie subcoalgebras. Since \(Loc(W^ 0_ 1)=\{f\in W^*_ 1 |\) \(f(I)=0\) for some cofinite ideal I of \(W_ 1\}\), \(Loc(W^ 0_ 1)=0\) follows from the well-known simplicity of \(W_ 1\). \(W^ 0_ 1\neq 0\) since it is easy to see that \(W^ 0_ 1\) contains the dual basis to the canonical basis \(e_ i=x^{i+1} d/dx\), \(i\geq -1\), of \(W_ 1\). (See the following review, where \textit{W. D. Nichols} shows that \(W^ 0_ 1\) consists precisely of the linearly recursive sequences \(f=(f(e_ i))\) over K.)
0 references
Lie coalgebra
0 references
locally finite
0 references
Witt algebra of derivations
0 references
dual Lie coalgebra
0 references
linearly recursive sequences
0 references