A short paper for a seminar on universal enveloping algebras in the context of a course on Lie groups.