English

On the integral degree of integral ring extensions

Commutative Algebra 2018-03-02 v2

Abstract

Let ABA\subset B be an integral ring extension of integral domains with fields of fractions KK and LL, respectively. The integral degree of ABA\subset B, denoted by dA(B){\rm d}_A(B), is defined as the supremum of the degrees of minimal integral equations of elements of BB over AA. It is an invariant that lies in between dK(L){\rm d}_K(L) and μA(B)\mu_A(B), the minimal number of generators of the AA-module BB. Our purpose is to study this invariant. We prove that it is sub-multiplicative and upper-semicontinuous in the following three cases: if ABA\subset B is simple; if ABA\subset B is projective and finite and KLK\subset L is a simple algebraic field extension; or if AA is integrally closed. Furthermore, d{\rm d} is semicontinuous if AA is noetherian of dimension 11 and with finite integral closure. In general, however, d{\rm d} is neither sub-multiplicative nor upper-semicontinuous.

Keywords

Cite

@article{arxiv.1507.02120,
  title  = {On the integral degree of integral ring extensions},
  author = {José M. Giral and Liam O'Carroll and Francesc Planas-Vilanova and Bernat Plans},
  journal= {arXiv preprint arXiv:1507.02120},
  year   = {2018}
}
R2 v1 2026-06-22T10:07:57.070Z