**-2**

votes

**0**answers

35 views

### In algebraic system, what consequences brings having two elements whose powers greater than 1 coincide? [closed]

In algebraic system, what consequences brings having two elements (say, $w_1$ and $w_2$) whose powers greater than 1 coincide?
Will the exponentiation or taking root become ambiguiuos given that $w_1$...

**1**

vote

**0**answers

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

**7**

votes

**0**answers

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

**3**

votes

**1**answer

92 views

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

Let $F\subseteq 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 ...

**3**

votes

**1**answer

207 views

### Division ring on a field

Suppose that $F$ is a field. Show that there exists a $F$-division algebra $D$ with two elements $a\neq b\in D$ such that $a^2-2ab+b^2=0$.
In the field extensions we know that $a^2-2ab+b^2=0$ if and ...

**10**

votes

**1**answer

832 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

130 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

161 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

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

**74**

votes

**2**answers

7k views

### When is the tensor product of two fields a field?

Consider two extension fields $K/k, L/k$ of a field $k$.
A frequent question is whether the tensor product ring $K\otimes_k L$ is a field. The answer is "no" and this answer is often justified by ...

**-2**

votes

**1**answer

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

**39**

votes

**8**answers

13k views

### Collecting proofs that finite multiplicative subgroups of fields are cyclic

I teach elementary number theory and discrete mathematics to students who come with no abstract algebra. I have found proving the key theorem that finite multiplicative subgroups of fields are cyclic ...

**9**

votes

**0**answers

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

**7**

votes

**0**answers

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

**25**

votes

**3**answers

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

**2**

votes

**1**answer

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

**9**

votes

**1**answer

290 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

358 views

### On the Separability of Certain Extensions of Fields

I asked this question a couple of weeks ago.
The question arose while looking for a criterion of separability for extensions of fraction fields $K(A)\to K(B)$ induced by a faithfully flat morphism $...

**11**

votes

**0**answers

225 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}$ ...

**36**

votes

**14**answers

5k views

### Fantastic properties of Z/2Z

Recently I gave a lecture to master's students about some nice properties of the group with two elements $\mathbb{Z}/2\mathbb{Z}$. Typically, I wanted to present simple, natural situations where the ...

**1**

vote

**0**answers

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

**6**

votes

**2**answers

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

**1**

vote

**1**answer

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

**6**

votes

**2**answers

722 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 $K\otimes_{...

**0**

votes

**0**answers

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

**2**

votes

**1**answer

97 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

148 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

438 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 [$...

**3**

votes

**1**answer

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

**0**

votes

**0**answers

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

**2**

votes

**0**answers

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

**15**

votes

**1**answer

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

**22**

votes

**4**answers

6k views

### Finite extension of fields with no primitive element

What is an example of a finite field extension which is not generated by a single element?
Background: A finite field extension E of F is generated by a primitive element if and only if there are a ...

**2**

votes

**0**answers

93 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

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

**0**answers

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

**4**

votes

**1**answer

217 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?

**17**

votes

**4**answers

1k views

### Which fields have multiplicative group isomorphic to additive group times Z/2Z?

Let $K$ be a field, $K_{*}$ its multiplicative group and $K_{+}$ its additive group. As Richard Stanley notes in this answer, the only field for which $K_{+} \simeq K_{*} \times \mathbb{Z}/2\mathbb{Z}$...

**20**

votes

**7**answers

2k views

### In what sense are fields an algebraic theory?

Since there is no "free field generated by a set", it would seem that
1) there is no monad on Set whose algebras are exactly the fields
and
2) there is no Lawvere theory whose models in Set are ...

**17**

votes

**1**answer

585 views

### Algebraic closure as a fibrant replacement?

Emil Artin's construction of the algebraic closure of a field $K$ is as follows. Let $K_{0} = K$, and inductively let $\{x_f\}$ be a set of indeterminates indexed by the irreducible $f$ in one ...

**13**

votes

**2**answers

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

**1**

vote

**0**answers

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

**0**

votes

**1**answer

280 views

### Extension of homomorphism to place in quotient field, or of local ring to valuation ring in quotient field

Let be given a domain $R$ (that can be supposed to be integrally closed if this can help), and $\varphi$ an homomorphism of $R$ into a field $F$.
$\varphi$ extends uniquely to a homomorphism $\varphi'...

**5**

votes

**0**answers

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

**2**

votes

**2**answers

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

**20**

votes

**0**answers

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

**1**

vote

**1**answer

186 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
http://math.stackexchange.com/questions/353928/...

**1**

vote

**1**answer

94 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

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