  We study the maximal multiplicity locus of a variety $X$ over a field of
characteristic $p>0$ that is provided with a finite surjective radical morphism
$\delta:X\rightarrow V$, where $V$ is regular, for example, when
$X\subset\mathbb{A}^{n+1}$ is a hypersurface defined by an equation of the form
$T^{q}-f(x_{1},\ldots,x_{n})=0$ and $\delta$ is the projection onto
$V:=\operatorname{Spec}(k[x_{1},\ldots,x_{n}])$. The multiplicity along points
of $X$ is bounded by the degree, say $d$, of the field extension $K(V)\subset
K(X)$. We denote by $F_{d}(X)\subset X$ the set of points of multiplicity $d$.
Our guiding line is the search for invariants of singularities $x\in F_{d}(X)$
with a good behavior property under blowups $X'\rightarrow X$ along regular
centers included in $F_{d}(X)$, which we call \emph{invariants with the
pointwise inequality property}.
  A finite radicial morphism $\delta:X\to V$ as above will be expressed in
terms of an $\mathcal{O}_{V}^{q}$-submodule
$\mathscr{M}\subseteq\mathcal{O}_{V}$. A blowup $X'\to X$ along a regular
equimultiple center included in $F_{d}(X)$ induces a blowup $V'\to V$ along a
regular center and a finite morphism $\delta':X'\to V'$. A notion of transform
of the $\mathcal{O}_{V}^{q}$-module $\mathscr{M}\subset\mathcal{O}_{V}$ to an
$\mathcal{O}_{V'}^{q}$-module $\mathscr{M}'\subset\mathcal{O}_{V'}$ will be
defined in such a way that $\delta':X'\to V'$ is the radicial morphism defined
by $\mathscr{M}'$. Our search for invariants relies on techniques involving
differential operators on regular varieties and also on logarithmic
differential operators. Indeed, the different invariants we introduce and the
stratification they define will be expressed in terms of ideals obtained by
evaluating differential operators of $V$ on $\mathcal{O}_{V}^{q}$-submodules
$\mathscr{M}\subset\mathcal{O}_{V}$.
