Divided power structure

In mathematics, specifically commutative algebra, a divided power structure is a way of introducing items with similar properties as expressions of the form have, also when it is not possible to actually divide by .