Mathematics Asked on January 7, 2022

Let $Y$ be a connected normal Noetherian scheme, $f: Xto Y$ is an etale morphism of finite type. We assume $X$ is also connected. I have proved that in this case, $X$ is also normal. Denote the functional field of $Y$ and $X$ by $K(Y)$ and $K(X)$. Then $K(X)$ is a finite separable extension of $K(Y)$. Let $widetilde{Y}$ be the normalization of $Y$ in $K(X)$. Since $X$ is normal and f is dominant, by universal property of normalization, we could get a map $g:Xto widetilde{Y}$. My question is

Why g is birational?

In general, $g$ is not birational. So I guess, in this case, $g$ is birational because $f$ is etale. But I do not know how to prove it. Could you tell me how to prove it or where I could find a proof?

Get help from others!

Recent Answers

- Peter Machado on Why fry rice before boiling?
- Jon Church on Why fry rice before boiling?
- Joshua Engel on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?
- haakon.io on Why fry rice before boiling?

Recent Questions

- How can I transform graph image into a tikzpicture LaTeX code?
- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP