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

12
votes
5answers
898 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 ...
8
votes
1answer
304 views

Division algebras over extension fields / reducibility of $G$-modules

Reformulation of the question (see below for the original question): Let $K$ be an algebraic number field and $D$ a finite-dimensional $K$-division algebra. Is there a description of the field ...
3
votes
1answer
319 views
0
votes
1answer
274 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 ...
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
vote
1answer
253 views

Canonical form of cubic curves over general fields

Given a field of characteristic not 2 or 3 containing a primitive third root of unity, is it true that every nonsingular cubic curve, i.e. a curve defined by one homogeneous form of degree 3 in 3 ...
4
votes
2answers
366 views

Constructive Proof to Show that Algebraic Numbers are Algebraically Closed

EDIT2: After reading some papers, I think the question can best be rephrased as "How can the minimal polynomial for a polynomial with algebraic coefficients be calculated. I have seen papers and ...
6
votes
1answer
157 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
1answer
91 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
0answers
354 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 ...
3
votes
0answers
143 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 ...
6
votes
1answer
237 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
0answers
759 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
9answers
7k 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
1answer
373 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
2answers
186 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 ...
1
vote
0answers
126 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 ...
7
votes
1answer
277 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$), ...
19
votes
0answers
365 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
1answer
407 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 ...
60
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 ...
1
vote
0answers
286 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
1answer
111 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
2answers
159 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
1answer
277 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: ...
1
vote
1answer
989 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
0answers
339 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
1answer
266 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?
37
votes
3answers
2k 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
2answers
391 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
1answer
174 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
1answer
173 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 ...
4
votes
2answers
513 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 ...
17
votes
4answers
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 ...
36
votes
14answers
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 ...
0
votes
1answer
114 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
3answers
386 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
1answer
308 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 ...
18
votes
2answers
953 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
2answers
328 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 ...
6
votes
0answers
355 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} ...
2
votes
0answers
183 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 - ...
16
votes
1answer
826 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
1answer
207 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
2answers
218 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
1answer
113 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
1answer
356 views

Field extension of fields [closed]

Is the field of real numbers $\mathbb{R}$ a finite extension of some subfield $k\subset \mathbb{R}$?
33
votes
1answer
801 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 ...
13
votes
2answers
764 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
1answer
203 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