חוג חבורה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 61:
* (השערת זסנהאוז השנייה) אם <math>H</math> תת-חבורה של <math>\mathbb{Z}[G]^1</math> שסדרה שווה לזה של <math>G</math> ו-<math>\mathbb{Z}[G]=\mathbb{Z}[H]</math>, אז <math>H</math> צמודה (כנ"ל) ל-<math>G</math>.
השערה 3 גוררת את השערות 1 ו-2. השערה 2 גוררת פתרון לבעיית האיזומורפיזם (מעל השלמים). ידוע שהשערות אלה נכונות עבור [[חבורה נילפוטנטית]]. השערה 1 (וממילא גם 3) אינה נכונה באופן כללי. '''בעיית האיזומורפיזם המודולרית''', השואלת האם חוג החבורה <math>\mathbb{F}_p[G]</math> של [[חבורת-p]] G קובע את החבורה, הופרכה {{
== חבורות טופולוגיות ==
| |||