I was writing a question, it became too long, and i decided to split it into two parts. I hope posting two questions at the same time is not a problem.
First question: Checking flat- and smoothness: enough to check on closed points?
Now let $f: X \rightarrow Y$ be a morphism of varieties.
If $f$ is smooth of relative dimension 0, i.e. étale, its preimage of a point should be a 0-dimensional regular scheme, i.e. a collection of points. But a zero dimensional union of varieties (i.e. a zero-dimensional scheme that is a variety except that integral is replaced by reduced) always has a finite set as space, right? So
Am i correct to say that fibers of étale morphisms are always finite, i.e. étale implies quasi-finite?
Moreover, i understood that étale morphisms are not always finite, so to finish the picture could you give an example of a non-finite étale morphism?
Thanks a lot!
PS tag "complex-geometry" is included since i'm happy to assume $k=\mathbb{C}$.