Finitely star regular domains

Abstract

Let R be an integral domain, S t a r ( R ) the set of all star operations on R and S t a r F C ( R ) the set of all star operations of finite type on R . Then R is said to be star regular if | S t a r ( T ) | ≤ | S t a r ( R ) | for every overring T of R . In this paper we introduce the notion of finitely star regular domain as an integral domain R such that | S t a r F C ( T ) | ≤ | S t a r F C ( R ) | for each overring T of R . First, we show that the notions of star regular and finitely star regular domains are completely different and do not imply each other. Next, we extend/generalize well-known results on star regularity in Noetherian and Prüfer contexts to finitely star regularity. Also we handle the finite star regular domains issued from classical pullback constructions to construct finitely star regular domains that are not star regular.