The Genus Field and Genus Number in Algebraic Number Fields

Abstract

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 k2). We call the degree (K*: K) the genus number of K over k.