An implementation of the Neumann-Praeger algorithm for the recognition of special linear groups.
Let be a finite group, and let be the set of conjugacy class sizes of . By Thompson’s conjecture, if is a finite non-abelian simple group, is a finite group with a trivial center, and , then and are isomorphic. Recently, Chen et al. contributed interestingly to Thompson’s conjecture under a weak condition. They only used the group order and one or two special conjugacy class sizes of simple groups and characterized successfully sporadic simple groups (see Li’s PhD dissertation). In...
We describe, in a constructive way, a family of commutative loops of odd order, , which have no nontrivial subloops and whose multiplication group is isomorphic to the alternating group .
All crossed products of two cyclic groups are explicitly described using generators and relations. A necessary and sufficient condition for an extension of a group by a group to be a cyclic group is given.
Let G be a finite group, and (p ≥ 3). It is proved that G ≅ M if G and M have the same order components.
We present a survey of results on word equations in simple groups, as well as their analogues and generalizations, which were obtained over the past decade using various methods: group-theoretic and coming from algebraic and arithmetic geometry, number theory, dynamical systems and computer algebra. Our focus is on interrelations of these machineries which led to numerous spectacular achievements, including solutions of several long-standing problems.
We show that random Cayley graphs of finite simple (or semisimple) groups of Lie type of fixed rank are expanders. The proofs are based on the Bourgain-Gamburd method and on the main result of our companion paper [BGGT].