**0**

votes

**0**answers

12 views

### Is there a field in which every rational polynomial has a root (other than the obvious fields)? [migrated]

Let $\mathbb{A} \subset \mathbb{C}$ denote the field of numbers algebraic over $\mathbb{Q}$. Is there a proper subfield $F$ of $\mathbb{A}$ such that every nonconstant polynomial $p(x) \in ...

**0**

votes

**0**answers

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

**5**

votes

**3**answers

340 views

### Slightly weakened / altered concepts of a field

I've heard of at least three slight modifications of the standard concept of field:
meadow, which (according to this paper) is a commutative ring with unit equipped with a total unary operation ...

**-2**

votes

**1**answer

42 views

### Roots of $X^{l-1}+1$ in a quadratic extension $F_q, q= l^2$ [closed]

Consider a finite field $F_q$ where $q=l^2$ ($l$ can be of the form $p^m$). Does $F_q$ has a root of $X^{l-1}+1$?
As $X^l+X = X(X^{l-1}+1)$ we can show that $X^{l-1}+1$ splits if it has a root. This ...

**0**

votes

**1**answer

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

**4**

votes

**0**answers

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

**3**

votes

**1**answer

119 views

### when is the property “being algebraically maximal” a first order property ?

A valued field is said to be algebraic maximal if all its algebraic extension have either a bigger value group or a bigger residue field.
Do you know for which field this is a first order property ?
...

**9**

votes

**1**answer

187 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

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

**6**

votes

**1**answer

434 views

### Split powers of the multiplicative group of a field

Let $K$ be a field, $K^\times$ its multiplicative group and $I$ an infinite set. Is then $(K^\times)^{(I)} \subseteq (K^\times)^I$ a direct summand? If not, is it possible to characterize the fields ...

**11**

votes

**2**answers

793 views

### Which commutative groups are the group of units of some field?

Inspired by a recent question on the multiplicative group of fields. Necessary conditions include that there are at most $n$ solutions to $x^n = 1$ in such a group and that any finite subgroup is ...

**11**

votes

**2**answers

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

**43**

votes

**0**answers

1k 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

**2**answers

234 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]$ ...

**26**

votes

**7**answers

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

**2**

votes

**1**answer

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

**3**

votes

**1**answer

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

**4**

votes

**2**answers

2k views

### uncountable algebraically closed field other than C ?

Is there any "well-known" algebraically closed field that is uncountable other than $\mathbb{C}$ ?
The algebraic closure of $\mathbb{C}(X)$ would work, but is it meaningful, is this field used in some ...

**5**

votes

**0**answers

243 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

169 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

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

**4**

votes

**2**answers

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

**8**

votes

**2**answers

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

**8**

votes

**1**answer

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

**11**

votes

**3**answers

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

**6**

votes

**0**answers

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

**36**

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

**8**

votes

**2**answers

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

**11**

votes

**5**answers

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

**11**

votes

**2**answers

882 views

### Factoring a field extension into one which adds no roots of unity, followed by one which adds only roots of unity

I am asking my question here, since it's been voted up a fair bit on math.SE, but without answers, so it may be harder than I assumed it was.
Can we always break an arbitrary field extension $L/K$ ...

**1**

vote

**1**answer

102 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

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

**3**

votes

**0**answers

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

**3**

votes

**1**answer

293 views

### Primes $p=x^2+27y^2$ and Ramanujan's $x_1^{1/3} + x_2^{1/3} + x_3^{1/3}$

I was trying to generalize,
...

**1**

vote

**0**answers

76 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

**1**answer

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

**9**

votes

**1**answer

411 views

### Sum of commuting semisimple operators

Let $V$ be a finite dimensional vector space over a field $K$. An operator $T:V\to V$ is called semi-simple if every $T$-invariant subspace of $V$ has a $T$-invariant complement(for algebraically ...

**17**

votes

**4**answers

2k views

### Is there a natural way to view the proof of Hilbert 90?

I only know of one proof of Hilbert 90, which is very smart if not magical. See for example http://hilbertthm90.wordpress.com/2008/12/11/hilberts-theorem-90the-math/
Does anyone know of a more ...

**16**

votes

**4**answers

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

**29**

votes

**14**answers

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

**6**

votes

**1**answer

126 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

88 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

73 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

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

**7**

votes

**3**answers

1k views

### For which fields K is every subring of K…?

This question was inspired by
How to prove that the subrings of the rational numbers are noetherian?
which some people found too routine to be of interest. So I have decided to liven things up a ...

**9**

votes

**1**answer

568 views

### an algebraically closed field definable in a real closed field

Is it true that an algebraically closed field $k$ definable (in the model theory sense) in a real closed field $\mathcal R$ is the algebraic closure $\mathcal{R}^{alg}=\mathcal{R}(\sqrt{-1})$?
...

**2**

votes

**0**answers

95 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

**1**answer

199 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

717 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

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