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?
1 Asked on January 7, 2022 by lww
1 Asked on January 7, 2022 by ruby-cho
3 Asked on January 7, 2022 by lucas-g
numerical linear algebra ordinary differential equations proof explanation robotics
1 Asked on January 7, 2022 by kaba
1 Asked on January 5, 2022
3 Asked on January 5, 2022
algebra precalculus egyptian fractions elementary number theory factoring quadratics
4 Asked on January 5, 2022 by truth-seek
3 Asked on January 5, 2022
1 Asked on January 5, 2022
1 Asked on January 5, 2022
1 Asked on January 5, 2022 by confuse_d
2 Asked on January 5, 2022 by unreal-engine-5-coming-soon
1 Asked on January 5, 2022
0 Asked on January 5, 2022 by medo
fourier analysis fourier transform harmonic analysis real analysis
0 Asked on January 5, 2022 by bachamohamed
1 Asked on January 5, 2022 by jonathan-x
definite integrals improper integrals integration laplace transform
Get help from others!
Recent Questions
Recent Answers
© 2023 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP