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

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
Yonidebot (שיחה | תרומות)
מ בוט החלפות: דוגמה; על ידי;
שורה 1:
ב[[תורת החבורות]], '''פעולה פרימיטיבית''' היא [[פעולת חבורה|פעולה]] על קבוצה שבה אף חלוקה [[טריוויאלי|לא טריוויאלית]] אינה נשמרת. פעולה שאינה פרימיטיבית אפשר לפרק לחלקים - הפעולה על רכיבי החלוקה, והפעולה בתוכם - ולכן פעולות פרימיטיביות נחשבות קשות יותר לטיפול. בפעולה שאינה פרימיטיבית, מרכיבי הפעולה נקראים '''בלוקים'''.
 
לדוגמאלדוגמה, פעולת החבורה על עצמה על- ידי כפל משמאל אינה פרימיטיבית (אלא אם החבורה [[חבורה ציקלית|ציקלית]] מסדר ראשוני), משום שהפעולה שומרת על החלוקה של החבורה לקוסטים של תת-חבורה. הפעולה של חבורה G על הקוסטים G/H היא פרימיטיבית אם ורק אם H תת-חבורה מקסימלית.
 
מספר הפעולות הפרימיטיביות על קבוצות בגודל n=2,3,4,...,20 הוא 1,2,2,5,4,7,7,11,9,8,6,9,4,6,22,10,4,8,4, בהתאמה. [[רוברט קרמייקל]] שמיין את הפעולות האלה ב-[[1937]] מציין שמ-22 הפעולות הפרימיטיבות מדרגה 16, כולן פרט לפעולת החבורה הסימטרית וחבורת התמורות הזוגיות הן תת-חבורות של החבורה האפינית על המרחב ה-4-ממדי מעל ה[[שדה סופי|שדה הסופי]] <math>\ \mathbb{F}_2</math>.