Definition of étale morphism in Mumford I am trying to understand the definition of étale morphism in Mumford Chapter III Section 5, which I find confusing. I would appreciate any clarifications.
A morphism $f: X \to Y$ of finite type is étale, if for all $x \in X$, there are open neighbourhoods $U \subset X$ of $x$ and $V \subset Y$ of $f(x)$ such that $f(U) \subseteq V$ and such that $f$ restricted to $U$ looks like:
$$
\begin{array}
&U  & \xrightarrow{\text{open immersion}}  &\operatorname{Spec}R[X_1, .., X_n]/(f_1, ..., f_n) \\
\downarrow\rlap{\scriptstyle\text{res} \, f} & & \quad\downarrow{} \\
V & \xrightarrow{\phantom{open immersion}}  & \operatorname{Spec} R
\end{array}
$$
where $\det (\partial f_i/ \partial x_j) (x) \neq 0$.

*

*What is the map $V \to \operatorname{Spec} R$? In particular, does this have to be an open immersion as well?


*How do I make sense of $\det (\partial f_i/ \partial x_j) (x)$?
Thank you.
 A: The intention is that $V=\operatorname{Spec} R$, as you can see by consulting other sources (i.e., Stacks). (Even if it's only an open immersion, you can take an open affine neighborhood of the image of $x$ contained in the affine open and then refine the statement.) The goal here is to define an etale morphism as one that affine-locally looks like a map of schemes induced by an etale morphism of rings.
The condition that $\det(\partial f_i/\partial x_j)\neq 0$ is the condition that the morphism $\operatorname{Spec} R[X_1,\cdots,X_n]/(f_1,\cdots,f_n)\to\operatorname{Spec} R$ is smooth of relative dimension zero at $x$.
There are famously many different ways to formulate the definition etale morphism, and if you're really interested in exploring the concept, you should endeavor to do a little work with a number of these charaterizations. For instance, a lemma a little later on in the first link from Stacks gives 10 equivalent characterizations. This question provides a good number of examples to work with, and the essential intuition is that an etale morphism should look like a map from a covering space in topology - making this precise is interesting for us in algebraic geometry, since our spaces have more structure that we have to think about.
