How is the degree of a prime ideal of an algebraic number field defined?
An algebraic number field is a finite extension of $\mathbb{Q}$, right?
A prime ideal is an ideal in a ring, i.e., a subgroup that defined a partition of the ring into residue classes, where its residue class ring is an integral domain, right?
But what is the degree of a prime ideal?