相关论文: Generation of finite simple groups with an applica…

We find asymptotic lower bounds for the numbers of both Beauville and non-Beauville $2$-generator finite $p$-groups of a fixed order, which turn out to coincide with the best known asymptotic lower bound for the total number of…

We prove the Arad-Herzog conjecture for various families of finite simple groups- if A and B are nontrivial conjugacy classes, then AB is not a conjugacy class. We also prove that if G is a finite simple group of Lie type and A and B are…

We show that for every positive integer $n$ there exists a simple group that is of type $\mathrm{F}_{n-1}$ but not of type $\mathrm{F}_n$. For $n\ge 3$ these groups are the first known examples of this kind. They also provide infinitely…

We prove that non-abelian free groups of finite rank at least 3 or of countable rank are not $\forall$-homogeneous. We answer three open questions from Kharlampovich, Myasnikov, and Sklinos regarding whether free groups, finitely generated…

Let A be an abelian surface over F_q, the field of q elements. The rational points on A/\F_q form an abelian group A(\F_q) \simeq \Z/n_1\Z \times \Z/n_1 n_2 \Z \times \Z/n_1 n_2 n_3\Z \times\Z/n_1 n_2 n_3 n_4\Z. We are interested in knowing…

We construct continuum many infinite, simple, characteristic quotients of non-abelian free groups, answering a 1978 question of James Wiegold. The method is very flexible, allowing to impose certain properties on the quotients, to…

We construct finitely generated torsion-free solvable groups $G$ that have infinite rank, but such that all finitely generated torsion-free metabelian subquotients of $G$ are virtually abelian. In particular all finitely generated…

Necessary and sufficient conditions for finite commutative semihypergroups to be built from abelian groups of the same order are established.

We prove that the alternating groups of degree at least $5$ are uniquely determined up to an abelian direct factor by the degrees of their irreducible complex representations. This confirms Huppert's Conjecture for alternating groups.

We prove a conjecture of Boston that if $p\geq 5$, all $p$-central quotients of the free group on two generators and of the free product of two cyclic groups of order $p$ are Beauville groups. In the case of the free product, we also…

We show that cubulated hyperbolic groups with spherical boundary of dimension 3 or at least 5 are virtually fundamental groups of closed, orientable, aspherical manifolds, provided that there are sufficiently many quasi-convex,…

We address a question of Cavenagh and Wanless asking: which finite abelian groups arise as the canonical group of a spherical latin bitrade? We prove the existence of an infinite family of finite abelian groups that do not arise as…

Following Wielandt, a finite group $G$ is called a $B$-group (Burnside group) if every primitive group containing a regular subgroup isomorphic to $G$ is doubly transitive. Using a method of Schur rings, Wielandt proved that every abelian…

We construct an infinite family of triples $(G_k,H_k,T_k)$, where $G_k$ are 2-groups of increasing order, $H_k$ are index-2 subgroups of $G_k$, and $T_k$ are pairs of generators of $H_k$. We show that the triples $u_k = (G_k,H_k,T_k)$ are…

This is the third and final installment of an exposition of an ACL2 formalization of finite group theory. Part I covers groups and subgroups, cosets, normal subgroups, and quotient groups. Part II extends the theory in the developmnent of…

We construct, for any symplectic, unitary or special orthogonal group over a locally compact nonarchimedean local field of odd residual characteristic, a type for each Bernstein component of the category of smooth representations, using…

We define strict C(n) small-cancellation complexes, intermediate to C(n) and C(n+1), and we prove groups acting properly cocompactly on a simply-connected strict C(6) complex are hyperbolic relative to a collection of maximal virtually free…

We show that the free-by-cyclic groups of the form F(2)-by-Z act properly cocompactly on CAT(0) square complexes. We also show using generalised Baumslag-Solitar groups that all known groups defined by a 2-generator 1-relator presentation…

In this paper, we deal with locally graded groups whose subgroups are either subnormal or soluble of bounded derived length, say d. In particular, we prove that every locally (soluble-by-finite) group with this property is either soluble or…

We provide a new condition for an absolutely almost simple algebraic group to have good reduction with respect to a discrete valuation of the base field which is formulated in terms of the existence of maximal tori with special properties.…