The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
2answers
657 views

algebraic numbers of degree 3 and 6, whose sum has degree 12

This question is related to Degree of sum of algebraic numbers. Forgive me if this is a dumb question, but are there two algebraic numbers $a$ and $b$ of degree $3$ and $6$ respectively, such that the ...
16
votes
1answer
827 views

Galois Group as a Sheaf

I've noticed that the Galois groups associated to Galois field extensions $L$ of a given field $K$ seem remarkably like a sheaf, with the field extensions taking the place of open set, and the Galois ...
4
votes
2answers
2k views

Primitive element theorem without building field extensions

Is there are nice way to prove the primitive element theorem without using field extensions? The primitive element theorem says that if $x$ and $y$ are algebraic over $F$ and $y$ is separable over ...
2
votes
1answer
393 views

Probability of an extension being normal

Let $P$ be the probability that an elliptic curve with a rational point has an infinite number of rational points. From what I understand, the value of P is unknown. This got me thinking about a ...
6
votes
2answers
794 views

Why do generic polynomials work in reality?

I understand that a generic $G$-polynomial $f(t_1,...,t_n)[X]$ over field $k$ has Galois group $G$ over $k(t_1,...,t_n)$. And basically any $G$ extension of $k$ should be generated by a realization of ...
6
votes
3answers
1k views

Computing only the order of Galois group (not the group itself).

My question is related to this one: Computing the Galois group of a polynomial. I was wondering if there is a faster algorithm just to compute the order of the group rather than the group itself. ...
11
votes
0answers
807 views

Galois theory timeline (II)

This question is a sequel. I structured the previous one around Emil Artin's classic treatment of Galois theory from the 1940s, though making clear some reservations of my own about whether Artin ...
1
vote
1answer
322 views

Non-representability by a binary quadratic form

Let $k$ be an arbitrary field, $d\in k$, and $d$ is not a square in $k$. Consider the binary quadratic form $f(x,y)=x^2-d y^2$ (it is the norm from $k(\sqrt{d})$ to $k$). I am looking for a reference ...
3
votes
1answer
295 views

Is the (regular) inverse Galois problem known for the field C(x,y)?

I'd be surprised if somebody proved the inverse Galois problem for $\mathbb{C}(x,y)$, but I wanted to make sure.
43
votes
4answers
3k views

Degree of sum of algebraic numbers

This is an elementary question (coming from an undergraduate student) about algebraic numbers, to which I don't have a complete answer. Let $a$ and $b$ be algebraic numbers, with respective degrees ...
15
votes
2answers
2k views

Galois theory timeline

A recent question on the history of Galois theory wasn't the most satisfactory. But the historical issues do seem quite attractive. They relate to innovation, and to exposition. There is a perspective ...
5
votes
3answers
2k views

What was Galois theory like before Emil Artin?

I read that the primitive element theorem for fields was fundamental in expositions of Galois theory before Emil Artin reformulated the subject. What are the differences between pre and post-Artin ...
2
votes
1answer
353 views

what is the first Galois cohomology group of the Galois module End(T_l(A)) for some abelian variety A over a finite field k and l some prime number different from the characteristic of the base field?

According to Serre's book 'Galois cohomology', Galois chomology group are always torsion, but it seems to me that H^1(k, End_{Z_l}(T_l(A)))=coker(Frob-1) on End_{Z_l}(T_l(A)), which has the same Z_l ...
3
votes
4answers
2k views

Cyclic extensions

Hi. Are there nice/simple examples of cyclic extensions $L/K$ (that is, Galois extensions with cyclic Galois group) for which $L$ cannot be written as $K(a)$ with $a^n\in K$? Thanks.
6
votes
1answer
800 views

Maximal extension almost everywhere unramified and totally split at one place

Fix a finite set of primes $S$ and an additional prime $p$. Let $K$ be the maximal extension of $\mathbb{Q}$ that is unramified outside $S$ and $\infty$ and totally split at $p$. Is the extension $K$ ...
4
votes
2answers
625 views

Splitting of a division algebra with an involution of second kind

Let $k$ be a field, $K/k$ a separable quadratic extension, and $D/K$ a central division algebra of dimension $r^2$ over $K$ with an involution $\sigma$ of second kind (i.e. $\sigma$ acts non-trivially ...
8
votes
1answer
595 views

what can we say about center of rational absolute galois group?

well the question is in the title. I asked myself this question while thinking about something in grothendieck-teichm├╝ller theory. I guess class field theory gives some insight into this, or i am ...
7
votes
2answers
537 views

A split short exact sequence of algebraic fundamental groups

If we have a variety, $X$, over a field, $k$, and $x$ is a geometric point of $X$, and let $\bar x$ be a geometric point of $X_{k^s} := X \times_k k^s$ above $x$ then we have the following short exact ...
5
votes
4answers
1k views

method of finding roots of polynominal equations with arithmetic operations and roots and other functions

Lets recall Platonic construction in plane geometry. It is impossible to square a circle using only ruler and callipers. But is also known that it is possible to do it with ruler which has a mark on ...
24
votes
4answers
5k views

Computing the Galois group of a polynomial

Does there exist an algorithm which computes the Galois group of a polynomial $p(x) \in \mathbb{Z}[x]$? Feel free to interpret this question in any reasonable manner. For example, if the degree of ...
30
votes
4answers
4k views

Fields with trivial automorphism group

Is there a nice characterization of fields whose automorphism group is trivial? Here are the facts I know. Every prime field has trivial automorphism group. Suppose L is a separable finite extension ...
2
votes
0answers
1k views

What is the Galois group of a polynomial over a finite field? [closed]

If I have a polynomial which I've factorised into irreducibles over GF(p), p prime, and it doesn't have any repeated factors, then what is its Galois group over this finite field (and what is the ...
5
votes
3answers
528 views

Transformations of integer polynomials under combinations of their roots

I'm wondering whether the following ideas/questions give rise to an existing body of research. (Accordingly: please suggest appropriate changes to the tags!) Preamble We consider polynomials ...
11
votes
0answers
571 views

Does there exist a number field, unramified over a predetermined finite set of primes of Q, such that the inverse regular Galois problem is correct for that number field?

The question is: for any finite group, $G$, and any finite set of primes (of $\mathbb{Z}$), $P$, is there a number field $K$, such that there is a regular $G$-Galois extension of $\mathbb{P}^1_K$, and ...
6
votes
2answers
1k views

Is there a notion of Galois extension for Z / p^2?

The above title is in fact a special case of what I want to ask. Certainly we have a well defined notion of Galois extension for $ \mathbb{Q}_p $. The intersections of these extensions to the ring ...
8
votes
1answer
637 views

When the splitting fields of shifted generic polynomials are linearly disjoint?

Let me start by rigorously pose my question. Let $K$ be an algebraically closed field of characteristic $2$, let $n$ be an even integer number, let $f(X) = X^n + T_1 X^{n-1} + \cdots + T_n$, be the ...
18
votes
3answers
2k views

Surprising Analogue of Q

I was describing Manish Kumar's work a few weeks ago to a fellow graduate student, and she stumped me with a big-picture question I couldn't answer. Manish Kumar proved that the commutator subgroup ...
6
votes
1answer
293 views

Computing stable reduction of finite covers of curves in practice

The general theory is described in various places, but I'll be following (sketchily) the description of this process appearing in section 1 of Bouw and Wewers' "Reduction of covers and Hurwitz ...
4
votes
2answers
1k views

Galois group of a product of irreducible polynomials

Hello Suppose given a polynomial $P=Q_1\cdots Q_k$ of degree $n$, where each $Q_i$ is irreducible. Suppose also that I know the Galois group $G_i$ (over the rationals) of each irreducible factor ...
11
votes
1answer
411 views

What are Mean Values of Ideal Densities in Galois Extensions?

In an unfinished (and as of now unpublished) article intended for the encyclopedia of mathematics, Arnold Scholz wrote: "Classifying extensions according to the Galois group of their normal closure ...
5
votes
2answers
872 views

A special integral polynomial

Given $n \in \mathbf{N}$,is always possible to construct a monic polynomial in $\mathbf{Z}[x]$ of degree $2n$, whose roots are in $\mathbf{C} \setminus \mathbf{R}$ and whose Galois group over ...
1
vote
2answers
287 views

sheaves of representations on galois groups, can there be interesting cohomology?

Consider a field $K$ (of characteristic 0, say) and its absolute galois group $G_K^{ab} = Gal(\overline{K}/K)$, given the Krull topology: $U_E(\sigma) = \sigma Gal(\overline{K}/E)$ form a basis of the ...
27
votes
2answers
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 ...
9
votes
2answers
1k views

How to show the galois group of a polynomial is not an alternating group?

I am trying to prove that a certain class of polynomials have symmetric galois group. Using the Newton polygon, I have shown that the galois groups of these polynomials are transitive on $k$-sets for ...
6
votes
1answer
220 views

For a given finite group G, is there a cover of P^1 over Q s.t. over C it's G-Galois?

For any finite group, G, we can find a cover of ℙ1ℂ which is G-Galois. The regular inverse Galois problem is equivalent to there existing such a cover that descends with action to ℚ. ...
13
votes
5answers
1k views

Given a number field $K$, when is its Hilbert class field an abelian extension of $\mathbb{Q}$?

Given a number field $K$, when is its Hilbert class field an abelian extension of $\mathbb{Q}$? I am going to be on the road soon, so pleas don't be offended if I don't respond quickly to a comment.
17
votes
2answers
2k views

Number theory textbook based on the absolute Galois group?

I've just finished reading Ash and Gross's Fearless Symmetry, a wonderful little pop mathematics book on, among other things, Galois representations. The book made clear a very interesting ...
47
votes
2answers
3k views

The inverse Galois problem and the Monster

I have a slight interest in both the inverse Galois problem and in the Monster group. I learned some time ago that all of the sporadic simple groups, with the exception of the Mathieu group $M_{23}$, ...
8
votes
2answers
774 views

What, precisely, is the relationship between “fields of moduli” and “moduli spaces”?

Notation The term "field of moduli" comes in up in different scenarios, but let's consider the following: Let X->ℙ1 be a G-Galois cover, where everything is over the algebraic closure of some ...
30
votes
3answers
4k views

transcendental Galois theory

Suppose we define an arbitrary field extension $K/F$ to be Galois if, for all subextensions $L$ of $K/F$, we have $K^{\operatorname{Aut}(K/L)} = L$. In words: for any element $x$ of $K \setminus L$, ...
9
votes
3answers
2k views

Is there a simple relationship between K-theory and Galois theory?

I can (barely) understand the definition of the higher algebraic K-groups a la the plus construction right now (I have some past familiarity with K-theory for C*-algebras and can recall the rudiments ...
4
votes
1answer
291 views

Field of Definition of a Meromorphic Function

Question Let X be a smooth, projective curve over the algebraic closure of ℚ. Let f:X->ℙ1 be a meromorphic function. Assume that the zeros and the poles are defined over some number ...
16
votes
1answer
938 views

A Galois Theory Computation

Excuse me for the specificity of this question, but this is a silly computation that's been giving me trouble for some time. I want to explicitly realize the order 21 Frobenius group over ℂ(x), ...
3
votes
2answers
570 views

Explicit expression of an alternating polynomial in characteristic $2$?

Although the question is easy to pose, I think some background will help to motivate it, so I'll start with it. Consider variables $X=(X_1, \ldots, X_n)$ over a field $K$ and the elementary symmetric ...
8
votes
2answers
501 views

Field extension containing the eigenvectors of a Hermitian matrix

Let H be a (finite-dimensional) Hermitian matrix with algebraic numbers for its entries, all of which lie in some minimal field extension of the rational numbers; call this field ℚ(H) for short. ...
12
votes
3answers
847 views

“Conjugacy rank” of two matrices over field extension

EDIT: ARGH! I've got to go and I have no idea how to do the damn subscripts right. I have posted this elsewhere and got only a partial reply. I don't know whether this qualifies the question for an ...
43
votes
9answers
9k views

Galois Groups vs. Fundamental Groups

In a recent blog post Terry Tao mentions in passing that: "Class groups...are arithmetic analogues of the (abelianised) fundamental groups in topology, with Galois groups serving as the analogue of ...