Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Q1: What is the simplest example of two non-isomorphic fields $L$ and $K$ of characteristic $0$ such that $L(x)\simeq K(x)$ (here $x$ is an indeterminate)?

Q2: Do we have a sufficient criterion for a general field $K$ of characteristic $0$ which guarantees that if $K(x_1,\ldots,x_n)\simeq L(x_1,\ldots, x_n)$ (here $L$ is a field and the $x_i$'s are indeterminates) then $K\simeq L$?

share|improve this question
    
Just a comment: The question $R[x] \cong S[x] \Rightarrow R \cong S$ has been studied in the literature since the 70s (google for "isomorphic polynomial rings" or see math.stackexchange.com/questions/13504); Hochster has constructed counterexamples. On the other hand, this is true for fields (consider units). So in Q1, we cannot expect $L[x] \cong K[x]$ to hold. By the way: 1+, since I don't know an example for Q1 at all. –  Martin Brandenburg May 12 '12 at 15:15
1  
Concerning Q2: A sufficient condition is that $K,L$ are algebraic extensions of the prime field. –  Ralph May 12 '12 at 16:26
1  
Here is one possible way of constructing such examples: Let $\iota_1:G\rightarrow S_{n}$ and $\iota_2:G\rightarrow S_{m}$ be two embeddings of a finite group $G$ where $S_k$ denotes the symmetric group of degree $k$. Let $K_n$ be the field of rational functions over $\mathbf{Q}$ in $n$ variables then it is easy to see that $K_n^{\iota_1(G)}$ and $K_{m}^{\iota_2(G)}$ are stable isomorphic, but in general I don't see any reason why they should be isomorphic. Of course one needs to choose the group $G$ carefully since for "many" $G$'s $K_n^{\iota_1(G)}$ will always be purely transcendental. –  Hugo Chapdelaine May 12 '12 at 17:50
    
Thanks Ralph for the answer, yes indeed, an isomorphism takes algebraic elements over the prime field to algebraic elements over the prime field. –  Hugo Chapdelaine May 12 '12 at 17:57
1  
I don't know if it's of practical help, but $K(x) \cong L(x)$ implies $K \cong L$ iff there is an isomorphism $K(x) \xrightarrow[]{\sim} L(x)$ that maps a transcendence base of $K|F$ onto a transcendence base of $L|F$ (where $F$ denotes the prime field). –  Ralph May 12 '12 at 20:43

2 Answers 2

up vote 13 down vote accepted

I don't think that there are any really easy examples. In the famous paper of Beauville, Colliot-Thélène, Sansuc and Swinnerton-Dyer "Variétés stablement rationnelles non rationnelles" they construct surfaces $S$ over $\mathbb Q$ that are not rational, but such that the products $S \times \mathbb P^3$ are rational. You get an example by taking $K$ to be a purely transcendental extension of the function field of $S$ of transcendence degree $d$, and a purely transcendental extension of $\mathbb Q$ of transcendence degree $d+2$, for some $d$ between $0$ and $3$ (I don't know the correct value of $d$).

share|improve this answer
    
Is this really the simplest example? –  Martin Brandenburg May 12 '12 at 19:48
2  
It's the simplest example I know, which does not mean much. –  Angelo May 12 '12 at 20:24
    
Silly question: what is wrong with the example $K=\mathbb{Q}$ and $L=\mathbb{Q}(x)$? –  Mahdi Majidi-Zolbanin May 14 '12 at 4:20
    
@Mahdi: Well, $K(t) \not\cong L(t)$. –  Martin Brandenburg May 14 '12 at 14:53
    
@Martin: I see. What I had in mind was to say $K(x)\cong L(x)$ (same $x$ as in $L=\mathbb{Q}(x)$), but I see now, $x$ is not an indeterminate over $\mathbb{Q}(x)$. Thanks! –  Mahdi Majidi-Zolbanin May 14 '12 at 15:38

An answer to Q2, generalizing Ralph's comment: "$K$ is algebraically closed" is a sufficient condition. Indeed, you can characterize $K$ inside $K(x_1,\dots,x_n)$ as the set of elements having $m$-th roots for infinitely many integers $m$. More generally, it is enough to assume that for some $m>1$, the $m$-th power map on $K$ is onto. Examples: $K$ perfect of positive characteristic, or $K=\mathbb{R}$.

share|improve this answer

Your Answer

 
discard

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.