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