a field E containing a field F is called an extension field of (or simply an extension of F ,and we speak of an extension E/F).such an E can be regarded an F-vector space and we write (E:F)for the dimension , possibly infinite , of E as an F-vector space . this dimension is called the degree of E over F. we say that E is finite over F when it has finite dagree over F.