Divided powers and Kähler differentials
Divided power algebras form an important variety of non-binary universal algebras. We identify the universal enveloping algebra and Kähler differentials associated to a divided power algebra over a general commutative ring, simplifying and generalizing work of Roby and Dokas.
math.AC↗