$\mathbb{Z}_p$: $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ı, $\mathbb{Z}_p$ sonlu tane sayılabilir cosetin bileşimi olur ve sayılabilir olurdu.