Related papers: Capitulation des $2$-classes d'id\'eaux de type $(…

Let $L/K$ be a finite, cyclic extension of number fields with Galois group $G$, and let $S$ be a finite set of primes of $K$ that includes all the infinite primes. In this paper, we study the $G$-cohomology of the $S$-id\`{e}le classes of…

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…

The isomorphism type of the Galois group of the 2-class field tower of quadratic number fields having a 2-class group with abelian type invariants (4,4) is determined by means of information on the transfer of 2-classes to unramified…

We establish that any finite extension of function fields of genus greater than 1 whose relative class group is trivial is Galois and cyclic. This depends on a result from a preceding paper which establishes a finite list of possible Weil…

In this paper, we consider integral and irreducible binary quartic forms whose Galois group is isomorphic to a subgroup of the dihedral group of order eight. We first show that the set of all such forms is a union of families indexed by…

This article is a survey of conjectures and results on reductive algebraic groups having good reduction at a suitable set of discrete valuations of the base field. Until recently, this subject has received relatively little attention, but…

We first study some families of maximal real subfields of cyclotomic fields with even class number, and then explore the implications of large plus class numbers of cyclotomic fields. We also discuss capitulation of the minus part and the…

For quadratic fields \(k=\mathbb{Q}(\sqrt{d})\) with discriminant \(d\), \(3\)-class group \(\mathrm{Cl}_3(k)\simeq (\mathbb{Z}/3\mathbb{Z})^2\), and four \textit{simple} \(3\)-principalization types \(\varkappa(k)\in\lbrace…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

General concepts and strategies are developed for identifying the isomorphism type of the second p-class group \(G=Gal(F_p^2(K) | K)\), that is the Galois group of the second Hilbert p-class field \(F_p^2(K)\), of a number field K, for a…

In this note we describe the finite groups $G$ having $|G|-2$ cyclic subgroups. This partially solves the open problem in the end of \cite{3}.

Let $K$ be a field with $G_K(2) \simeq G_{\mathbb{Q}}(2)$, where $G_F(2)$ denotes the maximal pro-2 quotient of the absolute Galois group of a field $F$. We prove that then $K$ admits a (non-trivial) valuation $v$ which is 2-henselian and…

Given a reductive group scheme $G$, we give a linear algebraic description of reduced \'etale $4$-cocycles on its classifying stack $\mathrm B(G)$. These cocycles form a $2$-groupoid, which we interpret as parameters of metaplectic covers…

We give a criterion for two l-adic Galois representations of an algebraic number field to be isomorphic when restricted to a decomposition group, in terms of the global representations mod l. This is applied to prove a generalization of a…

We describe the GIT compactification of the moduli of (2,2)-type effective divisors of $\mathbb{P}^1\times\mathbb{P}^2$ (i.e., surfaces of the linear system $\vert \pi_1^*\mathcal{O}_{\mathbb{P}^1}(2)\otimes…

Astonishing new discoveries with quartets and octets of cyclic cubic fields sharing a common conductor are presented. Four kinds of graphs describing cubic residue conditions among the prime divisors of the conductor enforce elementary bi-…

If k is a commutative field and G a reductive (connected) algebraic group over k, we give bounds for the orders of the finite subgroups of G(k); these bounds depends on the type of G and on the Galois groups of the cyclotomic extensions of…

Let $K$ be a field of characteristic $p$ and $G$ a nonabelian metacyclic finite $p$-group. We give an explicit list of all metacyclic $p$-groups $G$, such that the group algebra $KG$ over a field of characteristic $p$ has a filtered…

For all $k \ge 2$, we show that there exists a group $G$ and a non-free stably free $\mathbb{Z} G$-module of rank $k$. We use this to show that, for all $k \ge 2$, there exist homotopically distinct finite $2$-complexes with fundamental…

We show that there is a canonical, order preserving map $\psi$ of lattices of subgroups, which maps the lattice $\Sub(A)$ of subgroups of the ideal class group of a galois number field $\K$ into the lattice $\Sub(\KH/\K)$ of subfields of…