Year: 2019
Type: preprint
Abstract: We study integrality over rings (all commutative in this paper) and over ideal semifiltrations (a generalization of integrality over ideals). We begin by reproving classical results, such as a version of the "faithful module" criterion for integrality over a ring, the transitivity of integrality, and the theorem that sums and products of integral elements are again integral. Then, we define the notion of integrality over an ideal semifiltration (a sequence $\left( I_0,I_1,I_2,\ldots\right)$ of ideals satisfying $I_0 =A$ and $I_a I_b \subseteq I_{a+b}$ for all $a,b\in\mathbb{N}$), which generalizes both integrality over a ring and integrality over an ideal (as considered, e.g., in Swanson/Huneke, "Integral Closure of Ideals, Rings, and Modules"). We prove a criterion that reduces this general notion to integrality over a ring using a variant of the Rees algebra. Using this criterion, we study this notion further and obtain transitivity and closedness under sums and products for it as well. Finally, we prove the curious fact that if $u$, $x$ and $y$ are three elements of a (commutative) $A$-algebra (for $A$ a ring) such that $u$ is both integral over $A\left[ x\right]$ and integral over $A\left[ y\right]$, then $u$ is integral over $A\left[ xy\right]$. We generalize this to integrality over ideal semifiltrations, too.
Source: arXiv (Cornell University)
Author: Grinberg, Darij
Language: English
Subfield: Algebra and Number Theory
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2962656284