Rings of very strong finite type

Abstract

The SFT (for strong finite type) condition was introduced by [J. T. Arnold, Krull dimension in power series rings, Trans. Amer. Math. Soc. 177 (1973) 299–304] in the context of studying the condition for formal power series rings to have finite Krull dimension. In the context of commutative rings, the SFT property is a near-Noetherian property that is necessary for a ring of formal power series to have finite Krull dimension behavior. Many others have studied this condition in the context of the dimension of formal power series rings. In this paper, we explore a specialization (and in some sense a more natural) variant of the SFT property that we dub as the VSFT (for very strong finite type) property. As is true of the SFT property, the VSFT property is a property of an ideal that may be extended to a global property of a commutative ring with identity. Any ideal (respectively, ring) that has the VSFT property has the SFT property. In this paper, we explore the interplay of the SFT property and the VSFT property.