Related papers: A Remark on Generalized Covering Groups

We obtain a characterization of the binary commutator on completely simple semigroups, using their Rees matrix representation. Consequently, we prove that a regular semigroup is nilpotent (solvable) if and only if it is simple, and all its…

We prove that the double covers of the alternating and symmetric groups are determined by their complex group algebras. To be more precise, let $n\geq 5$ be an integer, $G$ a finite group, and let $\AAA$ and $\SSS^\pm$ denote the double…

Let $A,B$ be nonempty subsets of a an abelian group $G$. Let $N_i(A,B)$ denote the set of elements of $G$ having $i$ distinct decompositions as a product of an element of $A$ and an element of $B$. We prove that $$ \sum _{1\le i \le t} |N_i…

Let $n$ be a positive integer and $G(n)$ denote the number of non-isomorphic finite groups of order $n$. It is well-known that $G(n) = 1$ if and only if $(n,\phi(n)) = 1$, where $\phi(n)$ and $(a, b)$ denote the Euler's totient function and…

The main result in Y.~O.~Hamidoune's paper "Adding Distinct Congruence Classes" ({\em Combin.~Probab.~Comput.}~{\bf 7} (1998) 81-87) is as follows: If $S$ is a generating subset of a cyclic group $G$ such that $0 \not \in S$ and $|S| \geq…

A maximal abelian normal subgroup A in a nilpotent group N is self-centralizing. This makes their role an important one in determining the structure of the nilpotent group. For example if A is finite then N is also finite. In the free…

Leighton's graph covering theorem says that two finite graphs with a common cover have a common finite cover. We present a new proof of this using groupoids, and use this as a model to prove two generalisations of the theorem. The first…

We show that any connected algebraic group $G$ over a field admits a nilpotent normal subgroup $Z_\infty(G)$ such that the quotient $G/Z_\infty(G)$ has trivial center. We construct $Z_\infty(G)$ as the final term of the transfinitely…

One of the most beautiful results in the integral representation theory of finite groups is a theorem of A. Weiss that detects a permutation $R$-lattice for the finite $p$-group $G$ in terms of the restriction to a normal subgroup $N$ and…

In this paper, first we obtain an explicit formula for an outer commutator multiplier of nilpotent products of cyclic groups with respect to the variety $[\mathfrak{N}_{c_1},\mathfrak{N}_{c_2}]$, $\mathfrak{N}_{c}M(\mathbb{Z}\st{n}*…

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,…

Let $G$ be a finite group, define $I(G)=\{x\in G : x^{2}=1\}$, $C(G)=$ set of the cyclic subgroups of $G$, $i(G)=|I(G)|$ and $c(G)=|C(G)|$. In this article, we will classify finite groups with $i(G)=c(G)-r$ for $r=0,1,$ and $2$. We also…

If F is a free group of finite rank at least two then any group of the form F by Z is large. In this short note we show how this statement follows by combining a very recent theorem of Hagen and Wise (using work of Agol and of Wise) with…

Up to dimension five, we can prove that given any closed Riemannian manifold with nonnegative scalar curvature, of which the universal covering has vanishing homology group $H_k$ for all $k\geq 3$, either it is flat or it has Gauss-Bonnet…

A generalized Baumslag-Solitar group (GBS group) is a finitely generated group $G$ which acts on a tree with all edge and vertex stabilizers infinite cyclic. We show that Out(G) either contains non-abelian free groups or is virtually…

There is a well understood way of generating random coverings of a fixed manifold by sampling homomorphisms from the fundamental group of this manifold into the symmetric group. We prove a central limit theorem for the number of connected…

In 1996, in his last paper, Erd\H{o}s asked the following question that he formulated together with Faudree: is there a positive $c$ such that any $(n+1)$-regular graph $G$ on $2n$ vertices contains at least $c 2^{2n}$ distinct…

The aim of this note is to provide a variant statement of Mumford's theorem. This variant states that for a general variety, all Chow groups are "as large as possible", in the sense that they cannot be supported on a divisor.

The {\it Weierstrass semigroup} of pole orders of meromorphic functions in a point $p$ of a smooth algebraic curve $C$ is a classical object of study; a celebrated problem of Hurwitz is to characterize which semigroups ${\rm S} \subset…

We consider a group-theoretic analogue of the classic subset sum problem. It is known that every virtually nilpotent group has polynomial time decidable subset sum problem. In this paper we use subgroup distortion to show that every…