  The germs of maps $(k^n,o)\stackrel{f}{\to}(k^p,o)$ are traditionally studied
up to the right (R), left-right (A) or contact (K) equivalence. Various
questions about the group-orbits $G f$ are transformed to the tangent spaces,
$T_G f$. Classically this passage was done by vector fields integration, hence
it was bound to the (real/complex) analytic or $C^r$-category.
  The characteristic-free approach to the groups $R,K$ has been developed
during the last decade. The results were still restricted. E.g. one could not
address the (essentially more complicated) $A$-equivalence. Moreover, the
characteristic-free criteria were weaker than those in characteristic zero,
because of the (inevitable) pathologies of positive characteristic.
  In this paper we close these omissions.
  We establish the general (characteristic-free) passage $T_G f\rightsquigarrow
G f$ for the groups $R$, $K,$ $A$. Submodules of $T_G f$ ensure submodules of
$G f$. For the $A$-equivalence this extends (and strengthens) various classical
results by Mather, Gaffney, du Plessis, and others.
  Given a filtration on the space of maps one has the filtration on the group,
$G^{(\bullet)}$, and on the tangent space, $T_{G^{(\bullet)}}$. We establish
the criteria of type "$T_{G^{(j)}}f$ vs $G^{(j)} f$" in their strongest form,
for arbitrary base field/ring, provided the characteristic is zero or high for
a given $f$.
  As an auxiliary step, important on its own, we study the mixed module
structure of the tangent space $T_{A}f$ and establish several properties of the
annihilator ideal $Ann[T^1_{A}f]$.
