Let $L/K$ be a finite extension of algebraic number fields of degree prime $p$. Is it true that the index $(U_K:\text{Norm}(U_L))$ divides $[L:K]$, where $U_K$ denotes the unit group and Norm denotes the ideal norm map of the relative extension of $L/K$?
Does the unit index divide the degree of an extension of number fields?
A. Maarefparvar
- 437
- 2
- 8