משפט המיון של החבורות הפשוטות הסופיות הוא משפט מתמטי הקובע כי כל חבורה פשוטה סופית נמצאת באחת מ-4 הקטגוריות המתוארות למטה. עריכת רשימה מלאה של כל החבורות הפשוטות הסופיות עד כדי איזומורפיזם. החבורות הפשוטות הן אבני בניין של החבורות סופיות, בצורה שדומה לאיך שמספרים ראשוניים הם אבני הבניין של כל המספרים הטבעיים. משפט ז'ורדן-הלדר מספק דרך יותר ברורה להסביר איך החבורות הפשוטות הן אבני בניין.