 Divided power structure

In mathematics, specifically commutative algebra, a divided power structure is a way of making expressions of the form formula_1 meaningful even when it is not possible to actually divide by formula_2.Let "A" be a commutative ring with an ideal "I".