الجملة 1: إيه كدا، المجموعات ابيلية الإضافية في فئة المجموعات ابيلية هي وحدات قابلة للقسمة، والعكس بالعكس، كل مجموعة إضافية (باير-المعيار) قابلة للقسمة. الجملة الثانية: هيكم، المجموعات القابلة للقسمة هي مودولات إضافية في فئة المجموعات الأبلية، وعلى العكس، كل مجموعة أبلية إضافية قابلة للقسمة (معيار باير). سؤال: الجملة 1 والجملة 2 يعبروا عن نفس المعنى؟ إيه أو لا؟