חבורה אבלית נוצרת סופית – הבדלי גרסאות

הוכחה פשוטה יחסית למשפט המיון נובעת מתוצאה כללית יותר בתורת ה[[מודול (מבנה אלגברי)|מודולים]], ומתבססתשניתןומתבססת על כך שניתן לראות כל חבורה אבלית גם כמודול מעל ה[[חוג (מבנה אלגברי)|חוג]] <math>\ \mathbb{Z}</math>.