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 . Just like there are polynomial algebras on n generators, there the foundational object in this setting is the divided power algebra on n generators.