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

learn more… | top users | synonyms

142
votes
0answers
12k views

Ultrafilters and automorphisms of the complex field

It is well-known that it is consistent with $ZF$ that the only automorphisms of the complex field $\mathbb{C}$ are the identity map and complex conjugation. For example, we have that $|Aut(\mathbb{C})|...
63
votes
0answers
2k views

A naive question about the double dual of a vector space

Let $K$ be a field. Are there non-scalar endomorphisms of the endofunctor $$ V\mapsto V^{**}/V $$ of the category of $K$-vector spaces? I asked a related question on Mathematics Stackexchange, but ...
20
votes
0answers
1k views

Subfields of $\mathbb{C}$ isomorphic to $\mathbb{R}$ that have Baire property, without Choice

While sitting through my complex analysis class, beginning with a very low level introduction, the teacher mentioned the obvious subfield of $\mathbb{C}$ isomorphic to $\mathbb{R}$, and I then ...
19
votes
0answers
372 views

Are the reals really a fraction field?

In an answer to this question I was led to show the trick proving that $\mathbb R$ is the fraction field of some strict subring $A\subsetneq \mathbb R=\operatorname{Frac}(A)$. A crucial point in the ...
14
votes
0answers
763 views

Is there an infinite field of characteristic 2 whose multiplicative group is torsion free and (direct-sum) indecomposable?

Let $F$ be a infinite field of characteristic 2 whose multiplicative group $F^*$ is torsion free. I would like to conclude that $F^*$ is decomposable or find an example where $F^*$ is indecomposable. ...
11
votes
0answers
224 views

Is there a particular field that cannot be proven to have an algebraic closure in ZF?

Proofs that every field has a unique (up to isomorphism) algebraic closure use some form of the axiom of choice. For uniqueness this is provably necessary: there are models of ZF in which $\mathbb{Q}$ ...
9
votes
0answers
470 views

Algebraic proofs of algebraic theorems about algebraically closed fields

It is well-known that the first order theory of algebraically closed fields admits quantifier elimination, whence the theory $ACF_p$ of algebraically closed fields of given characteristic $p$ is ...
9
votes
0answers
109 views

Gersten complexes in Quillen's and Milnor's K-theories

Consider a good enough scheme $X$ (e.g. an algebraic variety over a field). Let $X_i$ be the set of points of dimension $i$ in $X$. Then we have the Gersten complex in Quillen's K-theory: $$ \oplus_{...
7
votes
0answers
375 views

Field of definition of a point in $[p]^{-1}E(K)$

Let $E$ be an ordinary elliptic curve defined over a non-perfect field $K$ of characteristic $p$. If $P \in E(K)$ satisfies $P \not\in [p]E(K)$, is it true that its $p^m$-division points of $P$ are ...
7
votes
0answers
296 views

On quintic roots $x_1^{1/5}+x_2^{1/5}+\dots+x_5^{1/5}$

(Major revision to incorporate new results in this MO cubic version.) Note: All coefficients are in the rationals. I. Cubic In the linked post, it was shown that given a general cubic (via its ...
7
votes
0answers
248 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)$ is a simple group? ...
6
votes
0answers
120 views

Is every Polish ring topology on $\mathbb{C}$ defined by an absolute value?

There is a unique up to isomorphism algebraically closed field of characteristic 0 and cardinality of the continuum. Let's call it $K$. We usually call it $\mathbb{C}$, but by this we impose a ...
6
votes
0answers
443 views

Algebraic Closure of the field of rational functions

Using the theorem of Puiseux, one concludes that the algebraic closure of $\mathbb C(X)$ is the set of algebraic elements (over $\mathbb C(X)$) of the algebraic closure of $\mathbb C((X))$, which is $\...
6
votes
0answers
359 views

Why does the Rogers-Ramanujan continued fraction $R(q)$ appear in Emma Lehmer's quintic?

Define the Ramanujan theta function $f(a,b)$ as, $$f(a,b) = \sum_{n=-\infty}^{\infty} a^{n(n+1)/2}\,b^{n(n-1)/2}$$ and the Dedekind eta function, $$\eta(\tau) = q^{1/24}\prod_{n=1}^{\infty} \left(1-...
5
votes
0answers
162 views

Laurent and power series over the field with one element?

Question. Is there a suitable notion of the Laurent series ring $\mathbb{F}_1((t))$ and power series ring $\mathbb{F}_1[[t]]$ in some framework for the field with one element $\mathbb{F}_1$? For ...
5
votes
0answers
259 views

Rigid fields containing $\mathbb{C}$

Following the question What is the size of the smallest rigid extension field of the complex numbers?, where it was noted that the least cardinality of a rigid field containing $\mathbb{C}$ is $(2^{\...
5
votes
0answers
159 views

Analogue of a ring extension splitting in the Kummer case

Background (the Kummer extension case) Let $R$ be a complete regular local ring (it follws that it's a UFD) with a prime integer $p$ contained in the maximal ideal of $R$ (I'm mostly interested in $...
5
votes
0answers
327 views

Point of confusion in “Topological Representations of Algebras”

Background I'm reading the article "Topological Representations of Algebras" by Arens, Kaplansky. In the proof of Theorem 6.1 we have the following situation: $X$ is a Stone space, $X_\alpha$ is a ...
4
votes
0answers
385 views

How arithmetical is algebraic exponentiation?

Suppose $K$ is an exponential real closed field, i.e. there is an isomorphism, say exp, between the additive group of $K$ and the multiplicative group of its positive elements. Assume further that $Z$ ...
3
votes
0answers
149 views

Extension of the product formula for valuations to a simultaneous completion

It is well known that $\mathbb{C}$ and $\mathbb{C}_p$ are "algebraically" isomorphic (that is, ignoring the topology), but an isomorphism depends on the axiom of choice and there is no canonical way ...
2
votes
0answers
190 views

Automorphisms of $\mathbb{C}$ and meromorphic functions

Let $F$ be a meromorphic function on $\mathbb{C}$, and assume that the first-order theory of $(\mathbb{C},F)$ defines $\mathbb{Z}$, which means that there exists a formula $\varphi(z)$ (in the ...
2
votes
0answers
149 views

Is there a symmetric basis for $\mathbf{Q}(x,y)$?

Consider $\mathbf{Q}(x,y)$, the rational functions in $x$ and $y$, as a vector space over $\mathbf{Q}$. Let $\sigma$ be the map interchanging $x$ and $y$. Is there a basis for $\mathbf{Q}(x,y)$ ...
2
votes
0answers
184 views

Parametric Solvable Septics?

Known parametric solvable septics are, $$x^7+7ax^5+14a^2x^3+7a^3x+b=0\tag{1}$$ $$x^7 + 21x^5 + 35x^3 + 7x + a(7x^6 + 35x^4 + 21x^2 + 1)=0\tag{2}$$ $$x^7 - 2x^6 + x^5 - x^4 - 5x^2 - 6x - 4 + n(x - ...
2
votes
0answers
86 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 $F\...
2
votes
0answers
204 views

purely non-algebraic extension that is not separable

Can you give an example of a field extension $k\subseteq K$ such that, every element of $K$ is transcendental over k and $K$ is not separable over $k$?
2
votes
0answers
132 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^\ast_{tor}\times \...
2
votes
0answers
196 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 ...
2
votes
0answers
363 views

What do you call an algebraic element with the property that the generated field extension is normal?

Let $L/K$ be a field extension. Let $\alpha \in L$ be algebraic over $K$. Is there an established terminology for the property of $\alpha$ that $K(\alpha)/K$ is a normal field extension? Would you ...
1
vote
0answers
96 views

Unexpected isomorphisms between “unrelated fields”

I read in the post Why worry about the Axiom of Choice ? that the existence of isomorphisms between $\overline{\mathbb{Q}_p}$, $p$ any prime, and $\mathbb{C}$, makes some worry about the Axiom of ...
1
vote
0answers
65 views

For which primes $p$ is the field $\mathbb{Q}(\Gamma(1/p^{j}))$ a strict subfield of $\mathbb{Q}(\Gamma(1/p^{i}))$ whenever $0<i<j$?

I already asked this question on a French math forum but eventually came to think that as silly it may turn out to be, perhaps something interesting could finally emerge from it, so I decided to take ...
1
vote
0answers
78 views

Galois extensions inside a division ring

Let $D$ be a division ring which has finite dimension over its centre. Q1. Under which conditions can one find a maximal subfield $K$ of $D$ and a proper subfield $L$ of $K$ such that $K/L$ is Galois?...
1
vote
0answers
93 views

Which fields have no extensions of degree divisble by a fixed prime?

Let $p$ be a prime. What are the most general examples of a field $K$ such that for any finite extension $L/K$ the degree $[L:K]$ is prime to $p$? Certainly, there are algebraically closed examples ...
1
vote
0answers
50 views

Infinitesimally small elements in extensions of models of model-complete theories

Suppose that we have a first order language $\mathcal{L}$ that extends the language of rings. Let $T$ a be a topological $\mathcal{L}$-theory of fields in the sense of Pillay.. this means that not ...
1
vote
0answers
120 views

Invariance of the complex exponential map under a nontrivial field automorphism of $\mathbb{C}$

It is known that the pseudo-exponential map $K \to K^\times$ for $K$ a pseudo-exponential field (of cardinality $2^{\aleph_0}$) in the sense of Zilber is invariant under many field automorphisms, (...
1
vote
0answers
84 views

(Affine) Schemes and the point of view of morphisms with values in a field

Let $A$ be a commutative ring with unity. If $\varphi_1 : A \rightarrow K_1$ and $\varphi_2 : A \rightarrow K_2$ are ring morphisms from $A$ to fields, $\varphi_1$ and $\varphi_2$ are said to $1$-...
1
vote
0answers
139 views

How can I decode efficiently a triple-error-correcting binary BCH code?

In a given $\mathrm{BCH}(N,K)$, $T=3$ code over $\mathrm{GF}(2^m)$, there are ways to find the error locations in a given $N$-bit codeword directly from the syndromes without going through the normal ...
1
vote
0answers
301 views

Discriminant of a compositum of number fields, a bound?

Given two number fields $E$ and $F$, is there a bound on $|d_{EF}|$, the absolute value of the absolute discriminant of the compositum of fields $EF$, in terms of $d_E$, $d_F$, and the extension ...
1
vote
0answers
36 views

Degree of factor of resolvent

As always with my questions this is not at research level, but the assertion is made in a research paper, plus no one's been able (or willing) to answer it over at MSE. Here is the original question, ...
1
vote
0answers
138 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 a simple extension ...
1
vote
0answers
68 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 "almost prime" that ...
1
vote
0answers
97 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 finite....
1
vote
0answers
165 views

Extending commuting endomorphims of a complete discrete valued field to the algebraic closure?

Is it true that any two commuting endomorphisms of a complete discrete valued field extend to commuting automorphisms of the algebraic closure?
1
vote
0answers
221 views

Automorphism groups of fields

Hi there, is there a classification/characterization of fields K for which the automorphism group Aut(K) has the property that |Aut(K)| < |K| (e.g. finite fields, the rationals and reals) ? What ...
1
vote
0answers
86 views

Explicit expression for multivariable meromorphic series

Let $K$ be a field. For $m>1$, elements in the ring of power series in $m$ variables over $K$, i.e., $K[[X_1, \cdots, X_m]]$ look like - $$ \displaystyle\sum_{(i_1, \cdots, i_m)\in (\mathbb N_{0})^...
1
vote
0answers
345 views

Quadratic Solutions

There are quadratic solutions to $x^4+y^4 = z^4$ in $\mathbb{Q} (\sqrt{-7})$. But for equations such as $x^4+y^4 = nz^4$ where $n \in \mathbb{N}, \ n \neq 1$ do there still exist extension fields of $\...
0
votes
0answers
73 views

Extension of a valuation on a function field

Let $K$ be a field, and $K(x)$ the field of rational functions over $K$. Consider the degree valuation $v$ on $K(x)$, That is $v\left(\frac{f(x)}{g(x)}\right)=\deg(g)-\deg(f)$. So for every $f(x)\in ...
0
votes
0answers
51 views

Generators of fixed function fields under involutions

I am trying to prove something for function fields in two generators and only one involution but I don't know if it is true, if true, I would like to generalize, here it is. Let $K=k(\eta_1,\eta_2)$ ...
0
votes
0answers
355 views

Finite separable extension of fields imply the number of intermediate subfield is finite

The proof of statements either uses Galois theory or Artin primitive element theorem.I would like to know whether there is a proof without using these.The reason to avoid using Galois theory is that ...
0
votes
0answers
212 views

Pseudo-cauchy sequence and valuation

Let $k$ be a field and $x$ is transcendental over $k$. Can we construct a pseudo-cauchy sequence $(a_{i})$ convergent to $x$ with each $a_{i}$ is algebraic over $k$ and $k(a_{i})\subseteq k(a_{i + 1})$...
0
votes
0answers
184 views

Let $u \in \mathbb{Z}^{\times}_{p}$ a unit, is it true that the field $\mathbb{Q}_{p}(\zeta_{p^{n}}, \sqrt[p^{n}]{u})$ is abelian over $\mathbb{Q}_{p}$?

Let $u \in \mathbb{Z}^{\times}_{p}$ a unit, is it true that the field $\mathbb{Q}_{p}(\zeta_{p^{n}}, \sqrt[p^{n}]{u})$ ` is abelian over $\mathbb{Q}_{p}$?