MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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}}$.

share|cite|improve this question

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)$.)

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.