Finite Extension

An extension field is called finite if the dimension of as a vector space over (the so-called degree of over ) is finite. A finite field extension is always algebraic.

Note that "finite" is a synonym for "finite-dimensional"; it does not mean "of finite cardinality" (the field of complex numbers is a finite extension, of degree 2, of the field of real numbers, but is obviously an infinite set), and it is not even equivalent to "finitely generated" (a transcendental extension is never a finite extension, but it can be generated by a single element as, for example, the field of rational functions over a field ).

A ring extension is called finite if is finitely generated as a module over . An example is the ring of Gaussian integers , which is generated by as a module over . The polynomial ring , however, is not a finite ring extension of , since all systems of generators of as a -module have infinitely many elements: in fact they must be composed of polynomials of all possible degrees. The simplest generating set is the sequence

A finite ring extension is always integral.