מבנים אלגבריים/חבורות/חבורות חשובות

מספרים

שלמים

החבורה עליה מדובר היא החבורה $\ (\mathbb {Z} ,+)$ כאשר איבר היחידה הוא $\ 0$ והחיבור הוא החיבור המוכר לכולנו של חיבור שלמים. ההוכחה שזו אכן חבורה נובעת מההגדרה של החיבור על השלמים והאקסיומות של פיאנו, לא נזכיר אותה בפרק זה.

רציונאלים

החבורה $(\mathbb {Q} ,+)$ עם איבר היחידה $0$.

ממשיים

החבורה $(\mathbb {R} ,+)$ עם איבר היחידה $0$.

שלמים מודלו n

יהו $a,n\in \mathbb {N}$. נחלק את $a$ ב$n$, ואת השארית נסמן ב$a_{\mathrm {mod} \ n}$. לכל $a,b\in \mathbb {N}$ נסמן $a+_{n}b=(a+b)_{\mathrm {mod} \ n}$. לכל $n\in \mathbb {N}$ נסמן $\mathbb {Z} _{n}=\{x\in \mathbb {N} |x\leq n\}=\{0,\dots ,n-1\}$.

החבורה $(\mathbb {Z} _{n},+_{n})$ עם איבר היחידה $0$ נקראת החבורה מודולו n.

פונקציות

חבורת התמורות על קבוצה כלשהי (חבורת הסימטריה)

תהי $X$ קבוצה. נסמן ב$S_{X}$ את קבוצת הפונקציות $f:X\to X$ החד-חד-ערכיות ועל.

החבורה $(S_{X},\circ )$ עם איבר היחידה $I$ נקראת חבורת הסימטריה על $X$.

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

אם $X$ קבוצה סופית שמספר איבריה $|X|=n$, אז ניתן להראות באינדוקציה כי $|S_{X}|=n!$. את חבורת הסימטריה על הקבוצה $\mathbb {Z} _{n}$ נהוג לסמן $S_{n}$.

גיאומטריה

חבורות ליניאריות

החבורה האוניטרית

הפרק הקודם: תכונות בסיסיות

חבורות חשובות

הפרק הבא: תת-חבורות