Let be an integral ring extension of integral domains with fields of fractions and , respectively. The integral degree of $A\subset B{\rm d}_A(B)$, is defined as the supremum of the degrees of minimal integral equations of elements of over . It is an invariant that lies in between and , the minimal number of generators of the -module . Our purpose is to study this invariant. We prove that it is sub-multiplicative and upper-semicontinuous in the following three cases: if is simple; if is projective and finite and $K\subset LA$ is integrally closed. Furthermore, is semicontinuous if is noetherian of dimension and with finite integral closure. In general, however, is neither sub-multiplicative nor upper-semicontinuous.

生成讲解博客的中文版本

生成AI智能校验的中文版本