# Tagged Questions

**0**

votes

**1**answer

109 views

### On separable field extensions [closed]

Let $F\subseteq K$ be a finite separable field extension with $a_1,..., a_n$ an $F$-basis for $K$. Is it true that the matrix $A := [\mbox{tr}(a_ia_j)]$ is non-singular ?

**2**

votes

**0**answers

68 views

### Subfields $k\subseteq F\subseteq k(x_1,\dots,x_n)$. Is then $F\cap k[x_1,\dots,x_n]=k(f_1,\dots,f_m)\cap k[x_1,\dots,x_n]$ for polynomials $f_i$?

Let $F\subseteq k(x_1,\dots,x_n)$ be a subfield with $k\subseteq F$. I know that $F=k(\psi_1,\dots,\psi_r)$ for rational functions $\psi_i\in k(x_1,\dots,x_n)$. I'm interested in the intersection ...

**1**

vote

**0**answers

96 views

### Complementation in an extension field

If $E$ is an extension field of $F$, is $F$ necessarily (without assuming the axiom of choice) complemented as a vector subspace of $E$? (Of course the answer is easily yes if the extension is ...

**1**

vote

**0**answers

359 views

### Existence of algebraic closure and Axiom of choice [duplicate]

Possible Duplicates:
Is the statement that every field has an algebraic closure known to be equivalent to the ultrafilter lemma?
algebraic closure of commuting pairs of matrices
we need ...

**4**

votes

**1**answer

188 views

### Heisenberg-type groups over rings with involution

Hello everyone!
In a paper "Coverings of twisted Chevalley groups over commutative rings" Eiichi Abe intoroduced the following construction:
Let $R$ be a commutative ring and $x\mapsto\overline{x}$ ...

**18**

votes

**2**answers

442 views

### non-isomorphic stably isomorphic fields

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

**2**

votes

**0**answers

192 views

### is exponential diophantine over Qp

Thanks to Matiyasevic, we all know that exponential is diophantine over the integers. Also, thanks to transcendental number theory, we know that exponential is not diophantine over the rationals. So ...

**10**

votes

**2**answers

618 views

### Constructing the surreal numbers as iterated Hahn series

A theorem due to N. Alling (Foundations of Analysis over Surreal Number Fields, §6.55) states that the surreal numbers are isomorphic, as an ordered and valued field, to the field of Hahn series with ...

**5**

votes

**2**answers

413 views

### Given 2 towers of fields, when are these fields isomorphic?

Let $F_0 \subset F_1 \subset F_2 \subset \cdots$ and $K_0 \subset K_1 \subset K_2 \subset \cdots$ be two towers of fields. Also, let $F = \cup_{i=0}^\infty F_i$ and $K = \cup_{i=0}^\infty K_i$.
Now ...

**2**

votes

**1**answer

195 views

### Isomorphism problem for finite dimensional central division algebras over a function field in two indeterminates.

Let K be the fraction field of C[x,y] where C denotes the complex numbers.
Suppose D and E are two central division algebras over K of degree n, i.e. dim(D)=dim(E)=n^2.
Is there any natural criterium ...

**15**

votes

**12**answers

2k views

### Constructions unique up to non-unique isomorphism

1) Fields have algebraic closures unique up to a non-unique isomorphism.
2) Nice spaces (without base point) have universal covering spaces unique up to a non-unique isomorphism.
3) Modules have ...

**5**

votes

**3**answers

881 views

### Is there a field which is the union of finitely many proper subfields?

Is there a field which is the union of finitely many proper subfields?

**11**

votes

**2**answers

588 views

### Which commutative groups are the group of units of some field?

Inspired by a recent question on the multiplicative group of fields. Necessary conditions include that there are at most $n$ solutions to $x^n = 1$ in such a group and that any finite subgroup is ...

**31**

votes

**3**answers

4k views

### transcendental Galois theory

Suppose we define an arbitrary field extension $K/F$ to be Galois if, for all subextensions $L$ of $K/F$, we have $K^{\operatorname{Aut}(K/L)} = L$. In words: for any element $x$ of $K \setminus L$, ...

**64**

votes

**11**answers

3k views

### Can a non-surjective polynomial map from an infinite field to itself miss only finitely many points?

Is there an infinite field $k$ together with a polynomial $f \in k[x]$ such that the associated map $f \colon k \to k$ is not surjective but misses only finitely many elements in $k$ (i.e. only ...