הצגת המקור של הדף "חבורה חליקה"

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

== הגדרה ==
[[חבורה אבלית]] <math>G</math> היא '''חליקה''' אם לכל איבר יש שורש מכל סדר. בכתיב חיבורי, הכוונה היא שלכל <math>x \in G</math> ולכל <math>n</math> טבעי יש <math>y \in G</math> עבורו <math>x=yn</math>. כלומר, לכל <math>n</math> טבעי מתקיים <math>G=nG</math>.

עבור <math>p</math> ראשוני, אומרים כי חבורה היא '''p-חליקה''' אם לכל <math>x \in G</math> יש <math>y \in G</math> עבורו <math>x=py</math>. באופן דומה לחליקות, חבורה <math>p</math> היא p-חליקה אמ"מם ורק אם <math>G=pG</math>.
מהגדרה זו מקבלים גם תנאי שקול נוסף לחליקות - חבורה היא חליקה [[אם ורק אם]] היא p-חליקה לכל <math>p</math> ראשוני.

חבורה היא '''חבורה מצומצמת''' אם אין לה אף תת-חבורה חליקה פרט לתת-החבורה הטריוויאלית.

== תכונות והכללות ==

אם G חליקה אז כל מנה שלה היא חליקה. סכום ישר של חבורות הוא חליק אם ורק אם כל מרכיב שלו הוא חליק.

[[חבורה אבלית נוצרת סופית]] אינה יכולה להיות חליקה (אלא אם היא טריוויאלית). חבורה אבלית היא חליקה אם ורק אם אין לה תת-חבורה מקסימלית.

תת-חבורה חליקה <math>D</math> היא מחובר ישר בחבורה כולה, כלומר, קיימת תת-חבורה <math>M</math> כך ש-<math>G = M \oplus D</math>. גם להפך: אם D מחובר ישר בכל חבורה אבלית המכילה אותה, אז היא חליקה.

== דוגמאות ==
* [[מספר רציונלי|הרציונליים]] <math>\mathbb{Q}</math> עם פעולת החיבור היא חליקה.
* באופן כללי יותר, החבורה החיבורית של [[מרחב וקטורי]] מעל <math>\mathbb{Q}</math> היא חליקה.
* לכל ראשוני <math>p</math>, החבורה <math>\{r \in \mathbb{Q} \mid r={i}/{p^n} \text{ for some } i,n \in \mathbb{Z}\}</math> עם פעולת החיבור מודולו 1 היא חליקה. חבורה זו נקראת חבורת-<math>p^\infty</math>, או <math>\mathbb{Z}(p^\infty)</math>.
* החבורה הכפלית של [[שדה המספרים המרוכבים|המרוכבים]] <math>\mathbb{C}^*</math> היא חליקה.
* כל [[חבורת מנה|מנה]] של חבורה חליקה היא חליקה. בפרט, <math>\mathbb{Q}/\mathbb{Z}</math> חבורה חליקה.

== הקשר לחבורות אבליות כלליות ==

לכל חבורה אבלית <math>G</math> יש תת-חבורה חליקה מקסימלית (כזו שמכילה את כל תת-החבורות החליקות). מכאן שכל חבורה אבלית אפשר לפרק באופן יחיד לסכום ישר של חבורה חליקה וחבורה מצומצמת.

כל חבורה חסרת פיתול וחליקה היא מרחב וקטורי מעל <math>\mathbb{Q}</math> (ולכן היא סכום ישר של עותקים של החבורה החיבורית <math>\mathbb{Q}</math>).

לחבורות מפותלות יש מחובר ישר שהוא או ציקלי מסדר ראשוני או חבורת-<math>p^\infty</math> עבור <math>p</math> ראשוני כלשהו, ומכאן שחבורה מפותלת ניתנת להפרדה לא טריוויאלית אם ורק אם היא ציקלית מסדר חזקה של ראשוני או חבורת-<math>p^\infty</math>.
במקרה המיוחד בו החבורה היא חבורת-p, מקבלים גם כי כל תת-חבורה ציקלית מסדר מקסימלי היא מחוברת ישרה של החבורה כולה. אם החבורה היא חבורת-p שלכל איבר אפשר להוציא שורש <math>p</math>, בהכרח יש לה תת-חבורה שהיא <math>p^\infty</math>. במקרה של חבורת-p שהיא גם חליקה, מקבלים כי החבורה היא סכום ישר של חבורות-<math>p^\infty</math>.

בעזרת כל אלו אפשר להגיע למשפט פירוק כללי לחבורות חליקות.

== משפט פירוק לחבורות חליקות ==

כל חבורה חליקה G היא סכום ישר של חבורה חליקה ומפותלת, וחבורה חליקה וחסרת פיתול. המרכיב הראשון הוא [[תת חבורת הפיתול]] של G, שמסמנים ב-<math>\mathrm{Tor}(G)</math>, והוא יחיד (היינו, מופיע בהכרח כמרכיב המפותל בכל פירוק כנ"ל). המרכיב השני יחיד עד כדי איזומורפיזם.

כל חבורה מפותלת מתפרקת לסכום ישר של מרכיבים פרימריים. המרכיב ה-p-פרימרי של חבורה חליקה הוא סכום ישר של עותקים של החבורה <math>\mathbb{Z}[1/p]/\mathbb{Z}</math> (שמסמנים ב-<math>\mathbb{Z}(p^{\infty})</math>). הצגה זו אמנם אינה יחידה, אבל מספר המרכיבים מכל סוג קבוע.

==הכללות למודולים==
בספרות המתמטית נעשו מספר ניסיונות להכליל את המושג של חבורה חליקה למודולים. ההגדרות הבולטות שניתן למצוא בספרות למודול חליק <math>M</math> מעל חוג <math>R</math> הן:

# <math>rM=M</math> לכל סקלר <math>r \neq 0</math> (לעיתים נדרש גם ש-<math>r</math> אינו [[מחלק אפס]], ולעיתים נדרש גם ש-<math>R</math> יהיה תחום).
# לכל אידיאל ראשי שמאלי <math>Ra</math>, כל [[הומומורפיזם]] מ-<math>Ra</math> ל-<math>M</math> אפשר להרחיב להומומורפיזם מ-<math>R</math> ל-<math>M</math>.
# לכל אידיאל שמאלי [[נוצר סופית]] <math>L</math>, כל הומומורפיזם מ-<math>L</math> ל-<math>M</math> אפשר להרחיב להומומורפיזם מ-<math>R</math> ל-<math>M</math>.

כשבוחנים את הגדרות אלו, יש לשים לב שלעיתים הגדרות אלו מתלכדות אחת עם השנייה אם עם הגדרות אחרות בספרות. לדוגמה אם <math>R</math> הוא תחום, שלוש ההגדרות מתלכדות. אם <math>R</math> הוא חוג ראשי שמאלי, אז ההגדרה של מודול חליק מתלכדת עם ההגדרה של [[מודול אינג'קטיבי]]. בנוסף אם <math>R</math> הוא תחום קומוטטיבי, אז המודולים האינג'קטיביים מתלכדים עם המודולים החליקים אם ורק אם <math>R</math> הוא [[חוג דדקינד]].

[[קטגוריה:תורת החבורות]]