?نشان می دهیم اگر ? g = ab?گروه متناهی باشد که در آن ? a, b?زیرگروههای آبلی اند،? ?آنگاه بنا به قضیه ی ایتو زیرگروه مشتق یعن ?? g?آبلی است.? ?همچنین در حالت که زیرگروههای ? a?یا ? b?دوری باشند، می توان خواص بیشتری را مورد بررسی قرار داد. نشان? ?می دهیم، به عنوان مثال (? g? /(g? ? a?در این حالت با زیرگروهی از ? b?یکریخت است.?