 When formula_3 is finite, one writes formula_4 instead of formula_5 and one says that "K"("S") is finitely generated over "K".If "S" consists of a single element "s", the extension is called a simple extension and "s" is called a primitive element of the extension.An extension field of the form is often said to result from the "" of "S" to "K".