Sofic groups and finite Moufang loops
Sofic–Moufang conjecture. A group GGG is sofic if and only if it is locally embeddable into finite Moufang loops.