The Genus Field and Genus Number in Algebraic Number Fields

Let k be an algebraic number field and K be its normal extension of finite degree. Then the genus field K* of K over k is defined as the maximal unramified extension of K which is obtained from K by composing an abelian extension over k 2) . We call the degree ( K* : K ) the genus number of K over k .