Department of Mathematical Sciences, University of Alberta, Edmonton, Alberta, Canada quad T6G 2G1 ; Department of Mathematical Sciences, University of Alberta, Edmonton, Alberta, Canada quad T6G 2G1
Abstract:
We define HNN-extensions of Lie algebras and study their properties. In particular, a sufficient condition for freeness of subalgebras is obtained. We also study differential HNN-extensions of associative rings. These constructions are used to give short proofs of Malcev's and Shirshov's theorems that an associative or Lie algebra of finite or countable dimension is embeddable into a two-generator algebra.