**9**

votes

**1**answer

707 views

### What is a field [Körper] really?

The notion of a field (a commutative ring $R$ with $0\neq 1$ and $R^\times=R-\{0\}$) seems to fit uncomfortably into modern algebra. To see what I mean, consider the following statements:
The ...

**6**

votes

**0**answers

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

**1**

vote

**1**answer

156 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

**1**answer

183 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

**0**answers

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

**-2**

votes

**1**answer

74 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

**0**answers

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

**25**

votes

**3**answers

723 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

**0**answers

350 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

**1**answer

282 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

**1**answer

172 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

**0**answers

54 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

**0**answers

213 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

**0**answers

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

**5**

votes

**2**answers

693 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

**1**answer

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

**0**answers

68 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

**2**answers

212 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

**1**answer

95 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

**1**answer

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

**2**answers

427 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

**0**answers

50 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

**1**answer

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

**2**

votes

**0**answers

91 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

**0**answers

89 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

**0**answers

47 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

**1**answer

213 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

**2**answers

423 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

**0**answers

159 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

**1**answer

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

**2**answers

216 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

**1**answer

171 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

**1**answer

87 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

**0**answers

107 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

**0**answers

404 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

**1**answer

268 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

**1**answer

338 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

**2**answers

587 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

**1**answer

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

**2**answers

414 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

**1**answer

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

**0**answers

258 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

**0**answers

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

**0**answers

118 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

**2**answers

384 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

**3**answers

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

**10**

votes

**2**answers

459 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

**1**answer

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

**0**answers

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

**0**answers

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