  We study the Weierstrass preparation and division theorems over arbitrary
test rings and the local structure of singularities in the space of
nondegenerate arcs on algebraic varieties. As an application, we prove a
strengthened version of a theorem of Grinberg-Kazhdan and Drinfeld.
