פתיחת התפריט הראשי

שינויים

נוספו 115 בתים ,  לפני 8 שנים
אין תקציר עריכה
==הגדרה ודוגמאות==
 
באופן פורמלי, חבורה ציקלית היא חבורה <math>\ G</math> שבה קיים איבר <math>\ g\in G</math> שהחזקות שלו מרכיבות את החבורה כולה. לאיבר כזה קוראים '''יוצר''' של החבורה. כאשר משתמשים בכתיב כפלי, מקובל לסמן את החבורה הציקלית הנוצרת על ידי איבר <math>\ g</math> בסימון <math>\ \langle g \rangle</math>.
 
לדוגמה, החבורה <math>\ \mathbb{Z}</math> הכוללת את כל המספרים השלמים, ביחס לפעולת החיבור, היא ציקלית. כל איבר שלה מתקבל מסיכום היוצר <math>\ 1</math> לעצמו, מספר סופי של פעמים. דוגמה נוספת מתקבלת מן המספרים <math>\ \{0,1,2,\dots,n-1\}</math> עם פעולת החיבור [[חשבון מודולרי|מודולו]] המספר הטבעי <math>\ n</math>, כלומר [[חבורת מנה|חבורת המנה]] <math>\ \mathbb{Z}/n\mathbb{Z}</math>. גם כאן, <math>\ 1</math> הוא יוצר של החבורה, שהיא בעלת [[סדר של חבורה|סדר]] <math>\ n</math>.
== [[קיום ויחידות|יחידות]] וסימון ==
 
כל שתי חבורות ציקליות בעלות אותו [[סדר (תורת החבורות)|סדר]] הן [[איזומורפיזם (מתמטיקה)|איזומורפיות]] זו לזו, ולכן מוצדק לדבר על '''החבורה הציקלית''' מסדר n, ב[[ה' הידיעה]]. כאשר משתמשיםרוצים בכתיבלהדגיש כפליאת סדר החבורה, מקובל לסמן את החבורה הציקלית הנוצרת על ידי איבר <math>\ g</math> בסימוןמסדר <math>\ \langle g \rangle</math>n, או, כאשר רוצים להדגיש את סדר החבורה,כ- <math>\ \langle g|g^n=1 \rangle</math> ואפילו <math>\ \langle g|g^n \rangle</math> (ראו [[חבורה מוצגת סופית]]).
 
כל חבורה ציקלית מסדר <math>\ n</math> איזומורפית ל-<math>\ \mathbb{Z}_n</math>, וכל חבורה ציקלית אינסופית איזומורפית ל-<math>\ \mathbb{Z}</math>, ולכן גם אלו סימונים מקובלים לחבורה ציקלית.