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

Filter by
Sorted by
Tagged with
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. ...
Yijun Yuan's user avatar
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 ...
Oblomov's user avatar
  • 2,501
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\...
Martin Clever's user avatar
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?
Invictus's user avatar
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\...
Thomas's user avatar
  • 2,691
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 ...
sofia's user avatar
  • 51
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 ...
R Artur's user avatar
  • 11
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 ...
Eric's user avatar
  • 61
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 ...
Andre Kornell's user avatar
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$) ?
zzp's user avatar
  • 53
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 ...
Weier's user avatar
  • 151
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. ...
Madeleine Birchfield's user avatar
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 ...
THC's user avatar
  • 4,313
-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 ...
user237522's user avatar
  • 2,783
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}(...
user237522's user avatar
  • 2,783
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 $...
user237522's user avatar
  • 2,783
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 ...
user237522's user avatar
  • 2,783
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 ...
mtheorylord's user avatar
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 ...
Sam Forster's user avatar
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}(...
Rami's user avatar
  • 2,571
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 $...
Sky's user avatar
  • 913
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 ...
Béla Fürdőház 's user avatar
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}}/\...
THC's user avatar
  • 4,313
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 ...
User's user avatar
  • 121
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$...
Sky's user avatar
  • 913
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 ...
joaopa's user avatar
  • 3,657
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 ...
Z Wu's user avatar
  • 340
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 ...
interstice's user avatar
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)$ ...
THC's user avatar
  • 4,313
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}...
Tito Piezas III's user avatar
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 ...
M. Karatarakis's user avatar
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 ...
THC's user avatar
  • 4,313
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{...
THC's user avatar
  • 4,313
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)$ ...
Noah Schweber's user avatar
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 ...
Menander I's user avatar
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 ...
Ali Taghavi's user avatar
-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 ...
Yoav Len's user avatar
  • 147
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 ...
Tito Piezas III's user avatar
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; ...
Madeleine Birchfield's user avatar
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 ...
Boaz Moerman's user avatar
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 ...
Martin Brandenburg's user avatar
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 ...
Bernhard Boehmler's user avatar
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 ...
Spencer Dembner's user avatar
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 ...
THC's user avatar
  • 4,313
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 ...
THC's user avatar
  • 4,313
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}$ ...
Thomas Preu's user avatar
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 ...
Gro-Tsen's user avatar
  • 29.8k
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 ...
Florian Felix's user avatar
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 ...
LSt's user avatar
  • 203
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 ...
THC's user avatar
  • 4,313

1
2 3 4 5
12