A monic polynomial $f(x)\in {\mathbb Z}[x]$ of degree N is called monogenic if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,\theta ,\theta ^2,\ldots ,\theta ^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta )$, where $f(\theta )=0$. We use the classification of the Galois groups of quartic polynomials, due to Kappe and Warren [‘An elementary test for the Galois group of a quartic polynomial’, Amer. Math. Monthly 96(2) (1989), 133–137], to investigate the existence of infinite collections of monogenic quartic polynomials having a prescribed Galois group, such that each member of the collection generates a distinct quartic field. With the exception of the cyclic case, we provide such an infinite single-parameter collection for each possible Galois group. We believe these examples are new and we provide evidence to support this belief by showing that they are distinct from other infinite collections in the literature. Finally, we devote a separate section to the cyclic case.

A monic polynomial $f(x)\in {\mathbb Z}[x]$ of degree N is called monogenic if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,\theta ,\theta ^2,\ldots ,\theta ^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta )$, where $f(\theta )=0$. We prove that there exist exactly three distinct monogenic trinomials of the form $x^4+bx^2+d$ whose Galois group is the cyclic group of order 4. We also show that the situation is quite different when the Galois group is not cyclic.

Let F be a subfield of the complex numbers and $f(x)=x^6+ax^5+bx^4+cx^3+bx^2+ax+1 \in F[x]$ an irreducible polynomial. We give an elementary characterisation of the Galois group of $f(x)$ as a transitive subgroup of $S_6$. The method involves determining whether three expressions involving a, b and c are perfect squares in F and whether a related quartic polynomial has a linear factor. As an application, we produce one-parameter families of reciprocal sextic polynomials with a specified Galois group.

Let $f(x)=x^{6}+ax^{4}+bx^{2}+c$ be an irreducible sextic polynomial with coefficients from a field $F$ of characteristic $\neq 2$, and let $g(x)=x^{3}+ax^{2}+bx+c$. We show how to identify the conjugacy class in $S_{6}$ of the Galois group of $f$ over $F$ using only the discriminants of $f$ and $g$ and the reducibility of a related sextic polynomial. We demonstrate that our method is useful for producing one-parameter families of even sextic polynomials with a specified Galois group.

Let $E$ be an elliptic curve over $\mathbb{Q}$ without complex multiplication. Let $p\geq 5$ be a prime in $\mathbb{Q}$ and suppose that $E$ has good ordinary reduction at $p$. We study the dual Selmer group of $E$ over the compositum of the $\text{GL}_{2}$ extension and the anticyclotomic $\mathbb{Z}_{p}$-extension of an imaginary quadratic extension as an Iwasawa module.

For any integer $m\neq 0$, we prove that $f(x)=x^{9}+9mx^{6}+192m^{3}$ is irreducible over $\mathbb{Q}$ and that the Galois group of $f(x)$ over $\mathbb{Q}$ is the dihedral group of order 18. Moreover, we show that for infinitely many values of $m$, the splitting fields for $f(x)$ are distinct.

In this article we develop a test to determine whether a sextic polynomial that is irreducible over $\mathbb{Q}$ has Galois group isomorphic to the alternating group ${{A}_{4}}$. This test does not involve the computation of resolvents, and we use this test to construct several infinite families of such polynomials.

Let ℓ be a prime number. It is not known whether every finite ℓ-group of rank n≥1 can be realized as a Galois group over with no more than n ramified primes. We prove that this can be done for the (minimal) family of finite ℓ-groups which contains all the cyclic groups of ℓ-power order and is closed under direct products, (regular) wreath products and rank-preserving homomorphic images. This family contains the Sylow ℓ-subgroups of the symmetric groups and of the classical groups over finite fields of characteristic not ℓ. On the other hand, it does not contain all finite ℓ-groups.

We prove that n-hypergraphs can be interpreted in e-free perfect PAC fields in particular in pseudofinite fields. We use methods of function field arithmetic, more precisely we construct generic polynomials with alternating groups as Galois groups over a function field.

Suppose that $K$ is a subfield of $\mathbb{C}$ for which the $\ell$-adic cyclotomic character has infinite image. Suppose that $C$ is a curve of genus $g\geq3$ defined over $K$, and that $\xi$ is a $K$-rational point of $C$. This paper considers the relation between the actions of the mapping class group of the pointed topological curve $(C^{\mathrm{an}},\xi)$ and the absolute Galois group $G_K$ of $K$ on the $\ell$-adic prounipotent fundamental group of $(C^{\mathrm{an}},\xi)$. A close relationship is established between

1. the image of the absolute Galois group of $K$ in the automorphism group of the $\ell$-adic unipotent fundamental group of $C$; and

2. the $\ell$-adic Galois cohomology classes associated to the algebraic $1$-cycle $C- C^{-}$ in the Jacobian of $C$, and to the algebraic $0$-cycle $(2g-2)\xi-K_C$ in $C$.

AMS 2000 Mathematics subject classification: Primary 11G30. Secondary 14H30; 12G05; 14C25; 14G32

Fix a prime number [ell ]. We prove a conjecture stated by Ihara, which he attributes to Deligne, about the action of the absolute Galois group on the pro-[ell ] completion of the fundamental group of the thrice punctured projective line. Similar techniques are also used to prove part of a conjecture of Goncharov, also about the action of the absolute Galois group on the fundamental group of the thrice punctured projective line. The main technical tool is the weighted completion of a profinite group with respect to a reductive representation (and other appropriate data).

In this paper, we prove that the modular curve $X(11)$ over a field of characteristic 3 admits the Mathieu group $M_{11}$ as an automorphism group. We also examine some aspects of the geometry of the curve $X(11)$ in characteristic 3. In particular, we show that every point of the curve is a point of inflection, the curve has 110 hyperflexes and there are no inflectional triangles and 11232 inflectional pentagons, of which 144 are self-conjugate. The hyperflexes correspond to the supersingular elliptic curves. We comment on the relationship of Ward's quadrilinear invariant for $M_{12}$ to our work and announce for the first time the equations for Klein's A-curve of level 11. We also comment on the relation of our work to some unpublished work of Bott and Tate.

1991 Mathematics Subject Classification: 11F32, 11G20, 14G10, 14H10, 14N10, 20B25, 20C34.