# Tagged Questions

54 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 ...
676 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. ...
310 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 ...
230 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$), ...
154 views

679 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 ...
302 views

### Fields whose embeddings into the complex numbers are invariant under complex conjugation

Is there a general notion/description of fields $K$ such that the image of any embedding $K \hookrightarrow \mathbb{C}$ is invariant under complex conjugation, thus inducing an involution on $K$ which ...
64 views

### “almost prime” elements in perfect Hahn field

Let $K$ be the field $\mathbb{F_p}^{alg}((\mathbb{Q}))$ (field of Hahn series over $\mathbb{F_p}^{alg}$ and with value group $\mathbb{Q}$). Is there elements $x$ of $K$ which are "almost prime" that ...
337 views

### How does an irreducible polynomial of prime power order split over an extension of prime power degree

I asked this question in a similar form on math.se here, where it has been unanswered for a little over a week some work on it can be found there. The motivation for this question was another ...
345 views

### How arithmetical is algebraic exponentiation?

Suppose $K$ is an exponential real closed field, i.e. there is an isomorphism, say exp, between the additive group of $K$ and the multiplicative group of its positive elements. Assume further that $Z$ ...
218 views

### The field $\mathbb{Q}(\cos \frac {2\pi} {n})$ [closed]

Let $x$ be $\cos \displaystyle \frac {2\pi} {n}$ for some natural number $n$. Then is there an integer $n$ such that $\mathbb{Q}(x^2+x)\neq \mathbb{Q}(x)$? I also would like to know if there is some ...
416 views

### Parity of class number of pure cubic fields

A pure cubic field is an algebraic number field of the form $K = \mathbb{Q}(\theta)$ with $\theta^3 = m$, $m \neq \pm 1$. What can be said about the parity (odd or even) of the class number of a pure ...
423 views

### Does “all points rational” imply “constant” for this “cubic” curve over an arbitrary field?

Let $\mathbb{K}$ be an arbitrary field with a subfield $\mathbb{F}$ of index 2. Let $a,b\in\mathbb{K}[X]$ be univariate non-vanishing polynomials over $\mathbb{K}$ of degree $\leq 3$ each. Edit: Due ...
472 views

Let $F$ be the field ${\mathbb Q}(i)\subset \mathbb C$ and let $T\subset F$ be the set of all elements of complex absolute value 1. Let $n$ be a natural number $\ge 2$ and let $\mu_n(T)\subset\mathbb ... 7answers 6k 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 ... 4answers 2k views ### FFTs over finite fields? I'm trying to understand how to compute a fast Fourier transform over a finite field. This question arose in the analysis of some BCH codes. Consider the finite field$F$with$2^n$elements. It is ... 2answers 471 views ### An alternative description of K^*/Nm(L^*) Is there a nice explicit description for the group$K^*/Nm_{L/K}(L^*)$for a finite field extension$L/K$? What if for example,$L$is obtained from$K$by ajoining an n-th root of some$\alpha \in ...
342 views

There are quadratic solutions to $x^4+y^4 = z^4$ in $\mathbb{Q} (\sqrt{-7})$. But for equations such as $x^4+y^4 = nz^4$ where $n \in \mathbb{N}, \ n \neq 1$ do there still exist extension fields of ...
129 views

### Analogue of a ring extension splitting in the Kummer case

Background (the Kummer extension case) Let $R$ be a complete regular local ring (it follws that it's a UFD) with a prime integer $p$ contained in the maximal ideal of $R$ (I'm mostly interested ...
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 ...
569 views

### Existence of maximal totally ramified extensions of an arbitrary CDVF

Let $K$ be a complete, discretely valued field with (let's say) perfect residue field $k$. We have a unique maximal unramified extension $K^{unr}$ of $K$ and a unique maximal tamely ramified ...
1k views

### What are the possible sets of degrees of irreducible polynomials over a field?

Hopefully this is not too easy an exercise. Let $F$ be a field. Let $I \subset \mathbb{N}$ be the set of all positive integers $d$ such that there exists an irreducible polynomial of degree $d$ over ...
745 views

### When f(x)-a and f(x)-b yield the same field extension

An interesting mathoverflow question was one due to Philipp Lampe that asked whether a non-surjective polynomial function on an infinite field can miss only finitely many values. In my interpretation ...
637 views

### Notation/name for “Artin-Schreier roots”?

If x is an element of a field K and n is a positive integer, we have both a symbol and a name for a root of the polynomial t^n - x = 0: we denote it by x^{1/n} and call it an nth root of x. Of course ...
270 views

### Expressing field inclusions by polynomial equalities on coefficients

Let $A$ be the set of all quadruples $(a_0,a_1,a_2,a_3) \in {\mathbb Q}^4$ such that the polynomial $P=X^4+a_3X^3+a_2X^2+a_1X+a_0$ is irreducible and if $z$ is any root of $P$, then ${\mathbb Q}(z)$ ...
1k views

### Are the field norm and trace the unique “nice” maps between fields?

This seems like an obvious fact, but I'm not sure what the necessary meaning of "nice" is to get a result like this. I'm wondering if there is a theorem of the form: For any <1> field extension ...
416 views

### Evidence for Q^solv being Pseudo-algebraically-closed

This is a follow-up to the following answer: Solvable class field theory in which it is stated as a "folklore" conjecture that the maximal solvable extension of Q is pseudo algebraically closed ...
501 views

### a question on function fields (extending my previous question)

Consider the extension Q(a,b) of the field of rationals, where a,b are algebraically independent transcendentals. To Q(a,b) adjoin the roots of the polynomials x^5+a^5=1 and y^5+b^5=1. The resulting ...