Robin pointed this out, but I think it's worth saying inThis is not the answer box: the definition of "p is unramified" is that thereyou are no repeated factors mod plooking for. It is then a (not terribly difficult) theorem that this happens if and only if p divides the discriminant Go read Brian Conrad's.