On Cohn's embedding of an enveloping algebra into a division ring

Abstract

In 1961 P. М. Cohn proved that the universal enveloping algebra of any Lie algebra over a field-can be embedded into a division ring. (The Lie algebra is not assumed to be finite dimensional.) Cohn's method is less than direct. We give a more explicit construction. These division rings have recently found uses in the theory of skew linear groups.Let F be a field, L a Lie F-algebra and U=U(L) the universal enveloping algebra of L. In [1] Cohn constructs an embedding of U into a division ring. Recently there has been interest in this specific division ring in connection with matrix groups and matrix rings [2–4]. Cohn's construction is less than direct and it seemed useful to have a very explicit description of D, at least for the benefit of group theorists.