Z halkasinin tüm maksimal idealleri bir p asalı için pZ biçiminde verilir.
1- Z halkasının herhangi bir I ideali bir n∈Z için I=nZ biçiminde verilir:
Bir I≠{0} idelini alın. Bu idealde pozitif elemanlar olmak zorundadır. O pozitif elemanların en küçüğüne n diyelim. İdealin özelliklerinden dolayı nZ⊆I. Dahası eşitlik de olmayana ergide kanıtlanabilir.
2- Eğer n=ab ise, nZ⊆aZ ve eğer a≠n ise eşitlik sağlanmaz. Demek ki eğer ideal maksimalse o zaman n asaldır. Tersi de geçerlidir.