משפט נילסן-שרייר – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
|||
שורה 1:
ב[[תורת החבורות]], '''משפט נילסן-שרייר''' קובע
טענה מקבילה ל[[חבורה אבלית|חבורות אבליות]], שכל תת-חבורה של [[חבורה אבלית חופשית]] היא אבלית חופשית, הוכחה על ידי [[ריכארד דדקינד]]. [[יאקוב נילסן]] הוכיח ב-[[1921]] שהמשפט נכון לכל תת-חבורה [[נוצר סופית|נוצרת סופית]]. [[אוטו שרייר]] הוכיח את המשפט במלואו ב[[הביליטציה]] שלו ב-[[1926]].
להוכחת המשפט נחוצה [[אקסיומת הבחירה]],
להבדיל מתת-
==הוכחה==
| |||