Buildings and shadows.
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].
We prove that all finite simple groups of Lie type, with the exception of the Suzuki groups, can be made into a family of expanders in a uniform way. This confirms a conjecture of Babai, Kantor and Lubotzky from 1989, which has already been proved by Kassabov for sufficiently large rank. The bounded rank case is deduced here from a uniform result for which is obtained by combining results of Selberg and Drinfeld via an explicit construction of Ramanujan graphs by Lubotzky, Samuels and Vishne.