Calculation of the avoiding ideal for
We calculate the mapping and obtain a generating system of its kernel. As a corollary, bounds on the codimension of fold maps from real projective spaces to Euclidean space are calculated and the rank of a singular bordism group is determined.