Egy megszámlálható csoportot szofikusnak hívunk, ha valamely Cayley-gráfja közelíthető véges gráfokkal. Számos csoport-osztályról lehet tudni, hogy szofikusak: például a reziduálisan véges csoportok vagy az amenábilis csoportok. Nem ismert viszont, hogy létezik-e nem szofikus csoport (bár állítólag Gromov azt mondta: nyilvánvaló, hogy létezik). A szofikusságnak fontos ergodelméleti, operátor algebrás stb. következményei vannak, a számos ekvivalens leírása közül mégis mindegyikben dominál a kombinatorikus jelleg. Ezekből csemegézunk.
Minden érdeklődőt szeretettel várunk,
Péter