Chapter II

Free Lie Algebras

In this chapter,† the letter K denotes a non-zero commutative ring. The unit element of K is denoted by 1. Unless otherwise mentioned, all cogebras, algebras and bigebras, all modules and all tensors products are over K. From § 6, K will be assumed to be a field of characteristic 0.