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

-6
votes
0answers
47 views

Example of infinite field of characteristic prime is not algebraically closed field [on hold]

I know that if $F$ is an algebraically closed field, then $F$ is infinite. The converse is not true, so what is the example of an infinite field of characteristic prime $p>0$ not algebraically ...
1
vote
1answer
148 views

Completing class-sized Fields

Let's say that an ordered Field is a class (proper or not) which satisfies the axioms of ordered fields. We work in NBG set theory with global choice. Let's say that an ordered Field is real closed ...
0
votes
1answer
179 views

Field extension and nilpotent element

Let $k$ be an algebraically closed field of characteristic $p>0$, $A$ a regular local noetherian $k$-algebra, $B$ another local noetherian $k$-algebra, $f:A \to B$ an injective ring homomorphism of ...
1
vote
0answers
59 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 ...
-2
votes
1answer
71 views

Maximal commutative subrings of the endomorphism ring of a vector space

Let $\mathbb{F}$ be a field, and $\mathbf{V}$ a possibly uncountably generated $\mathbb{F}$-vector space. Let $\mbox{End}_\mathbb{F}(\mathbf{V})$ be the endomorphism ring of $\mathbf{V}$. That the ...
9
votes
0answers
446 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 ...
26
votes
3answers
704 views

Does the category of (algebraically closed) fields of characteristic $p$ change when $p$ changes?

Let $\mathrm{ACF}_p$ denote the category of algebraically closed fields of characteristic $p$, with all homomorphisms as morphisms. The question is: when is there an equivalence of categories between ...
7
votes
0answers
325 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
1answer
278 views

Intersection between integral closures is algebraically closed field

Consider an algebraically closed field $k$, a finite field extension $K$ of $k(T)$, the integral closure $A$ of $k[T]$ in $K$, and the integral closure $A'$ of $k[T^{-1}]$ in $K$. Does it follow that ...
2
votes
1answer
167 views

Are the positive multiplicative group and the additive group of the field of algebraic numbers isomorphic?

Let $F$ be the field of real algebraic numbers. Is it true that the positive multiplicative group $(F_{pos}^*,\cdot,1)$ is isomorphic to the additive group $(F,+,0)$ (as abstract groups, not ...
2
votes
0answers
53 views

If $\min(\alpha,F)$ has only one root in $E$, must $\min(p(\alpha),F)$ have only one root in $E$

Let $F<E$ be an algebraic field extension. Let $\alpha\in E$ be such that $\min(\alpha,F)$ has only one root in $E$ (which will be $\alpha$).Is it true that for any $p(x)\in F[x]$ we must have: ...
11
votes
0answers
209 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}$ ...
1
vote
0answers
73 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 ...
6
votes
2answers
683 views

Tensor product of fields over integers

Inspired by this question we ask; Is there a name for each of the following properties about fields? what are some examples other than $\mathbb{Q}$?: 1.A field $K$ with the property that ...
1
vote
1answer
74 views

For a division ring $D$, does $[D:C_D(a)]_{right}$ vary when $D$ is enlarged?

In a commutative field $K$, the Zariski dimension of an algebraic subset of $K^n$ over $K$ does not vary if one enlarges $K$ if I understood well. In particular, for two Zariski-closed vector spaces ...
0
votes
0answers
66 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 ...
6
votes
2answers
209 views

Examples of NIP fields of characteristic $p$

Definition. According to Shelah, a field $K$ does not have the independence property (i.e. is NIP) if for every first order formula $\varphi(x, \bar y)$ in the language of fields $(+,\times,0,1)$, the ...
2
votes
1answer
94 views

Quaternion algebra in characteristic $p$

Given a prime number $p$, can you give me concrete examples of fields $\mathbf F$ of characteristic $p$ and quaternion algebras $\mathbb H(\mathbf F)$ over $\mathbf F$ such that $\mathbb H(\mathbf F)$ ...
6
votes
1answer
146 views

Existence of a skew field with surjective inner derivations

In my research, I've come twice now towards a skew field $K$ that satisfies the following: $$\text{for all non-central element $a$, the map }\quad x\mapsto ax-xa\quad\text{ is onto.}$$ I am hoping ...
6
votes
2answers
420 views

What are the basic possibilities for a tensor product of two fields?

Let $k$ be a field, with $F,k'$ field extensions of $k$. The ring $k' \otimes_k F$ is denoted by $F_{k'}$. In Borel's Linear Algebraic Groups, it is claimed (I believe erroneously) that "each of ...
0
votes
0answers
49 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)$ ...
3
votes
1answer
246 views

When is possible to factor a field extension into one which adds no roots of unity, followed by one which adds only roots of unity?

The answer to whether this is possible for general fields is no. However, the counterexamples used two ingredients: 1) $\Bbb Q_p$, whose extensions $K$ containing $\Bbb Q_p(\sqrt[p^e]{u})$ might not ...
3
votes
0answers
90 views

Fields whose algebraic closure is a finite extension [duplicate]

It is well-known that the complex numbers $\mathbb{C}$ is a degree two extension of $\mathbb{R}$, where one possible minimal polynomial is $x^2 + 1$. Further, $\mathbb{C}$ is algebraically closed. ...
1
vote
0answers
87 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
43 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 ...
4
votes
1answer
211 views

Examples of perfect pseudo algebraically closed fields in positive characteristic

Is there any known example of a perfect pseudo algebraically closed field of positive characteristic containing $\overline{\mathbb{F}_p}$ but is not algebraically closed?
13
votes
2answers
421 views

Logical complexity of algebraically closed fields

One can define fields using a finite list of axioms that quantify over the field itself. However, the obvious way to define algebraically closed fields involves either an infinite list of axioms, or ...
5
votes
0answers
156 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 ...
15
votes
1answer
824 views

A set of generators for $\bar{\mathbb{Q}}$

Two questions: Does there exist a sequence $\alpha_1,\alpha_2,...$ of algebraic numbers with degrees $d_1,d_2,...$ s.t. for each $i$, $d_i|d_{i+1}$ and $\alpha_i= p_i(\alpha_{i+1})$ with $p_i$ a ...
2
votes
2answers
214 views

Decomposition and valuation rings

I am reading Algebraic Number Theory by A. Fröhlich, M. J. Taylor, it first introduced the theorem: $(K,u)$ be a field and its absolute value, $(K_u,\bar u)$ be its completion and absolute value ...
1
vote
1answer
168 views

Purely inseparable field extensions of degree p

Take a field $k$. If $k'/k$ is a field extension of degree $p$, it is known that there are many possibilities for the isomorphism class of $k'$. See ...
1
vote
1answer
84 views

Separable extensions of henselian fields

Let $(k,v)$ be a henselian field, with $\mathcal{O}$ and $\bar{k}$ being respectively its valuation ring and its residue field. If $K/k$ a finite separable field extension (on which $v$ thus extends ...
9
votes
0answers
106 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: $$ ...
6
votes
0answers
381 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 ...
10
votes
1answer
266 views

Theory of C* algebras over other fields than the complex numbers

How much of the theory of C*-algebras holds when the complex numbers are replaced by different (algebraically closed) field (possibly with a distinguished ordered subfield that satisfies the same ...
8
votes
1answer
334 views

Orthonormal bases of R^3 with components lying in the golden field

Greg Egan proved an interesting theorem about unit vectors in $\mathbb{R}^3$ whose components actually lie in the 'golden field' $\mathbb{Q}[\sqrt{5}]$. He found it in our studies of twin ...
11
votes
2answers
584 views

Obstructions for a group to be the multiplicative group of a field [duplicate]

It is well known that every finite multiplicative subgroup of a field is cyclic. I somehow got interested in a possible reverse implication: Assume we have an abelian group $G$ whose every finite ...
2
votes
1answer
191 views

Uncountable cardinals and Prufer $p$-groups

Let $A$ be an elementary Abelian uncountable $p$-group. Is it known if there is an action of a Prufer $q$-group (here $q$ is a prime not necessarily distinct from $p$) $C_{q^{\infty}}$ onto $A$ such ...
2
votes
2answers
396 views

Ideals generated by two elements in the polynomial ring of two variables over a field

Let $k$ be a field. For example, $k=\mathbb{Q}$ or $\mathbb{Z}/p$, $p$ prime. Let $k[x,y]$ be the polynomial ring. Let $f,g\in k[x,y]$. Let the ideal $I=(f,g)$ be the ideal of $k[x,y]$ ...
3
votes
1answer
125 views

Projective coordinates over a non UFD ring

Is it true that when the integers of a number field are not a UFD then not every point in projective $n$-space over that field can be given by relatively prime algebraic integer coordinates? When a ...
5
votes
0answers
257 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
votes
0answers
188 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 ...
1
vote
0answers
115 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, ...
8
votes
2answers
368 views

Definition of internal field objects

Let $\mathcal{C}$ be a category with finite limits and a strictly initial object $\mathbf{0}$. The final object is denoted by $\mathbf{1}$. I propose the following definition of a field object ...
11
votes
3answers
479 views

Why does inconstructibility of $\sqrt[3]{2}$ imply impossibility of cube doubling? [closed]

In this question "constructing" and "doubling" is meant in the compass-and-straightedge sense. On my desk I have five Basic Algebra texts treating constructability in the plane $\mathbb{C}$ or ...
9
votes
2answers
457 views

Quintic polynomials generating cyclic extensions

We know that a cubic equation generates a cubic cyclic extension iff it has a perfect square discriminant. Now I am wondering if there is a similar condition for quintic polynomials. So I am trying to ...
1
vote
1answer
111 views

question about a particular Polynomial ring [closed]

Let K be a field, let $T = K[X_1, X_2,...]$ be a polynomial ring, let $R=K[X_1^{2}, X_1X_2,..,X_i X_j,..]$, and let $L = Frac(R)$ = field of fractions of R. How can we prove that $R =T \cap L$ ?
2
votes
0answers
146 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)$ ...
5
votes
0answers
176 views

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

I. Given the roots $x_i$ of the general cubic, $$x^3+c_2x^2+c_1x+c_0=0\tag1$$ with $c_i \in \mathbb Q$, it is easy to show that the expression, $$F_3 = (x_1^{1/3}+x_2^{1/3}+x_3^{1/3})^3$$ is an ...
12
votes
5answers
895 views

Does k(X) have a k-basis for every set X, without AC?

This question is inspired by Pace Nielsen's recent question Does a left basis imply a right basis, without AC?. For any field $k$, the field $k(x)$ of rational functions in one variable has an ...