## Finding purely transcendental parts of field extensions

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

If we have a field $K$ such that $K\cong K(t)$ (i.e. it is isomorphic to the field you get if you adjoin one transcendental) then is there necessarily a subfield $L\lt K$ such that $L\ncong L(t)$ and $K$ is a purely transcendental extension of $L$?

The basic idea is that if we have something like $K={\mathbb Q}(u_i,t_i^{1/2^n})_{i,n\in\mathbb N}$ then we are looking for the field ${\mathbb Q}(t_i^{1/2^n})_{i,n\in{\mathbb N}}$.

-

## 1 Answer

I don't know if this is a counterexample or not, but what would you do if $K$ is the field of fractions of the monoid ring $R = \mathbb{Z}[\prod_{i=1}^\infty \mathbb{N}]$? ($R$ is an integral domain because of the lexicographic ordering on the monoid, and $R[t] \cong \mathbb{Z}[\mathbb{N}\times \prod_{i=1}^\infty \mathbb{N}] \cong R$. Note $K$ is the same as the field of fractions of the group ring $\mathbb{Z}[\prod_{i=1}^\infty \mathbb{Z}]$. Baer proved that $\prod_{i=1}^\infty \mathbb{Z}$ is not free, but I don't know if this rules out the possibility of a transcendence basis for $K$ over $\mathbb{Q}$, let alone over any other $L$ satisfying $L\not\cong L(t)$.)

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 19, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9139341115951538, "perplexity_flag": "head"}