Prime ideal topology