Questions tagged [fields]
Fields as algebraic objects. For vector and tensor fields, use eg. [dg.differential-geometry]. For physical fields, use eg. [mp.mathematical-physics] or [quantum-field-theory].
558
questions
2
votes
0
answers
61
views
On the closed subring of valuation rings
Let $(K,v)$ be a (not necessarily discrete) valued field of characteristic $p$ with valuation ring $\mathcal{O}$ and residue field $k$. We endow $K$ and $\mathcal{O}$ with the valuation topology. ...
2
votes
1
answer
88
views
Does a polynomial $P(X,Y)$ that specializes to a polynomial $P(x_0,Y)$ with distinct roots in $\overline{k}$ have distincts roots in $\overline{k(X)}$
Let $k$ be a field, $P\in k[X][Y]$ be a monic polynomial of degree $n$ in $Y$.
I am looking for a simple proof of the following fact.
"If there exists $x_0\in k$ such that $P(x_0,Y) \in k[Y]$ has ...
0
votes
0
answers
103
views
Generalization of SVD algorithm
Let $K$ be a field, $A\in K^{n\times m}$ and $\lVert \cdot \rVert$ the Euclidean norm. Consider the problem: Find a $v\in K^m$ such that
\begin{align}
\lVert Av\rVert=\min_{\lVert x\rVert=1}\lVert Ax\...
0
votes
0
answers
97
views
Can a definable group of definable automorphisms of a field contain the Frobenius automorphism?
Let $K$ be an infinite definable field of characteristic $p >0$ in a certain theory $T$ with a definable group of definable automorphisms. Can this group contain the Frobenius automorphism?
6
votes
1
answer
157
views
Constructing countable threelds of finite dimension
A threeld is a generalization of a field, with three operations, such that the $F$ is a field with respect to the first (outer) and second (middle) operations (call it the outer field), and $F\...
5
votes
2
answers
437
views
When adding several $\sqrt[n]{p}$ to the rational numbers, what is the degree of field extension?
When adding several $\sqrt[n]{p}$ to the rational numbers, what is the degree of field extension?
For example, does $[\mathbb{Q}(\sqrt[n]{2},\sqrt[m]{3}):\mathbb{Q}]=mn$ hold true? Are there more ...
1
vote
0
answers
86
views
Select random point on elliptic curve
If I have an elliptic curve $E$ over some finite field $F_p$ what is a step by step algorithm to pick a random point that lays on this curve? There is definitely a naive approach to brute force all ...
6
votes
0
answers
392
views
Extensions of p-adic number fields
Let $p$ be a prime number and $\mathbb{Q}_p$ be the $p-$adic rational field. Let $E/\mathbb{Q}_p$ be a fixed finite extension. On this site, I define a finite extension $F/E$ to be "good" if ...
3
votes
0
answers
69
views
Locally compact rings with reciprocals
A topological field is defined to be a topological ring $F$ with reciprocals such that the reciprocal function $F\setminus\{0\} \to F\setminus\{0\}$ is continuous. Locally compact topological fields ...
5
votes
2
answers
301
views
Can every finitely generated field extension of $\mathbb{Q}$ be embedded into a local field?
Let $K$ be a finitely generated field extension of $\mathbb{Q}$, and let $p$ be a prime number. Can $K$ must be embedded into a p-adic local field (i.e. a finite field extension of $\mathbb{Q}_p$) ?
5
votes
1
answer
473
views
General algebraic result obtained from consideration on $\mathbb{Q}_p$
There are results in field theory which are obtained from, let's say, the complex numbers and then generalized to all algebraically closed fields.
For instance, the fact that a polynomial $P$ admits a ...
8
votes
1
answer
185
views
Sequential colimit of iterated quotients of Cauchy sequences
We work in constructive mathematics.
The sets and functions in the foundations form a Grothendieck topos, which means that all colimits exist, and in particular, that all sequential colimits exist. ...
4
votes
1
answer
175
views
Subfields of division rings of degree $2$ which are not invariant
Let $A$ be a noncommutative division ring, and let $B$ be a sub division ring (here, $B$ is allowed to be commutative) of degree $2$. Are there easy examples known for which $B$ is not globally fixed ...
-1
votes
1
answer
289
views
Must 'special' $u,v \in \mathbb{C}[x,y]$ be symmetric polynomials?
The idea for the following question came from Joachim König's last comment appearing
here, namely, the example with $u=x+y^3,v=x^3+y$.
Let $u,v \in \mathbb{C}[x,y]-\mathbb{C}$. Denote by $\alpha$ the ...
0
votes
1
answer
134
views
$k(F_i)_{i=1}^{n}=k(G_j)_{j=1}^{m}$ iff there exist $a_i,b_j \in k$ such that $\langle F_i-a_i \rangle_{i=1}^{n} = \langle G_j-b_j \rangle_{j=1}^{m}$
Let $k$ be an algebraically closed field of characteristic zero, for example $k=\mathbb{C}$ and let $F_1,\ldots,F_n,G_1,\ldots,G_m \in \mathbb{C}[x,y]$, $n,m \in \mathbb{N}-\{0\}$.
Claim:
$\mathbb{C}(...
0
votes
1
answer
132
views
$\mathbb{C}(u(x,y),v(x,y),f(x)+g(y))=\mathbb{C}(x,y)$ implies $\mathbb{C}(u(x,y),v(x,y))=\mathbb{C}(x,y)$?
The following question is a direct continuation of this question:
Let $u,v \in \mathbb{C}[x,y]$.
Assume that for every $f \in \mathbb{C}[x]$ and every $g \in \mathbb{C}[y]$ (excluding the cases where $...
4
votes
1
answer
234
views
If $\mathbb{C}(u(x,y),v(x,y),f(x))=\mathbb{C}(x,y)$, for every $f(x) \in \mathbb{C}[x]-\mathbb{C}$, then already $\mathbb{C}(u,v)=\mathbb{C}(x,y)$?
The following question is a direct continuation of this elaborate question; it is mentioned there at the end:
Let $u,v \in \mathbb{C}(x,y)$ or $u,v \in \mathbb{C}[x,y]$, if it is easier to answer in ...
2
votes
1
answer
182
views
Chinese remainder theorem for composition
Let $f(x) \in F_p[x]$ and I know $f(x)$ modulo two polynomials $\phi_1(x)$ and $\phi_2(x)$. What sort of information about $f$ modulo the composition $\phi_1(\phi_2(x))$ can I recover?
I'm looking ...
6
votes
1
answer
228
views
If degree $N$ polynomials always have a root, does there still exist an irreducible polynomial of degree $N+1$?
Given that $F$ is a field, let $F_n$ be the completion of $F$ with respect to roots of degree $n$ polynomials. For example this would make $\mathbb{Q}_2$ the field of (ruler and compass) constructible ...
4
votes
1
answer
210
views
Finiteness of number of extensions with bounded degree and discriminant
Fix natural numbers $d,N$ and a polynomial $\Delta \in \mathbb{C}[x_1,\ldots,x_d]$. Let $S_{d,N}$ be the set of field extensions $K/ \mathbb{C}(x_1,\ldots,x_d)$ such that
The degree $[K: \mathbb{C}(...
3
votes
1
answer
695
views
irreducibility of the polynomial $ x^4 +1 $
Let $K$ be a field. We consider the polynomial $f(x) = x^4 + 1$. It is known that $f(x)$ is irreducible over $\mathbb{Q}$ but reducible over any finite field. Thus $ f(x)$ is reducible over any field $...
1
vote
0
answers
212
views
Results that hold for the complex numbers but not for algebraically closed fields of characteristic zero
When a result is stated for the field of complex numbers it can usually be extended to a result for an algebraically closed field of characteristic zero. I would like to see a list of results that ...
2
votes
1
answer
387
views
Algebraically closed fields with only finite orbits
The automorphism groups $\mathrm{Gal}(\overline{\mathbb{F}_q}/\mathbb{F}_q)$ of algebraic closures of finite fields $\mathbb{F}_q$ and the absolute Galois group $\mathrm{Gal}(\overline{\mathbb{Q}}/\...
1
vote
0
answers
106
views
Interplay between additive and multiplicative characters of fields
Let $F$ be a countable field. Given a double Folner sequence $(F_N)_{N\in \mathbb{N}}$ in $F$, an additive character $\chi$ (i.e. $\chi: F \to \mathbb{S}_1$ satisfies $\chi(u+v)=\chi(u)\chi(v)$, for ...
0
votes
1
answer
135
views
Not containing $ 2^{i}$-th primitive roots of unity in cyclic galois extension of number field
Suppose $K$ is an algebraic number field. We want to determine whether, for all even $n$, there always exists a cyclic Galois extension $L$ of degree $n$ over $K$ such that the intermediate field $K_2$...
0
votes
0
answers
43
views
Transcendence of functions and change of field of definition
Suppose the one has a sequence of rational functions $Q_n(z)\in\mathbb Q(z)$. Let $p$ be a prime number. Suppose that that there exists an infinite subset $X$ of $\mathbb Q_p$ such that:
the ...
2
votes
0
answers
112
views
Can global fields be defined as certain topological fields like local fields?
It's known that local fields can be defined as a non-discrete, Hausdorff (equivalently non-indiscrete), locally compact, topological field, which is the same as non-trivial (i.e. neither discrete nor ...
6
votes
0
answers
138
views
Proof of Theorem Concerning Conway's "Nim Field"
I have a question about the proof of theorem 44 in "On Numbers and Games" on page 58, concerning the "Nim field" ${ON}_2$. As background, ${ON}_2$ turns the ordinals into a field ...
1
vote
0
answers
49
views
Galois action on blow-ups related to field extensions of infinite degree
Let $f(X) \in k[T]$ be irreducible over the field $k$, and separable of finite degree $n$. Then if $\ell$ is the corresponding field extension, we know by Galois theory that $\mathrm{Gal}(\ell/k)$ ...
1
vote
1
answer
91
views
On reducing degree-$12$ equations with Mathieu group $M_{11}$ to its degree-$11$ resolvent?
The general $4$-deg and some $8$-deg (such as the Schein octic) when a linear transformation is done so their $x^{n-1}$ term vanishes can have a neat solution as,
$$x = \sqrt{z_1}+\sqrt{z_2}+\sqrt{z_3}...
1
vote
0
answers
148
views
The map from the decomposition group to the Galois group of the residue fields
$\DeclareMathOperator\Gal{Gal}$Let $L/K$ be a Galois field extension. Let $L$ be a field and $K$ be a number field. Let $B$ be a valuation subring of $L$ and let $A$ be the preimage of $B$ in $K$ (i.e ...
6
votes
1
answer
477
views
Automorphisms of algebraically closed fields without the Axiom of Choice
In the paper Algebraische Konsequenzen des Determiniertheits-Axioms (U. Felgner – K. Schulz, Arch. Math. (Basel) 42 (1984), pp. 557–563), the authors show that in models of Zermelo-Fraenkel set theory ...
4
votes
1
answer
308
views
Automorphisms of vector spaces and the complex numbers without choice
In Zermelo-Fraenkel set theory without the Axiom of Choice (AC), it is consistent to say that there are models in which:
there are vector spaces without a basis;
the field of complex numbers $\mathbb{...
11
votes
0
answers
279
views
Can every "not-too-big" differential field be thought of as actually consisting of functions?
Previously asked and bountied at MSE without success:
Let $\sim$ denote the "no-disagreement" relation between partial functions: $f\sim g$ iff there is no $x$ such that $f(x)$ and $g(x)$ ...
0
votes
0
answers
27
views
Alternative equivalence results for the constructibility of real numbers
Everyone is aware of the standard result from undergraduate field theory that a real number $\alpha$ is constructible by straightedge and compass if and only if there exists a finite sequence of field ...
1
vote
0
answers
93
views
The asymptotic growth of codimension of range of polynomial differential equation on finite fields
Inspired by the seminal paper of Andre Weil on the number of solutions of equations on finite fields we would like to present the following question:
Let $P(x,y), Q(x,y)$ be two polynomials of ...
-2
votes
1
answer
120
views
Finite normal extensions
Suppose that $K$ is a finite field extension of $F$. Is the following equivalent to the extension being normal?
If $L$ is an extension of $K$ and $\sigma:K\to L$ fixes $F$, then $\sigma(K) = K$.
I ...
5
votes
1
answer
266
views
Transforming the Kondo quintic $5T2$ into the Lehmer quintic $5T1$?
I. Kondo-Brumer quintic
The deceptively simple solvable quintic,
$$x^5 + (a - 3)x^4 + (-a + b + 3)x^3 + (a^2 - a - 1 - 2b)x^2 + b x + a=0$$
is quite important for imaginary quadratic fields. For ...
4
votes
3
answers
422
views
The field structure on the locale of real numbers
It is well known how to derive the field operations from the construction of the real numbers as the Dedekind completion of the rational numbers and as the Cauchy completion of the rational numbers; ...
6
votes
2
answers
204
views
For which fields $k$ with $k^\times$ not $p$-divisible, does there exist finite $l/k$ such that $l^\times$ is $p$-divisible?
Is there a prime $p$ and a field $k$, not real closed, with $k^\times$ not $p$-divisible, such that there exists a finite extension $l/k$ such that $l^\times$ is $p$-divisible?
This question came up ...
27
votes
1
answer
2k
views
A simple proof of the fundamental theorem of Galois theory
Update. It's now on the arXiv.
Some time ago I found my "own" proof of the fundamental theorem of Galois theory. You can find a pdf with the proof (link removed, see arXiv). It is quite ...
2
votes
0
answers
93
views
Question concerning relationships between different $p$-modular systems and Brauer character values
Let $(K,\mathcal{O},k)$ be a large enough $p$-modular system, where $\mathcal{O}$ is a complete discrete valuation ring of characteristic zero with unique maximal ideal $J(\mathcal{O})$, algebraically ...
11
votes
1
answer
565
views
PAC and totally real fields
A field $K$ is called pseudo-algebraically closed (PAC) if every absolutely irreducible variety over $K$ has a $K$-point. Let $L$ be the maximal totally real subfield of $\overline{\mathbb Q}$. A few ...
5
votes
1
answer
272
views
The map $k \mapsto \mathbf{PGL}_2(k)$
Consider the map $\zeta: \{ \mbox{division rings} \} \mapsto \{ \mbox{groups} \}: k \mapsto \mathbf{PGL}_2(k)$.
Is this map known to be an injection - in other words, if $k$ and $k'$ are nonisomorphic ...
2
votes
1
answer
195
views
Minor Lefschetz principle
I once read (I think) the following equivalent formulation of the Minor Lefschetz principle:
If an elementary sentence holds for one algebraically closed field,
then it holds for every algebraically ...
1
vote
1
answer
205
views
Fields with restrictions on their finite extensions: Given $n\in\mathbb{N}_{>1}$ which fields $F$ do not have extensions of degree $n$?
$\DeclareMathOperator\char{char}$This question is inspired by the MSE question Example of a non-algebraically closed field without quadratic extensions. To repeat:
Given $n\in\mathbb{N}_{>1}$ ...
5
votes
0
answers
257
views
Reference for countable and uncountable algebraic closures of $\mathbb{Q}$ in ZF
The following facts seem to be part of the folklore (where $\mathsf{ZF}$ means Zermelo-Fraenkel set theory with no axiom of choice):
it is consistent with $\mathsf{ZF}$ that there exists an ...
2
votes
1
answer
227
views
Example of a bounded imperfect PAC field that is not separably closed
How do you construct a bounded (meaning there are only finitely many separable finite extensions of any given degree) imperfect pseudo-algebraically closed field that is not separably closed? I assume ...
7
votes
1
answer
262
views
Does the choice of the algebraically closed field of characteristic $p$ have influence on the module category?
Let $G$ be a finite group and $p$ be a prime number dividing $|G|$.
Let $k$ be the algebraic closure of $\mathbb{F}_p$.
Let $K$ be another algebraically closed field of characteristic $p$ which is not ...
5
votes
0
answers
222
views
Is the group $\mathrm{Gal}(\mathbb{C}/\overline{\mathbb{Q}})$ known?
The automorphism group of the complex numbers $\mathbb{C}$ and the Galois group $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ are amongst the most mysterious and worst understood objects in Galois ...