Let G be a linearly reductive group over a field K, with a linear action on a polynomial ring over K. Then the invariant ring is a pure subring of the polynomial ring; many key properties of classical invariant rings including finite generation and the Cohen-Macaulay property, as in the Hochster-Roberts theorem, follow from purity. Now let A denote either a field, or the ring of integers, or a ring of p-adic integers. When is a given finitely generated A-algebra a pure subring of a polynomial ring over A? We will discuss how this can be addressed via D-modules, Group Actions, and Frobenius! The recent Computing on Singularities is joint work with Jack Jeffries.