In mathematics, random groups are certain groups obtained by a probabilistic construction. They were introduced by Misha Gromov to answer questions such as "What does a typical group look like?"
Contents
It so happens that, once a precise definition is given, random groups satisfy some properties with very high probability, whereas other properties fail with very high probability. For instance, very probably random groups are hyperbolic groups. In this sense, one can say that "most groups are hyperbolic".
Definition
The definition of random groups depends on a probabilistic model on the set of possible groups. Various such probabilistic models yield different (but related) notions of random groups.
Any group can by defined by a group presentation involving generators and relations. For instance, the Abelian group
Once the random relations
The few-relator model of random groups
The simplest model of random groups is the few-relator model. In this model, a number of generators
Then, the model consists in choosing the relations
This model is especially interesting when the relation length
Further remarks
More refined models of random groups have been defined.
For instance, in the density model, the number of relations is allowed to grow with the length of the relations. Then there is a sharp "phase transition" phenomenon: if the number of relations is larger than some threshold, the random group "collapses" (because the relations allow to show that any word is equal to any other), whereas below the threshold the resulting random group is infinite and hyperbolic.
Constructions of random groups can also be twisted in specific ways to build group with particular properties. For instance, Gromov used this technique to build new groups that are counter-examples to an extension of the Baum-Connes conjecture.