For faster navigation, this Iframe is preloading the Wikiwand page for חבורה ציקלית.

חבורה ציקלית

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

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

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

הגדרה, יחידות וסימון

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

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

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

בכל חבורה, תת-החבורה הנוצרת על ידי איבר אחד (ומורכבת, על-פי ההגדרה, מכל החזקות ), היא חבורה ציקלית.

איברים

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

באופן כללי יותר, הסדר של איבר הוא , כאשר הוא המחלק המשותף המקסימלי של .

חבורת האוטומורפיזמים

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

גאוס מצא שחבורת אוילר היא ציקלית בדיוק כאשר שווה ל-2, 4, חזקה של ראשוני אי-זוגי, או פעמיים חזקה של ראשוני אי-זוגי.

פירוק לגורמים

Tablero producto anillos cíclicos 1.png

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

קישורים חיצוניים

הערות שוליים

  1. ^ כאשר מספר ראשוני נהוג להישאר עם הסימון הארוך שכן הסימון מסמן את חוג השלמים ה-p-אדיים הנפוץ באלגברה מופשטת ותורת המספרים (ראו מספר p-אדי).
{{bottomLinkPreText}} {{bottomLinkText}}
חבורה ציקלית
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.