Everywhere unramified extension of number fields
= Everywhere unramified extension of number fields
A finite extension of <number fields> is unramified everywhere when every finite <prime ideal> is unramified. If infinite places are included in the convention, one also requires every real place to remain real.