לדלג לתוכן

מבנים אלגבריים/הקדמה/תמורות

מתוך ויקיספר, אוסף הספרים והמדריכים החופשי

הפירוש המילולי של המילה "תמורה" הוא שינוי. אכן, לאחר קריאת ההגדרה, יוכל הקורא להווכח בקלות בדמיון הרב שיש בין ההגדרה המילולית להגדרה המתמטית ואולי אף יוכל לדמיין לעצמו את העניין הרב שמצאו (ועדיין מוצאים) המתמטיקאים (ואלה המתמחים באלגברה בפרט) במושג התמורה.

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

הגדרות בסיסיות

[עריכה]

נתחיל בהגדרה של תמורה על קבוצה כללית כלשהי ונמשיך משם:


הגדרה: תמורה על קבוצה S

תהי קבוצה כלשהי. הפונקציה תיקרא תמורה של אםם חח"ע ועל

כמובן שקל לראות שעבור כל קבוצה בהכרח קיימת העתקה חח"ע ועל ממנה לעצמה, והיא העתקת הזהות. בפרק זה נסמן את העתקת הזהות בתור .

באופן טבעי נגדיר הרכבה של תמורות כך:

הגדרה: הרכבה של תמורות

תהי קבוצה כלשהי. ויהיו תמורות כלשהן של . נגדיר:

לעיתים נשתמש בסימון .

הקורא ימצא שאין זה קשה להוכיח שהרכבה של תמורות היא תמורה בעצמה. כמו כן, הטענה הבאה היא טריוואלית:

טענה: תמורה הפכית

לכל תמורה של הקבוצה , קיימת תמורה כך שמתקיים:

הגדרה חשובה נוספת בהקשר של תמורות:

הגדרה: נקודות שבת

איבר כך שמתקיים נקרא נקודת שבת של התמורה .

תמורות של קבוצה סופית

[עריכה]

לפני שנתחיל להתעסק בנושא העיקרי של פרק זה, נזדקק לעוד הגדרה קטנה:

הגדרה:

בהינתן נסמן:

הגדרה

[עריכה]

הגדרה: תמורה על קבוצה סופית

תמורה על קבוצה סופית בת n איברים היא תמורה .

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

דוגמאות

[עריכה]
  1. תמורת הזהות
  2. התמורה המוגדרת ע"י
  3. התמורה המוגדרת ע"י

סימון מטריצאלי

[עריכה]

כפי שניתן לראות, סימון של תמורה ספציפית יכול להעשות די מסורבל בקבוצות סופיות. על כן הומצא הסימון המטריצאלי לתמורות.


הגדרה: סימון מטריצאלי לתמורות

בהינתן נסמן את התמורה באופן הבא:

דוגמאות

[עריכה]
  • תמורת הזהות:
  • התמורה מדוגמה 2 לעיל:
  • התמורה מדוגמה 3 לעיל:

הרכבה של תמורות

[עריכה]

טרנספוזציות וסייקלים

[עריכה]

סימן של תמורה

[עריכה]

תכונות בסיסיות של תמורות

[עריכה]
הפרק הקודם:
קצת תורת המספרים
תמורות הפרק הבא:
חבורות