Skip to main content
deleted 5 characters in body
Source Link
user14449
  • 371
  • 1
  • 9

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$$f(y) = x$, 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.

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.

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(y) = x$, 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.

Source Link
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.