## non-isomorphic stably isomorphic fields

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

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$?

-
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 2012 at 15:15

1
Concerning Q2: A sufficient condition is that $K,L$ are algebraic extensions of the prime field. – Ralph May 12 2012 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 2012 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 2012 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 2012 at 20:43
show 5 more comments

## 2 Answers

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

-
Is this really the simplest example? – Martin Brandenburg May 12 2012 at 19:48

2
It's the simplest example I know, which does not mean much. – Angelo May 12 2012 at 20:24
Silly question: what is wrong with the example $K=\mathbb{Q}$ and $L=\mathbb{Q}(x)$? – Mahdi Majidi-Zolbanin May 14 2012 at 4:20
@Mahdi: Well, $K(t) \not\cong L(t)$. – Martin Brandenburg May 14 2012 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 2012 at 15:38

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

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

-
{"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": 63, "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.3, "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.914821207523346, "perplexity_flag": "head"}