Graphical properties of the bipartite graph of Spec(Z[x]) / {0}

Consider $Spec(Z[x])$, the set of prime ideals of $Z[x]$ as a partially ordered set under inclusion. By removing the zero ideal, we denote $G_{Z}=Spec(Z[x]){0}$ and view it as an infinite bipartite graph with the prime ideals as the vertices and the inclusion relations as the edges. In this paper, we investigate fundamental graph theoretic properties of $G_{Z}$. In particular, we describe the diameter, circumference, girth, radius, eccentricity, vertex and edge connectivity, and cliques of $G_{Z}$. The complement of $G_{Z}$ is investigated as well.