extension field index | relative degree

The degree (or relative degree, or index) of an extension field K/F, denoted [K:F], is the dimension of K as a vector space over F, i.e., [K:F] = dim_F K. If [K:F] is finite, then the extension is said to be finite; otherwise, it is said to be infinite.