Lie algebra

word looked up :


	Lie algebra A Lie algebra (pronounced as "lee", named in honor of Sophus Lie) is an algebraic structure in mathematics whose main use lies in studying geometric objects such as Lie groups and differentiable manifolds.

Definition

A Lie algebra is a vector space g over some field F (typically the real or complex numbers) together with a binary operation [·, ·] : g × g -> g, called the Lie bracket, which satisfies the following properties:

it is bilinear, i.e., [a x + b y, z] = a [x, z] + b [y, z] and [z, a x + b y] = a [z, x] + b [z, y] for all a, b in F and all x, y, z in g.
it satisfies the Jacobi identity, i.e., [[x, y], z] + [[z, x], y] + [[y, z], x] = 0 for all x, y, z in g.
[x, x] = 0 for all x in g.

Note that the first and third property together imply [x, y] = - [y, x] for all x, y in g ("anti-symmetry"). Note also that the multiplication represented by the Lie bracket isn't in general associative, that is, [[x, y], z] need not equal [x, [y, z]].

Examples

Every vector space becomes a (rather uninteresting) Lie algebra if we define the Lie bracket to be identically zero.

Euclidean space R³ becomes a Lie algebra with the Lie bracket given by the cross-product of vectors.

If an associative algebra A with multiplication * is given, it can be turned into a Lie algebra by defining [x, y] = x * y - y * x. This expression is called the commutator of x and y. Conversely, it can be shown that every Lie algebra can be embedded into one that arises from an associative algebra in this fashion.

Other important examples of Lie algebras come from differential topology: the vector fields on a differentiable manifold form an infinite dimensional Lie algebra; for two vector fields X and Y, the Lie bracked [X, Y] is defined by

[X, Y] f = (XY - YX) f for every function f on the manifold

(here we view vector fields as operators that turn functions on a manifold into other functions).

The vector space of left-invariant vector fields on a Lie group is closed under this operation and is therefore a finite dimensional Lie algebra. One may alternatively think of the underlying vector space of the Lie algebra belonging to a Lie group as the tangent space at the group's identity element. The multiplication is the differential of the group commutator, (a,b) |-> aba^-1b^-1, at the identity element.

As a concrete example, consider the Lie group SL(n,R) of all n-by-n matrices with real entries and determinant 1. The tangent space at the identity matrix may be identified with the space of all real n-by-n matrices with trace 0, and the Lie algebra structure coming from the Lie group coincides with the one arising from commutators of matrix multiplication.

For more examples of Lie groups and their associated Lie algebras, see the Lie group article.

Homomorphisms, Subalgebras and Ideals

A homomorphism φ : g -> h between Lie algebras g and h over the same base field F is an F-linear map such that [φ(x), φ(y)] = [x, y] for all x and y in g. The composition of such homomorphisms is again a homomorphisms, and the Lie algebras over the field F, together with these morphisms, form a category. If such a homomorphism is bijective, it is called an isomorphism, and the two Lie algebras g and h are called isomorphic. For all practical purposes, isomorphical Lie algebraas are identical.

A subalgebra of the Lie algebra g is a subspace[?] h of g such that [x, y] ∈ h for all x, y ∈ h. The subalgebra is then itself a Lie algebra.

An ideal of the Lie algebra g is a subspace h of g such that [a, y] ∈ h for all a ∈ g and y ∈ h. All ideals are subalgebras. If h is an ideal of g, then the quotient space g/h becomes a Lie algebra by defining [x + h, y + h] = [x, y] for all x, y ∈ g. The ideals are precisely the kernels of homomorphisms, and the fundamental theorem on homomorphisms is valid for Lie algebras.

Classification of Lie Algebras

Real and complex Lie algebras can be classified to some extent, and this classification helps in understanding Lie groups, which are the truly interesting objects in geometry, mathematical analysis and physics since they capture symmetries of analytical structures. Lie algebras were originally introduced and studied by Sophus Lie and independently by Wilhelm Killing[?] starting in the 1870s for this reason.

A Lie algebra is abelian if the Lie bracket vanishes, i.e. [x, y] = 0 for all x and y. An abelian subalgebra of a Lie algebra is often called a torus. A maximal torus is also called a Cartan subalgebra.

A Lie algeba g is solvable or nilpotent if the lower central series[?]

g > [g, g] > [[g, g], g] > [[[g, g], g], g] > ...

becomes zero eventually. By Engels theorem, a Lie algebra is solvable iff for every u in g the map ad(u): g -> g defined by

ad(u)(v) = [u,v]

is nilpotent. A maximal solvable subalgebra is called a Borel subalgebra.

A Lie algebra g is called semi simple if one of the following equivalent conditions is satisfied

the Lie algebra homomorphism ad : g ->End(g) is injective.
the Killing form K(u,v) = tr(ad(u)ad(v)) is non degenerate; here tr denotes the trace operator.
every representation[?] is completely reducible, that is for every invariant subspace of the representation there is an invariant complement (theorem XXXX by whom XXXX ???)

A Lie Algebra is simple if it has no non-trivial ideals. In particular since the center Z must be trivial, a simple Lie Algebra is semi simple.

Semi simple Lie algebras are classified through the representations of their Cartan subalgebras, and more particular their Root system[?].

 ........

So cunningly drafted was the act.html">act of of this large stretch of property.html">property to the company, yet the title to so, a corporation counsel complaisantly decided that the railroad [Footnote: Minutes of the New York City Board of Estimate and will thus be seen," reported Harry P. Nichols, Engineer-in-Charge of for twenty years, occupying more than three hundred city.html">city.html">city lots, or numerous small frauds at this time, was that foisting upon New York approaches with a fine steel elevated system. This fraud cost.html">cost the admitted, but one nevertheless of pitiful proportions in comparison Legislature an act forcing New York City to pay $4,000,000 for repeated his method. In 1892 the United States Government was engaged War, having jurisdiction of all navigable waters, issued a mandate to permit the passing under of large vessels. To comply with this order.html">order.html">order it was necessary to raise the track citizen, upon receiving an order from the authorities to make city to pay all or any part of the cost, he would have been laughed property holders. Having the power to order legislatures to do their the city to pay the greater portion of the cost of supplying.

On wordlookup.net

All is still licensed under the GNU FDL.
It uses material from the wikipedia.

navig stuff