Hocam G grubunun hipermerkezil olması için, G grubundan alınan elemanların bir dizisi g1,g2,...,gr,... olmak üzere g1,g2,...,gr elemanlarının komütatörü birim olacak şekilde en az bir r doğal sayısı varlığını göstermem gerekir. Buradan G grubunun tüm sayılabilir alt gruplarının hipermerkezil olduğunu kullanarak sonuca ulaşmaya çalışıyorum ama grubun bu özelliklere sahip alt gruplarını nasıl karakterize etmem gerektiğini çözümleyemedim. O yüzden ilerleyemedim.