תת-חבורת הקומוטטורים – הבדלי גרסאות

ב[[חבורה פשוטה]] שאינה קומוטטיבית, כל איבר שייך לתת-חבורת הקומוטטורים, ולכן הוא מכפלה של קומוטטורים. המתמטיקאי Oystein Ore שיער (ב-[[1951]]) שבחבורה פשוטה סופית, כל איבר הוא קומוטטור (של שני איברים כלשהם בחבורה), והוכיח טענה זו עבור [[חבורת התמורות הזוגיות]] <math>\ A_n</math>. מאוחר יותר הוכיחו את ההשערה לכל [[חבורה מטיפוס לי]] <math>\ L_r(q)</math>, עבור <math>\ q>8</math>., הבעיהובסופו עדייןשל פתוחהדבר עבור(2008), חבורותתוך מטיפוסשילוב ליחסמים מעלתאורטיים [[שדהוחישוביים סופי|שדות]]על קטניםקרקטרים, לכל חבורה פשוטה סופית.