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

8
votes
0answers
78 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: $$ ...
0
votes
0answers
36 views

Automorphisms of a differential field and transcendence degree

Let $(\mathcal{F},+,\times,\partial)$ be a differential field, and let's define its automorphism group $Aut(\mathcal{F})$ as the group, under composition, consisting of all bijective maps ...
4
votes
0answers
177 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
198 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
317 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
508 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
179 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 ...
1
vote
2answers
245 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
123 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
246 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
171 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
101 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
297 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
449 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 ...
8
votes
2answers
367 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
103 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
137 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)$ ...
4
votes
0answers
166 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
806 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
264 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
297 views
0
votes
1answer
203 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
77 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
169 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
254 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
129 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
0answers
92 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
1answer
75 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
282 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
0answers
99 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 ...
5
votes
1answer
201 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
728 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
6k 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
333 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
174 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
1answer
259 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$), ...
16
votes
0answers
326 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
338 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 ...
44
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
183 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
96 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
139 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
248 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
1answer
610 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
225 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
244 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?
36
votes
3answers
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
2answers
335 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
165 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
159 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 ...