The primitive element theorem for commutative algebras (Q2716461)

An extension \(R\subset T\) of commutative rings has FIP if the set of \(R\)-subalgebras of \(T\) is finite. In this case \(T\) must be algebraic over \(R\) but in general \(T\) is not generated as an \(R\)-algebra by one element as it happens in the field case. If \(R\subset T\) is an integral extension which has FIP then \(T\) is a module finite \(R\)-algebra. If \(K\) is a field, one obtain a complete description of those extensions \(K\subset T\) having FIP.