# Cherlin's conjecture for sporadic simple groups

## TL;DR

This paper proves Cherlin's conjecture for binary primitive permutation groups whose socle is a sporadic simple group, confirming the conjecture in this specific case.

## Contribution

It establishes Cherlin's conjecture for a new class of groups, specifically those with sporadic simple group socles, expanding the conjecture's verified scope.

## Key findings

- Cherlin's conjecture holds for sporadic simple group socles.
- Binary primitive permutation groups with these socles satisfy the conjecture.
- The proof covers all sporadic simple groups.

## Abstract

We prove Cherlin's conjecture, concerning binary primitive permutation groups, for those groups with socle isomorphic to a sporadic simple group.