Divided powers