Related papers: On the minimal ramification problem for semiabelia…

This is the second in a pair of papers about residually reducible Galois deformation rings with non-optimal level. In the first paper, we proved a Galois-theoretic criterion for the deformation ring to be as small as possible. This paper…

Let $G$ be a finite group. In order to determine the smallest cardinality $d(G)$ of a generating set of $G$ and a generating set with this cardinality, one should repeat many times the test whether a subset of $G$ of small cardinality…

We continue some recent investigations of W. Dziobiak, J. Jezek, and M. Maroti. Let G=(G,\cdot) be a commutative group. A semilattice over G is a semilattice enriched with G as a set of unary operations acting as semilattice automorphisms.…

We decompose the restriction of ramified principal series representations of the $p$-adic group $\mathrm{GL}(3,\mathrm{k})$ to its maximal compact subgroup $K=\mathrm{GL}(3,\mathscr{R})$. Its decomposition is dependent on the degree of…

The Elementary Type Conjecture in Galois theory provides a concrete inductive description of the finitely generated maximal pro-$p$ Galois groups $G_F(p)$ of fields $F$ containing a root of unity of order $p$. We describe several variants…

A transitive permutation group is semiprimitive if each of its normal subgroups is transitive or semiregular. Interest in this class of groups is motivated by two sources: problems arising in universal algebra related to collapsing monoids…

In this paper we define Ordered Generating System for finite non-abelian groups, which is a generalization of the basis theorem for finite abelian groups. We prove the following: If each composition factor of a group G has Ordered…

In this paper we continue the study of prime graphs of finite solvable groups. The prime graph, or Gruenberg-Kegel graph, of a finite group G has vertices consisting of the prime divisors of the order of G and an edge from primes p to q if…

We determine all the $p$-adic analytic groups that are realizable as Galois groups of the maximal pro-$p$ extensions of number fields with prescribed ramification and splitting under an assumption which allows us to move away from the Tame…

Let M be a 1-motive defined over a field of characteristic 0. To M we can associate its motivic Galois group, G_mot(M), which is the geometrical interpretation of the Munford-Tate group of M. We prove that the unipotent radical of the Lie…

We say that finite groups are isospectral if they have the same sets of orders of elements. It is known that every nonsolvable finite group $G$ isospectral to a finite simple group has a unique nonabelian composition factor, that is, the…

Let $K$ be a $p$-adically closed field and $G$ a group interpretable in $K$. We show that if $G$ is definably semisimple (i.e. $G$ has no definable infinite normal abelian subgroups) then there exists a finite normal subgroup $H$ such that…

For a prime number $p$, we show that if two certain canonical finite quotients of a finitely generated Bloch-Kato pro-$p$ group $G$ coincide, then $G$ has a very simple structure, i.e., $G$ is a $p$-adic analytic pro-$p$ group. This result…

A number field $K$ is Hilbert-Speiser if all of its tame abelian extensions $L/K$ admit NIB (normal integral basis). It is known that $\mathbb{Q}$ is the only such field, but when we restrict $\text{Gal}(L/K)$ to be a given group $G$, the…

We prove an analog of the Tits alternative for rational functions. In particular, we show that if $S$ is a finitely generated semigroup of rational functions over the complex numbers, then either $S$ has polynomially bounded growth or $S$…

We introduce a criterion on the presentation of finitely presented pro-$p$ groups which allows us to compute their cohomology groups and infer quotients of mild groups of cohomological dimension strictly larger than two, from (non-free)…

The aim of this paper is to investigate the algebraicity behavior of reductions of $D$-finite power series modulo prime numbers. For many classes of D-finite functions, such as diagonals of multivariate algebraic series or hypergeometric…

For a prime number $p$, we give a new restriction on pro-$p$ groups $G$ which are realizable as the maximal pro-$p$ Galois group $G_F(p)$ for a field $F$ containing a root of unity of order $p$. This restriction arises from Kummer Theory…

We give new polynomial-time algorithms for testing isomorphism of a class of groups given by multiplication tables (GpI). Two results (Cannon & Holt, J. Symb. Comput. 2003; Babai, Codenotti & Qiao, ICALP 2012) imply that GpI reduces to the…

We construct infinite families of irreducible supersingular mod $p$ representations of $\mathrm{GL}_2(F)$ with $\mathrm{GL}_2(\mathcal{O}_F)$-socle compatible with Serre's modularity conjecture, where $F / \mathbb{Q}_p$ is any finite…