Related papers: Deficiency of p-Class Tower Groups and Minkowski U…

For a finite connected graph $\mathcal{E}$ with set of edges $E$, a finite $E$-generated group $G$ is constructed such that the set of relations $p=1$ satisfied by $G$ (with $p$ a word over $E\cup E^{-1}$) is closed under deletion of…

The Kuratowski monoid $\mathbf{K}$ is generated under operator composition by closure and complement in a nonempty topological space. It satisfies $2\leq|\mathbf{K}|\leq14$. The Gaida-Eremenko (or GE) monoid $\mathbf{KF}$ extends…

Let $L/K$ be a $G$-Galois extension of fields with an $H$-Hopf Galois structure of type $N$. We study the ratio $GC(G, N)$, which is the number of intermediate fields $E$ with $K \subseteq E \subseteq L$ that are in the image of the Galois…

We study the action of the Galois group $G$ of a finite extension $K/k$ of number fields on the points on an elliptic curve $E$. For an odd prime $p$, we aim to determine the structure of the $p$-adic completion of the Mordell-Weil group…

Let $K$ be the fraction field of a strictly Henselian DVR of characteristic $p \geq 0$ with algebraic closure $\bar{K}$, and let $\alpha_{1}, ..., \alpha_{d} \in \mathbb{P}_{K}^{1}(K)$. In this paper, we give explicit generators and…

The first aim of this note is to fill a gap in the literature by proving that, given a global field $K$ and a finite set $\mathcal{S}$ of primes of $K$, every finite split embedding problem $G \rightarrow {\rm{Gal}}(L/K)$ over $K$ with…

Let $G$ be either the Grigorchuk $2$-group or one of the Gupta-Sidki $p$-groups. We give new upper bounds for the diameters of the quotients of $G$ by its level stabilisers, as well as other natural sequences of finite-index normal…

For any finite cyclic $p$-group $G$, we will show that every $\mathbb{Z}_p$-torsion free finitely generated $\mathbb{Z}_p[G]$-module appears as $\mathcal{O}_K^\times\otimes_{\mathbb{Z}}\mathbb{Z}_p$ up to $\mathbb{Z}_p[G]$-free direct…

We show that for every finitely presented pro-$p$ nilpotent-by-abelian-by-finite group $G$ there is an upper bound on $\dim_{\mathbb{Q}_p} (H_1(M, \mathbb{Z}_p) \otimes_{\mathbb{Z}_p} \mathbb{Q}_p )$, as $M$ runs through all pro-$p$…

Let $G$ be a Frobenius group with an abelian Frobenius kernel $F$ and let $k$ be a finite extension of $\mathbb{Q}$. We obtain an upper bound for the number of degree $|F|$ algebraic extensions $K/k$ with Galois group $G$ with the norm of…

It is well known that for a Hausdorff topological group $X$, the limits of convergent sequences in $X$ define a function denoted by $\lim$ from the set of all convergent sequences in $X$ to $X$. This notion has been modified by Connor and…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

In this paper, we assume that $G$ is a finitely generated torsion free non-elementary Kleinian group with $\Omega(G)$ nonempty. We show that the maximal number of elements of $G$ that can be pinched is precisely the maximal number of rank 1…

Let $G$ be a finite group written multiplicatively. By a sequence over $G$, we mean a finite sequence of terms from $G$ which is unordered, repetition of terms allowed, and we say that it is a product-one sequence if its terms can be…

Given a finitely generated residually finite group $G$, the residual finiteness growth $\text{RF}_G: \mathbb{N} \to \mathbb{N}$ bounds the size of a finite group $Q$ needed to detect an element of norm at most $r$. More specifically, if…

Let $\mathcal K$ be a field of formal Laurent series with coefficients in a finite field of characteristic $p$, $\mathcal G_{<p}$ -- the maximal quotient of $\operatorname{Gal} (\mathcal K_{sep}/\mathcal K)$ of period $p$ and nilpotent…

The `global' Zarankiewicz problem for hypergraphs asks for an upper bound on the number of edges of a finite $r$-hypergraph $V$ in terms of the number $|V|$ of its vertices, assuming the edge relation is induced by a fixed $K_{k, \dots,…

Let $G$ be a nontrivial connected graph of order $n$ and let $k$ be an integer with $2\leq k\leq n$. For a set $S$ of $k$ vertices of $G$, let $\kappa (S)$ denote the maximum number $\ell$ of edge-disjoint trees $T_1,T_2,...,T_\ell$ in $G$…

Let $ G$ be a finite group and $p$ be a prime. Let $ \mathrm{Vo}(G) $ denote the set of the orders of vanishing elements, $\mathrm{Vo}_{p} (G)$ be the subset of $ \mathrm{Vo}(G) $ consisting of those orders of vanishing elements divisible…

Let $G$ be a finite soluble group and $G^{(k)}$ the $k$th term of the derived series of $G$. We prove that $G^{(k)}$ is nilpotent if and only if $|ab|=|a||b|$ for any $\delta_k$-values $a,b\in G$ of coprime orders. In the course of the…