## One universal enveloping algebra

In my search for less abstract or trivial examples of a universal enveloping algebra, I have come upon this one. Let be a vector space and a free associative algebra on . The mapping is a vector space morphism . can also be viewed as a Lie algebra. is a part of ; let be…