Skip to main content
1 of 2
user14449
  • 371
  • 1
  • 9

Definition of etale neighbourhood

In Milne's EC, he defines an etale neighbourhood of a point $x \in X$ by a pair $(Y,y)$ with an etale morphism $f: Y \to X$ where $f^{-1}(x) = y$, such that $k(x) = k(y)$.

What I don't understand is this last condition. Is there an intuitive reason why this condition is necessary? Explanations are welcome, although examples would be more appreciated.

user14449
  • 371
  • 1
  • 9