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].
563
questions
1
vote
1
answer
668
views
Algebraic closure of $\mathbb{C}(t)$
Let $\mathbb{C}(t)$ be the field of rational functions $f(t) = \frac{p(t)}{q(t)}$ with $p,q\in\mathbb{C}[t]$.
For instance, the function $g(t) = \sqrt{t}$ does not belong to $\mathbb{C}(t)$ but is ...
user114666
12
votes
0
answers
332
views
Metric completion of an algebraically closed field is algebraically closed?
Let $F$ be a complete metric topological field. Suppose there is a subfield $F_1 \subset F$, algebraically closed and topoolgically dense in $F$. Must $F$ itself be algebraically closed?
We can ...
- 40.2k
2
votes
0
answers
206
views
Field whose absolute Galois group is $\mathbb{Z}_p$
Let $L$ be a perfect field. Assume there is an algebraic closure $L\subset \overline{L}$ and a prime $p$ such that $\mathrm{Gal}(\overline{L}/L)\cong \mathbb{Z}_p$ as topological groups.
Is there a ...
- 53
7
votes
1
answer
711
views
Is the Euler–Mascheroni constant an EL-number?
This question is based on Chow - What is a closed-form number?.
The author of the linked paper had proposed a plausible definition of "elementary numbers" (which he calls "EL-numbers&...
- 9,312
3
votes
1
answer
212
views
Absolute Galois group with unique closed non-open subgroup
Is there an absolute Galois group that is not a subgroup of $\hat{\mathbb{Z}}$ and that has one and only one closed non-open subgroup?
- 53
1
vote
1
answer
244
views
"Violent" field isomorphisms and $p$-adic "degrees" of complex numbers
It is known that if $\mathbb{F}, \mathbb{G}$ are two algebraically closed fields with characteristic zero and equal cardinality, then $\mathbb{F}$ and $\mathbb{G}$ are isomorphic as fields. If $\...
- 25.5k
5
votes
0
answers
168
views
Copies of the reals in $\mathbb{C}$ without the Axiom of Choice
Suppose we work in a model in which the Axiom of Choice does not hold, and in which $\mathbb{C}$ only has one nontrivial automorphism (such models exist).
Question: "how many" subfields of $\...
- 4,353
4
votes
0
answers
195
views
Are there any 1-decidable algebraic extensions of $\mathbb{Q}$ which are not decidable?
A model $M$ is decidable if the set of all first-order formulas which are true in $M$ is a recursive set. And a model is $1$-decidable if the set of all existential formulas which are true in $M$ is ...
- 4,529
1
vote
0
answers
84
views
Exponents of powers in cyclotomic extensions
For every number field $K$ and for every $a \in K$ let $$\epsilon(K;a) := \sup\!\left\{e \in \mathbb{N} : \exists b \in K \text{ such that } a = b^e\right\}. $$
Now let $K$ be a number field and let $...
- 11
7
votes
0
answers
332
views
Do algebraic completion/topological completion of fields always terminate? If so, are they unique?
Take the field $\mathbb{Q}$, If we complete it topologically with respect to the Euclidean norm, we get $\mathbb{R}$, then if we complete it algebraically, we get $\mathbb{C}$.
On the other hand, the ...
- 171
4
votes
1
answer
280
views
What is the lowest complexity definition of $\mathbb{Z}$ in an infinite algebraic extension of $\mathbb{Q}$?
In 2009, Jochen Koenigsmann showed that $\mathbb{Z}$ is universally definable in the field $\mathbb{Q}$. And in 2012, Jennifer Park proved a result which implies that $\mathbb{Z}$ is $\exists\forall$-...
- 4,529
27
votes
6
answers
2k
views
Is this theory the complete theory of the real ordered field?
We know that the real ordered field can be characterized up to isomorphism as a complete ordered field. However this is a second order characterization. That raises the following question. Consider ...
- 2,063
8
votes
1
answer
247
views
What is the lowest complexity definition of $\mathbb{Z}$ in an infinite extension of $\mathbb{Q}$
In 2009, Jochen Koenigsmann showed that $\mathbb{Z}$ is universally definable in the field $\mathbb{Q}$. And in 2012, Jennifer Park proved a result which implies that $\mathbb{Z}$ is $\exists\forall$-...
- 4,529
7
votes
2
answers
407
views
Construction of Dedekind reals using higher inductive-inductive types
In the textbook Homotopy Type Theory: Univalent Foundations of Mathematics, the authors give a predicative constructive construction of the initial Cauchy complete reals $\mathbb{R}_C$ in terms of a ...
user173426
6
votes
1
answer
512
views
What is the Galois group of one ultrapower over another ultrapower?
Let $F$ be a field, let $E$ be a field extension of $F$, and let $U$ be an ultrafilter. Then my question is, what is the relationship between the Galois groups $Gal(\Pi_U E/\Pi_U F)$ and $Gal(E/F)$?
...
- 4,529
1
vote
1
answer
93
views
When is a infinite transcendence-degree rigid fields fixed by a finite extension?
A field is rigid if it has no nontrivial automorphisms. Let $F$ be a rigid field which has infinite transcendence degree over $\mathbb{Q}$, and let $E$ be a finite extension of $F$. Then my question ...
- 4,529
4
votes
0
answers
174
views
Products of short elements in a field
Consider a field $F$ of characteristic zero. Let $L=F[\alpha]$ be an extension of degree $d.$ We call an element
$$
x=x_0 + x_1 \alpha +\ldots+ x_{d-1}\alpha^{d-1}\in L
$$
short if $x_{d-1}=0.$
Under ...
- 4,296
7
votes
1
answer
386
views
Hahn’s theorem on ordered fields
There is a theorem attributed to Hahn that every ordered field $F$ containing $\mathbb R$ is a subfield of a formal power series field $\mathbb R[[X^\Gamma]]$, where $\Gamma$ is an ordered abelian ...
- 18.1k
5
votes
1
answer
400
views
Is there a complete characterization of ordered fields without definable proper subfields?
$\mathbb{Q}$ has no proper subfields. As a result, all ordered fields elementarily equivalent to $\mathbb{Q}$ have no proper subfields which are first-order definable without parameters. And by the ...
- 4,529
9
votes
1
answer
691
views
Is every field the residue field of a discretely valued field of characteristic 0?
Let $k$ be a field of positive characteristic $p$. Is there necessarily a discrete valuation ring of characteristic $0$ with maximal ideal $(p)$ and residue field isomorphic to $k$?
- 2,090
7
votes
1
answer
344
views
Inverse Galois problem for non-Galois extensions
The inverse Galois problem asks whether every finite group appears as the Galois group of a Galois extension of the rational numbers.
Is anything known about the anologous problem, where the ...
- 1,319
2
votes
0
answers
205
views
Are Milnor K-groups algebraic groups?
Let $k$ be a field, $K$ a finite extension of $k$, and $K_{n}^{M}(K)$ the $n$-th Milnor K-group of $K$, that is,
$$
K_{n}^{M}(K)=K^{\times}\otimes_{\mathbb{Z}}\cdots\otimes_{\mathbb{Z}} K^{\times}/I,
$...
- 479
4
votes
1
answer
370
views
Is there a trigonometric field which is different enough from real numbers?
I found this topic in a book 'Metric Affine Geometry' by Ernst Snapper and Robert J. Troyer.
I call a field $k$ trigonometric iff there is a quadratic form $q$ over $k^2$ such that every two lines ...
- 509
7
votes
0
answers
573
views
Automorphism groups of the complex numbers, and other fields
If one accepts the Axiom of Choice (AC), then the automorphism group of $\mathbb{C}$ is a huge and wild group, very poorly understood.
But apparently if one does not accept the Axiom of Choice, then ...
- 4,353
0
votes
0
answers
76
views
Preservation of the Euler-Poincaré characteristics and commutativity of the multiplication in R^d
While talking about duality for polyhedra and the analogue for polygons (where the duality is essentially trivial) with a friend, I wondered if this self-duality in dimension 2 was anyhow related to ...
- 6,934
3
votes
0
answers
274
views
Infinite separable extensions
Let $L/K$ be an infinite algebraic separable extension of fields. One assumes that the fields are embedded in an algebraic closure $\Omega$. Consider an element $\alpha$ of $\Omega$ separable over $L$....
- 3,737
2
votes
0
answers
68
views
division of polynomials [closed]
Consider the set of polynomials $k[x^1,\cdots,x^n]$ over any field $k$. Now, given $p,q\in k[x^1,\cdots,x^n]$, what are the necessary and suficient conditions in order to q divide p? That is: $\exists ...
- 179
0
votes
0
answers
62
views
How to prove this integral inequality in a 2-D region?
Let $\Omega$ be a 2D region. Now we have a partial differential equation system describing the characteristics of the region:
\begin{align*} \nabla \cdot (h_0^3 P_0 \nabla P_0) &= 0 \\ \nabla \...
- 29
1
vote
0
answers
315
views
A composition of a simple extension and a separable extension is simple
Let $K/L/M$ be a tower of finite field extensions with $K/L$ separable and $L/M$ simple (in the sense of being generated by a single element). How does one show that $K/M$ is also simple?
I know that ...
2
votes
0
answers
89
views
System of linear equations in positive characteristic
Let $K$ be a field of positive characteristic $p$. Consider the system of $\mathbb F_p$-linear equations
$$\left\{\begin{array}{ccl}
a_{11}x_1+a_{12}x_2+\cdots+a_{1n}x_n&=&b_1\\
a_{11}x^p_1+a_{...
- 3,737
4
votes
0
answers
182
views
Issue with "definition" of pseudo algebraically closed fields
I'm having an issue with a sentence in Chapter 11 of Fried & Jarden's Field Arithmetic. As a "motto" for pseudo algebraically closed (PAC) fields, they say they are fields $K$ such that &...
- 477
0
votes
0
answers
137
views
Field of algebraic functions
We assume $K$ as a field of characteristic zero. By a field of algebraic functions of one variable over $K$ we mean a field $R$ satisfying $R=K(x,y)$ with $x$ being transcendental over $K$, and $R$ is ...
- 1
6
votes
0
answers
190
views
Isomorphism of hyperreal fields viewed as extensions of the field of reals
I asked this question on Mathematics Stackexchange but got no answer.
Question. Does $ZFC$ prove that there are non-principal ultrafilters $\mathcal U$ and $\mathcal V$ over $\mathbb N$ such that the ...
- 4,336
3
votes
0
answers
118
views
Composition in function fields
Let $k=\mathbb F_q\left(\!\left(\frac1T\right)\!\right)$. One has the map: $\circ:k\times\{v\in k\mid\deg(v)>0\}\to k$ defined by $f\circ g=\sum_{n\ge-m}a_ng^{-n}$ where $f=\sum_{n\ge-m}a_n\frac1{T^...
- 3,737
4
votes
2
answers
321
views
Multiplicative and additive groups of the field $(\prod_{n\in\omega}\mathbb{Z}/p_n\mathbb{Z})/\simeq_{\cal U}$
Let ${\cal U}$ be a non-principal ultrafilter on $\omega$, and for each $n\in\omega$, let $p_n$ denote the $n$th prime, that is $p_0 = 2, p_1=3, \ldots$
Next we introduce the following standard ...
- 45.4k
1
vote
0
answers
179
views
Do roots of polynomial with coefficients in a CM field lie in a CM field?
This is something that I have been thinking about for a while now, not sure if it is standard (or even true at all) or not:
Let $K/ \mathbb Q$ be a CM number field, that is, it is closed under complex ...
- 719
6
votes
1
answer
267
views
When do algebraic closures exist constructively?
The field of algebraic numbers exists constructively, since we can represent a number by an irreducible polynomial plus an estimate in rational coordinates that separates it from any other root.
More ...
- 1,758
4
votes
2
answers
438
views
Path integrals on statistical mechanics
In (rigorous) statistical mechanics and statistical field theory one is usually concerned in giving meaning to integrals of the form:
\begin{eqnarray}
\langle \mathcal{O}\rangle = \frac{1}{Z}\int D\...
- 3,151
3
votes
2
answers
374
views
Norm on tensor product of fields
Let $F$ be an algebraically closed field of characteristic $p$ equipped with an absolute value $|\cdot|:F \rightarrow \mathbb{R}_{\ge 0}$ with respect to which $F$ is complete.
Define $|\cdot|_{prod}$...
- 87
3
votes
0
answers
142
views
Central simple algebras via cohomology
I am following the book Central Simple Algebras and Galois Cohomology, by Gille and Szamuely (I am using the second edition). In section 2.4, the authors remark that the tensor product induces a ...
- 493
2
votes
1
answer
164
views
Existence of solutions of polynomials systems (and their "rough" shape) over $\mathbb{R}$ & friends with positive-dimensional ideals
This is a follow-up (but self-contained) question to my previous one. There I asked about state-of-the-art methods to solve multivariate polynomials systems over non-algebraically closed fields in ...
- 667
1
vote
1
answer
111
views
Under what conditions is the compositum of two rational cubic Kummer extensions a rational function field?
Let $k$ be an algebraically closed field of characteristic $p > 3$ and $F = k(x)$ be the rational function field in the variable $x$. Consider two Kummer extensions $F_1 = F(\sqrt[3]{g_1})$, $F_2 = ...
- 1,801
9
votes
2
answers
612
views
What is the state-of-the-art for solving polynomials systems over fields that are not algebraically closed?
I am not working in the field of algorithmic algebraic geometry - yet, for my current work, I need some results from it.
More specifically, what is the state-of-the-art when it comes to solving (...
- 667
1
vote
1
answer
203
views
Theory of extensions of non-archimedian local fields
I'm searching for a recommendable reference dealing with theory of
non-Archimedean local fields where I can find proofs of the following claims about
finite extensions $L/K$ of non-Archimedean local ...
- 6,000
0
votes
0
answers
76
views
Does "tensoring" with a fixed field preserve Galois extensions of finite fields?
Let $K$ be a (possibly infinite) field of characteristic $p$, and $L$ be a finite field extension of $\mathbb{F}_p$, so that $L$ is finite and $L/\mathbb{F}_p$ is Galois. Suppose $K \otimes_{\mathbb{F}...
- 1,215
5
votes
1
answer
139
views
How to find a finite splitting field $K$ for $G$ such that every indecomposable $KG$-module is absolutely indecomposable
Let $G$ be a finite group and let $k$ be a finite field with char$(k)=p$ such that $p\mid |G|$.
If $k$ is a splitting field for $G$, then, no matter which splitting field we take, after extending ...
- 1,685
9
votes
2
answers
436
views
Can nonstandard fields contain $\mathbb R$ in different ways?
Suppose $e : \mathbb R \to F$ is an elementary embedding in the language of ordered fields. Can there exist an elementary embedding $e' : \mathbb R \to F$ such that $e \not= e'$? Note that it would ...
- 18.1k
0
votes
0
answers
44
views
Isomorphism of Archimedean real closed fields with infinite transcendence degree
Are all countable Archimedean real closed fields with infinite transcendence degree isomorphic?
2
votes
0
answers
66
views
Partitioning a given set into root set of two polynomials or non zero set of two polynomials simultaneously
Let $p,q$ be two prime numbers and let $p<q.$ Also let, $\mathbb{Z}_p$ and $\mathbb{Z}_q$ denote the fields formed by integers modulo $p$ and modulo $q$ respectively (with respect to the modulo $p$ ...
- 812
3
votes
1
answer
337
views
Field extensions in Grothendieck rings
Let $k$ be a field, and consider the Grothendieck ring of $k$-varieties, $K_0(V_k)$. Let $K/k$ and $K'/k$ be field extensions of $k$. We view $\mathrm{Spec}(K)$ and $\mathrm{Spec}(K')$ as $k$-schemes ...
- 4,353