# Isomorphism of an extension field of a field of finite transcendence degree

The following is the proposition (1.4) of Mumford's book Algebraic Geometry

If $\mathbb C$ has infinite transcendence degree over $k$, then every variety has a $k$-generic point.

In the proof

Then $L$ is an extension field of $k$ of finite transcendence degree. But any such field is isomorphic to a subfield of $\mathbb C$. i.e. there exists a monomorphism $\phi : L \rightarrow {\mathbb C}$.

Is any extension field of $k$ of finite transcendence degree isomorphic to a subfield of $\mathbb C$ ? If so, how do you prove it.

Assume the transcendence degree of $L$ is equal to $n$, and choose $n$ algebraically independent elements $\xi_1,...,\xi_n \in \Bbb C \setminus k$. We have an isomorphism $$k(X_1,...,X_n) \cong k(\xi_1,...,\xi_n) \subset \Bbb C.$$ Now by definition, $L$ is a finite algebraic extension of $k(X_1,...,X_n)$, hence isomorphic to a finite algebraic extension $L'$ of $k(\xi_1,...,\xi_n) \subset \Bbb C$. But every such $L'$ is necessarily contained in $\Bbb C$, and we are done.
{"ft_lang_label":"__label__en","ft_lang_prob":0.778065,"math_prob":0.999762,"size":524,"snap":"2022-05-2022-21","text_gpt3_token_len":141,"char_repetition_ratio":0.13461539,"word_repetition_ratio":0.11627907,"special_character_ratio":0.25381678,"punctuation_ratio":0.116504855,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000018,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-05-20T23:26:31Z\",\"WARC-Record-ID\":\"<urn:uuid:79371af8-95ec-4760-82e7-5aea7e221886>\",\"Content-Length\":\"220889\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:a33823a5-8263-4f9a-a783-f551f7aa8b2a>\",\"WARC-Concurrent-To\":\"<urn:uuid:bb367b1e-1e17-42a5-b41d-5e699709fecc>\",\"WARC-IP-Address\":\"151.101.129.69\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/702977/isomorphism-of-an-extension-field-of-a-field-of-finite-transcendence-degree\",\"WARC-Payload-Digest\":\"sha1:434G5WMJWTMCU3R4VLIVN67BJF4Q37F4\",\"WARC-Block-Digest\":\"sha1:RST74ORJRMPYRQINXBQVE4E5CVLEWGKJ\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-21/CC-MAIN-2022-21_segments_1652662534693.28_warc_CC-MAIN-20220520223029-20220521013029-00429.warc.gz\"}"}