משפט קיילי – הבדלי גרסאות

ב[[תורת החבורות]], '''משפט קיילי''' קובע שכל [[חבורה (מבנה אלגברי)|חבורה]] סופית איזומורפית ל[[תת חבורה]] של [[החבורה הסימטרית|חבורה סימטרית]] כלשהי, וכך מציג את החבורה כ[[חבורת תמורות]]. המשפט מראה שאפשר ללמוד את כל החבורות הסופיות באמצעות טיפול אחיד ב[[תמורה (מתמטיקה)|תמורות]], והוא נחשב לאחד מ"משפטי ההצגה" הקלאסיים: כל עצם מופשט (חבורה) הוא למעשה אובייקט קונקרטי ומוכר. את המשפט הוכיח המתמטיקאי [[ארתור קיילי]].