Related papers: Group theoretic approach to cyclic cubic fields

Let $X$ be a hyperk\"ahler variety, and assume that $X$ admits a non-symplectic automorphism $\sigma$ of order $k>{1\over 2}\dim X$. Bloch's conjecture predicts that the quotient $X/<\sigma>$ should have trivial Chow group of $0$-cycles. We…

In this paper we determine automorphism groups of cyclic algebraic curves defined over finite fields of any characteristic.

For any finite group G and integer i, let $\mathcal{H}^i(G)$ be the set of all the isomorphism classes of the Galois cohomology groups $\hat{H}^i(K/k,E_K)$, where K/k runs over all the unramified G-extension of number fields and E_K denotes…

We consider indecomposable representations of the Klein four group over a field of characteristic $2$ and of a cyclic group of order $pm$ with $p,m$ coprime over a field of characteristic $p$. For each representation we explicitly describe…

Let $X$ be a hyperk\"ahler variety, and assume $X$ has a non-symplectic automorphism $\sigma$ of order $>{1\over 2}\dim X$. Bloch's conjecture predicts that the quotient $X/<\sigma>$ should have trivial Chow group of $0$-cycles. We verify…

Given a finite transitive permutation group $G$, we investigate number fields $F/\mathbb{Q}$ of Galois group $G$ whose discriminant is only divisible by small prime powers. This generalizes previous investigations of number fields with…

The p-class tower $F_p^\infty(k)$ of a number field k is its maximal unramified pro-p extension. It is considered to be known when the p-tower group, that is the Galois group $G:=Gal(F_p^\infty(k)/k)$, can be identified by an explicit…

Let $K/F$ be a finite Galois extension of number fields. It is well known that the Tchebotarev density theorem implies that an irreducible, finitely ramified $p$-adic representation $\rho$ of the absolute Galois group of $K$ is determined…

Let $K$ be an imaginary quadratic field different from $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$. For a positive integer $N$, let $K_\mathfrak{n}$ be the ray class field of $K$ modulo $\mathfrak{n}=N\mathcal{O}_K$. By using the…

We explore the enumerative problem of finding lines on cubic surfaces defined by symmetric polynomials. We prove that the moduli space of symmetric cubic surfaces is an arithmetic quotient of the complex hyperbolic line, and determine…

Let $\mathrm{k}=\mathbb{Q}(\sqrt[3]{d},\zeta_3)$, with $d$ a cube-free positive integer. Let $C_{\mathrm{k},3}$ be the $3$-component of the class group of $\mathrm{k}$. By the aid of genus theory, arithmetic proprieties of the pure cubic…

Let K/F be a cyclic extension of prime degree l over a number field F. If F has class number coprime to l, we study the structure of the l-Sylow subgroup of the class group of K. In particular, when F contains the l-th roots of unity, we…

We define an extended Bloch group for an arbitrary field F, and show that this group is canonically isomorphic to K_3^ind(F) if F is a number field. This gives an explicit description of K_3^ind(F) in terms of generators and relations. We…

For any integer $k\ge 1$, we show that there are infinitely many complex quadratic fields whose 2-class groups are cyclic of order $2^k$. The proof combines the circle method with an algebraic criterion for a complex quadratic ideal class…

This note presents Galois theory for finite fields. It was written as a handout for the MAT401 course ``Polynomial equations and fields'' taught at the University of Toronto in Spring 2026. We use without proofs some basic properties of…

Suppose $K$ is a finite extension of $\mathbb{Q}_p$ containing a $p^M$-th primitive root of unity. For $1\leqslant s<p$ denote by $K[s,M]$ the maximal $p$-extension of $K$ with the Galois group of period $p^M$ and nilpotent class $s$. We…

We study a class $\mathfrak{M}$ of cyclically presented groups that includes both finite and infinite groups and is defined by a certain combinatorial condition on the defining relations. This class includes many finite metacyclic…

Infinitely many large Schur sigma-groups G with non-elementary bicyclic commutator quotient G/G' = C(3^e) x C(3), e >= 2, are constructed as periodic sequences of vertices in descendant trees of finite 3-groups. A single root gives rise to…

A finite group G is admissible over a field M if there is a division algebra whose center is M with a maximal subfield G-Galois over M. We consider nine possible notions of being admissible over M with respect to a subfield K of M, where…

Let $k$ be an algebraically closed field of positive characteristic $p>0$ and $C \to {\mathbb P}^1_k$ a $p$-cyclic cover of the projective line ramified in exactly one point. We are interested in the $p$-part of the full automorphism group…