An example of a non-zero Lie coalgebra M for which \(Loc(M)=0\) (Q2640692): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q587265
RedirectionBot (talk | contribs)
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
    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
    0 references

    Identifiers