The fields tag has no wiki summary.

**0**

votes

**0**answers

38 views

### decomposition of polynomials over a field [on hold]

$K|F$ has this property that every polynomial $f(x)∈F[x]$ has a root in $K$.is it true that every polynomial $f(x)∈F[x]$ can be completely decomposed on $K$?
i think it is false,because if we write ...

**-3**

votes

**0**answers

32 views

### Does $(n + 2)$ have a multiplicative inverse mod $(n - 1)$ over $GF(5)$? [on hold]

I have been stuck on understanding this for hours. The reason I am confused is that I thought over $GF(k)$, only constants have inverses. Also, how would one go about applying EGDC to figure this out? ...

**0**

votes

**0**answers

17 views

### Some Galois theory [migrated]

I have a question on field extensions, and I can't seem to find precise
answers when browsing through online notes etc.
Here it is: suppose $K$ and $k$ are fields with $k \leq K$ and $[K : k] = m$
...

**6**

votes

**1**answer

115 views

### For a Sum-of-Squares cost functions J(x) is it true that J(x)-j* is also SOS?

For polynomial optimization problems the sum-of-squares theory and Lasserre relaxation hierarchy provides a theoretically handy way of getting the solution. There are also results saying that finite ...

**0**

votes

**0**answers

60 views

### Algorithm for finding irreducible polynomials in finite field extensions

Let $K(\alpha_1,\ldots,\alpha_n)/K=\tilde{K}/K$ be a finite field extension and suppose we know $\text{irr}(\alpha_1,K)(x),\ldots,\text{irr}(\alpha_n,K)(x)\in K[x]$. Suppose also that we have a basis ...

**0**

votes

**1**answer

70 views

### Ways to order an algebraic extension

In following post, I describe the "classical" example of $\mathbb{Q}(\sqrt{2})$ that can be ordered in two distinct ways.
More generally, if $(k,P)$ is an ordered field, $R$ a real closure of $(k,P)$ ...

**1**

vote

**0**answers

213 views

### Learning roadmap in Algebra [closed]

I am a senior undergraduate student in mathematics, I have a sound knowledge in the following areas:
a) Commutative Algebra
b) Field Theory and Galois Theory
c) Homological Algebra
My question is ...

**2**

votes

**0**answers

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

**4**

votes

**1**answer

169 views

### Comparison of finite field extensions of $\mathbb{C}(t)$

Let K be a finite field extension of $\mathbb{C}(t)$. Then $K$ is isomorphic to the field of meromorphic functions on a compact Riemann surface $X$ with genius $g$. By an argument similar to the proof ...

**14**

votes

**0**answers

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

**23**

votes

**9**answers

5k views

### Why are polynomials so useful in mathematics?

This is perhaps unanswerable,
or perhaps I am too algebraically ignorant to phrase it cogently, but:
Is there some identifiable reason that polynomials over
$\mathbb{C}$,
$\mathbb{R}$, ...

**6**

votes

**1**answer

315 views

### Class groups of orders

In Cox's book "Primes of the form $x^2 + ny^2$", he proves that in a quadratic imaginary field $K$, if $\mathcal O$ is an order of conductor $f \in \mathbb Z$, we have that the class group ...

**3**

votes

**2**answers

168 views

### “Degree 3 fields”

I was wondering what was known about fields $k$ having the property that any polynomial
over $k$ of degree $3$ has at least one root in $k$. Does such a field have a special name ?
Is there some kind ...

**7**

votes

**1**answer

235 views

### $L^\times / K^\times$ torsion $\Rightarrow L = K$?

Let $L/K$ be an extension of fields of characteristic zero. I want to prove that if $L^\times/K^\times$ is a torsion group (i.e. for every element $\alpha \in L$, some power of $\alpha$ lies in $K$), ...

**15**

votes

**0**answers

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

**3**

votes

**1**answer

288 views

### Can non-isomorphic field extensions be isomorphic fields?

This is related to my earlier question on isomorphism of general quotients of $\:F\hspace{.02 in}[x]\:$.
Let $F$ be a field, let $p$ and $q$ be (non-zero) monic irreducible polynomials, let $I$ and ...

**1**

vote

**0**answers

100 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

**1**answer

86 views

### On the maximum cardinality of the image of a non-onto polynomial function on finite fields

Let $F$ be a finite field of cardinality $q$ and let $f \in F[x]$ be a non-constant polynomial of degree $d$ which is not onto (as a function from $F$ to $F$). Then how large the image of $f$ could be ...

**2**

votes

**2**answers

116 views

### Generic topology on a field

I'm wondering if there is some generic topology that can be put on any field of characteristic zero which is similar to those induced by a norm on the field. I know that for vector spaces you can take ...

**3**

votes

**1**answer

227 views

### Colorful model theory

There are a number of concepts in model theory - often situated around Hrushovski's amalgamation method (see for instance http://math.univ-lyon1.fr/~wagner/nijmegen.pdf) - which are colorfully named:
...

**0**

votes

**1**answer

272 views

### Generators of cyclic group of finite fields

Let $F$ be a finite field and $f(x)\in F[X]$ be an irreducible polynomial of degree $n$. Let $\alpha$ be a root of $f(x)$. So $E:=F[\alpha]$ is a finite field of order $|F|^{n}$.
We know that ...

**0**

votes

**0**answers

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

**7**

votes

**1**answer

240 views

### Fields of characteristic zero via ultraproducts

Is every noncountable field of characteristic zero the ultraproduct (using a non principal ultrafilter over the set of prime numbers) of fields of positive characteristic?

**28**

votes

**3**answers

1k views

### Why aren't fields called “bodies” instead?

The discrepancy regarding the names of commutative division algebras in German and English has always startled me. In English they are called fields, whereas their original German name is Körper ...

**3**

votes

**2**answers

287 views

### Does regular field extension preserve regularity?

Let $k$ be an arbitrary field and suppose that $K/k$ is a regular field extension. Let $V$ be regular scheme of finite type over $\text{Spec }k$ (not necessarily smooth). Is it true that $\text{Spec ...

**4**

votes

**1**answer

154 views

### Parametric septic fields $L(7) = L(3,2)$ with the same discriminant

While perusing Kluener's Database of Number Fields, I noticed that a lot of the discriminants of 7T5 came in pairs. After some doodling, I found four families. The first two are,
$$x^7 - x^6 + x^5 + ...

**0**

votes

**1**answer

146 views

### Variety with perfect function field?

My question is quite simple: Let $X$ be an irreducible algebraic variety over a field $\Bbbk$. Is there a name for such varieties with perfect function field $\Bbbk(X)$? Is this very rare? Is there ...

**5**

votes

**2**answers

481 views

### Reducing 12th degree eqns (12T179) to an 11th degree eqn

I always wondered if the fact that the quartic can be solved by a cubic can be generalized to other even degrees $n$, namely if there is an ordering of the roots $x_i$ of form ...

**14**

votes

**3**answers

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

**18**

votes

**8**answers

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

**0**

votes

**1**answer

109 views

### On separable field extensions [closed]

Let $F\subseteq K$ be a finite separable field extension with $a_1,..., a_n$ an $F$-basis for $K$. Is it true that the matrix $A := [\mbox{tr}(a_ia_j)]$ is non-singular ?

**8**

votes

**3**answers

359 views

### Formulas in a Field and in a Field Extension

Let $\mathbb F$ be a field and let $a, b, c, d$ be fixed elements in the field $\mathbb F$.
Consider the formulas
1) $\exists\;x\;\;:\;\;x^2=-1.$
2) $\exists\;x\;\;:\;\;(xa=c\land xb=d).$
Formula ...

**9**

votes

**1**answer

268 views

### The j-function and Pell equations

Given the j-function,
$$j(\tau)=\frac{1}{q}+744+196884q+21493760q^2+\dots$$
it is well-known that for $\tau=\tfrac{1+\sqrt{-d}}{2}$, positive integer $d$, then $j(\tau)$ is an algebraic integer of ...

**17**

votes

**2**answers

816 views

### Is there an irreducible but solvable septic trinomial $x^7+ax^n+b = 0$?

The following irreducible trinomials are solvable:
$$x^5-5x^2-3 = 0$$
$$x^6+3x+3 = 0$$
$$x^8-5x-5=0$$
Their Galois groups are isomorphic to ${\rm D}_5$, ${\rm S}_3 \wr {\rm C}_2$ and
$({\rm S}_4 ...

**0**

votes

**2**answers

277 views

### Rationality of curve does not depend on base change

By a curve I mean an integral one-dimensional scheme of finite type over a spectrum of a field.
Let $C$ be a curve over an arbitrary field $k$. It's probably a very well known fact, that $C$ is ...

**5**

votes

**0**answers

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

**1**

vote

**0**answers

108 views

### Parametric Solvable Septics?

Known parametric solvable septics are,
$$x^7+7ax^5+14a^2x^3+7a^3x+b=0\tag{1}$$
$$x^7 - 2x^6 + x^5 - x^4 - 5x^2 - 6x - 4 + n(x - 1)x^2(x + 1)^2=0\tag{2}$$
$$x^7 + 7x^6 - 28(n^2 + 27)x^2 + 112(n^2 + ...

**16**

votes

**1**answer

688 views

### On the solvable octic $x^8-x^7+29x^2+29=0$

The irreducible but solvable octic,
$$x^8-x^7+29x^2+29=0\tag{1}$$
was first mentioned by Igor Schein in this 1999 sci.math post. This does not factor over a quadratic or quartic extension, but over ...

**4**

votes

**1**answer

182 views

### “Small” subfields of algebraically closed fields

Sufficient background:
Let $\mathcal{M}=(M,...)$ be an $\mathcal{L}$-structure and $X\subset M$.
Definition. $X$ is large if there exists a function $f:\mathcal{M}^n \overset {\leq k} \rightarrow ...

**3**

votes

**2**answers

204 views

### Subgroups of finite index of fields

Let $F$ be an infinite field and $R$ a subring of $F$. suppose that $[F:R] < \infty$ (Index of $R$ in $F$ as a subgroup is finite). Does this force $R$ to be equal to $F$?

**3**

votes

**1**answer

97 views

### Could a non-algebraically closed PAC field be a finite extension of an ordered field?

Is there such an example? Or it is known that a pseudo algebraically closed field which is a finite extension of a formally real field is algebraically closed?

**4**

votes

**1**answer

313 views

### Field extension of fields [closed]

Is the field of real numbers $\mathbb{R}$ a finite extension of some subfield $k\subset \mathbb{R}$?

**31**

votes

**1**answer

613 views

### A Topology such that the continuous functions are exactly the polynomials

(I originally asked this question on Math.SE, where it received a lot of attention, but no solution.)
Which fields $K$ can be equipped with a topology such that a function $f:K \to K$ is continuous ...

**11**

votes

**2**answers

487 views

### To what extent can fields be classified?

The study of algebraic geometry usually begins with the choice of a base field $k$. In practice, this is usually one of the prime fields $\mathbb{Q}$ or $\mathbb{F}_p$, or topological completions and ...

**2**

votes

**1**answer

158 views

### English translation of Steinitz 1910?

Does there exist an English translation of Steinitz' 1910 work "Algebraische Theorie der Körper"?
http://www.digizeitschriften.de/dms/img/?PPN=GDZPPN002167042

**1**

vote

**0**answers

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

**3**

votes

**2**answers

256 views

### Galois cohomology of the field of Laurent series

Let $k$ a separably closed field. Do we have that $k((t))$ is of cohomological dimension one?

**2**

votes

**0**answers

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

**2**

votes

**0**answers

133 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$?

**3**

votes

**1**answer

116 views

### Recognizing etale covers on the level of function fields

Let $X$ be a connected, integral curve over a field $k$, and let $Y \rightarrow X$ be a finite etale cover. Corresponding to this cover there is a finite extension of function fields $k(Y): k(X)$.
...