Zp: p-sel sayilar
İkinci soru için: Sonlu üreteçli her grup sayılabilirdir. Dolayısıyla, eğer sonlu indeksi ve sonlu üreteçli bir altgrubu olsaydı, Zp sonlu tane sayılabilir cosetin bileşimi olur ve sayılabilir olurdu.