E-mail: ricardo@gugu.usal.es
Abstract. Given a Weil algebra $A$ and a smooth manifold $M$, we prove that the set $J^AM$ of kernels of regular $A$-points of $M$, $\check M^A$, has a differentiable manifold structure and $\check M^A\to J^AM$ is a principal fiber bundle.
AMSclassification. 58A20
Keywords. Jet, Weil bundle, Grassmann manifold