I am trying to learn how to generate hilbert class field of an imaginary quadratic field $K$ in the book Silvermans Advanced Topics in the Arithmetic of Elliptic curves. I dont understand some fact in the proof. Let $$(.,L/K): I^\mathfrak{m} \longrightarrow \textrm{Gal}(L/K)$$ be the Artin map for the abelian extension $L/K$ with the conductor $\mathfrak{m}$. We want to prove $L$ is the maximal unramified abelian extension (Hilbert class field) of $K$. At some point in the proof, I reached the following fact: $$((\alpha),L/K)=1 \textrm{ for all } (\alpha)\in I^\mathfrak{m}.$$ Now, somehow I need to see that $\mathfrak{m}$ has to be $(1)$. Because then I will conclude that $L/K$ is unramified. However, to show that $(1)$ is the conductor of the extension $L/K$, first I need to show that $(1)$ is divisible by all ramified primes of $K$, so I need to determine all ramified primes isn`t it? But the book without any explanation just says, the above fact implies that the conductor of $L/K$ is trivial, by the definition of conductor. Maybe I have problem at the definition of conductor. If anyone enlighten me, I would be glad.
Definition of conductor: Let $L/K$ be a finite abelian extension of number fields. Artin reciprocity guarantees the existence of an integral ideal $\mathfrak{c}$ of $K$, divisible by all the primes of $K$ that ramify in $L$, such that $((\alpha,L/K))=1$ for all $\alpha\in K$* satisfying $\alpha\equiv 1$ (mod $\mathfrak{c})$. The largest integral ideal of $K$ among such ideals is called the conductor of $L/K$.