It is an historical goal of algebraic number theory to relate all algebraic extensionsofanumber?eldinauniquewaytostructuresthatareexclusively described in terms of the base ?eld. Suitable structures are the prime ideals of the ring of integers of the considered number ?eld. By examining the behaviouroftheprimeidealswhenembeddedintheextension?eld, su?cient information should be collected to distinguish the given extension from all other possible extension ?elds. The ring of integers O of an algebraic number ?eld k is a Dedekind ring. k Any non-zero ideal in O possesses therefore a...