חבורה פולי-ציקלית

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

במתמטיקה, חבורה פולי-ציקלית היא חבורה פתירה המקיימת את תנאי השרשרת העולה על תת-חבורות.

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

כל חבורה נילפוטנטית נוצרת סופית (ובפרט כל חבורה אבלית נוצרת סופית) היא פולי-ציקלית. כל חבורה פתירה סופית היא פולי-ציקלית. לכל חבורה פולי-ציקלית יש הצגה סופית.

אנטולי מלצב הוכיח שכל תת-חבורה פתירה של \operatorname{GL}_n(\mathbb{Z}) היא פולי-ציקלית; Auslander ו-Swan הוכיחו שגם ההיפך נכון: כל חבורה פולי-ציקלית (ואפילו ההולומורף של חבורה פולי-ציקלית) אפשר לשכן בחבורת המטריצות מעל השלמים.

חבורה פולי-ציקלית למעשה[עריכת קוד מקור | עריכה]

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

אינדקס הירש של חבורה פולי-ציקלית הוא מספר הגורמים האינסופיים בסדרה הנורמלית שגורמיה ציקליים. לכל התת-חבורות הפולי-ציקליות מאינדקס סופי של חבורה G יש אותו אינדקס הירש.

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

חבורות פולי-ציקליות למעשה הן residually finite. יתרה מזו, הירש הוכיח (1946) שאם כל המנות הסופיות של חבורה כזו הן נילפוטנטיות, אז היא נילפוטנטית בעצמה. ההשלמה הפרו-סופית של חבורה פולי-ציקלית למעשה, קובעת את החבורה עד כדי מספר סופי של מחלקות איזומורפיזם (Grunewald–Pickel–Segal, 1980).

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

ראו גם[עריכת קוד מקור | עריכה]