Definition
Let be a Lie algebra over a commutative ring R with universal enveloping algebra, and let M be a representation of (equivalently, a -module). Considering R as a trivial representation of, one defines the cohomology groups
(see Ext functor for the definition of Ext). Equivalently, these are the right derived functors of the left exact invariant submodule functor
Analogously, one can define Lie algebra homology as
(see Tor functor for the definition of Tor), which is equivalent to the left derived functors of the right exact coinvariants functor
Some important basic results about the cohomology of Lie algebras include Whitehead's lemmas, Weyl's theorem, and the Levi decomposition theorem.
Read more about this topic: Lie Algebra Cohomology
Famous quotes containing the word definition:
“Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.”
—Elaine Heffner (20th century)
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)
“According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animals—just as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
—Ana Castillo (b. 1953)