[permalink] [id link]
Let X be any Lie algebra over K. Given a unital associative K-algebra U and a Lie algebra homomorphism: h: X → U < sub > L </ sub >, ( notation as above ) we say that U is the universal enveloping algebra of X if it satisfies the following universal property: for any unital associative K-algebra A and Lie algebra homomorphism f: X → A < sub > L </ sub > there exists a unique unital algebra homomorphism g: U → A such that: f (-) = g < sub > L </ sub > ( h (-)).
Some Related Sentences
Let and X
" Let X be the unit Cartesian square ×, and let ~ be the equivalence relation on X defined by ∀ a, b ∈ (( a, 0 ) ~ ( a, 1 ) ∧ ( 0, b ) ~ ( 1, b )).
Let ( X < sub > i </ sub >, f < sub > ij </ sub >) be an inverse system of objects and morphisms in a category C ( same definition as above ).
* Let the index set I of an inverse system ( X < sub > i </ sub >, f < sub > ij </ sub >) have a greatest element m. Then the natural projection π < sub > m </ sub >: X → X < sub > m </ sub > is an isomorphism.
Let and be
Let every policeman and park guard keep his eye on John and Jane Doe, lest one piece of bread be placed undetected and one bird survive.
Let us assume that it would be possible for an enemy to create an aerosol of the causative agent of epidemic typhus ( Rickettsia prowazwki ) over City A and that a large number of cases of typhus fever resulted therefrom.
Let p be the minimal polynomial for T, Af, where the Af, are distinct irreducible monic polynomials over F and the Af are positive integers.
Let V be a finite-dimensional vector space over an algebraically closed field F, e.g., the field of complex numbers.
Let N be a positive integer and let V be the space of all N times continuously differentiable functions F on the real line which satisfy the differential equation Af where Af are some fixed constants.
Let Q be a nonsingular quadric surface bearing reguli Af and Af, and let **zg be a Af curve of order K on Q.
Let us take a set of circumstances in which I happen to be interested on the legislative side and in which I think every one of us might naturally make such a statement.
Let the state of the stream leaving stage R be denoted by a vector Af and the operating variables of stage R by Af.
Let it be granted then that the theological differences in this area between Protestants and Roman Catholics appear to be irreconcilable.
Let us therefore put first things first, and make sure of preserving the human race at whatever the temporary price may be ''.