3
votes
1answer
64 views
Recognizing etale covers on the level of function fields
Let $X$ be a connected, integral curve over a field $k$, and let $Y \rightarrow X$ be a finite etale cover. Corresponding to this cover there is a finite extension of function fiel …
3
votes
1answer
137 views
Fields whose embeddings into the complex numbers are invariant under complex conjugation
Is there a general notion/description of fields $K$ such that the image of any embedding $K \hookrightarrow \mathbb{C}$ is invariant under complex conjugation, thus inducing an inv …
2
votes
0answers
57 views
Multiplicative groups in field extensions
If we let $K$ be a number field, thank to the fact that we can extend it integer ring to an UFD where the group of units is finitely generated, we can show that
$K^\ast\cong K^\as …
7
votes
0answers
164 views
Simple automorphism groups of field extensions of infinite transcendence degree
Let $k$ be an algebraically closed field and let $K/k$ be a field extension of infinite transcendence degree where $K$ is algebraically closed. Is it true that $\mathrm{Aut}_k(K)$ …
8
votes
4answers
792 views
The “interplay” between additive and multiplicative structure in a field
A field is an ordered triple $(F, +,\cdot)$ of a set $F$ and binary operations $+,\times$ on $F$ such that $(F,+)$ and $(F\backslash 0,\times)$ are abelian groups satisfying the di …
1
vote
0answers
76 views
Finite extensions of residue fields of Henselian DVRs
Let $K$ be an Henselian discrete valuation field such that its completion is separable over $K$. Let $F$ be its infinite residue field. Is it true that a finite extension of $F$ is …
0
votes
1answer
163 views
How to prove a quadratic equation has at most two roots in first order theory of field [closed]
Consider the first order theory of fields, whose language contains constant symbol $0$ for additive identity, constant symbol $1$ for multiplicative identity, function symbol $A(x, …
1
vote
2answers
232 views
Subfield of rational function field and which is not a rational function field
Let $K = k(x_{1}, x_{2},...,x_{n}), n\geq 2, k$ is a field. Is there exist a subfield of $K$ which is not a rational function field? Thanks.
2
votes
1answer
147 views
Multiple eigenvalues over imperfect fields
Let $K$ be a field. For a matrix $A\in GL_n(K)$ we can find the Jordan normal form $A'$ in $GL_n(\overline{K})$, where $\overline{K}$ is the algebraic closure of $K$. We write $j_\ …
4
votes
1answer
189 views
How does an irreducible polynomial of prime power order split over an extension of prime power degree
I asked this question in a similar form on math.se here, where it has been unanswered for a little over a week some work on it can be found there. The motivation for this question …
1
vote
0answers
57 views
“almost prime” elements in perfect Hahn field
Let $K$ be the field $\mathbb{F_p}^{alg}((\mathbb{Q}))$ (field of Hahn series over
$\mathbb{F_p}^{alg}$ and with value group $\mathbb{Q}$).
Is there elements $x$ of $K$ which are …
4
votes
1answer
379 views
Algorithm for determining whether two polynomials have the same splitting field
This question asks how to tell whether two cubic polynomials with coefficients in $\mathbb{Q}$ have the same splitting field. There are several answers to the question, but they do …
12
votes
2answers
507 views
The Surreal numbers satisfy all the field axioms except that its elements constitute a proper class. Is it safe to call it a field?
Do all the field theorems apply to surreal numbers? If fields were redefined so that their elements were allowed to come from an arbitrary class, would the theory look different to …
1
vote
0answers
82 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 …
25
votes
2answers
732 views
Isomorphic general linear groups implies isomorphic fields?
Suppose $n > 1$ is a natural number. Suppose $K$ and $L$ are fields such that the general linear groups of degree $n$ over them are isomorphic, i.e., $GL(n,K) \cong GL(n,L)$ as gro …

