January 7, 2003
Let $D$ be an integral domain with quotient field $K$. A star-operation $\star$ on $D$ is a closure operation $A \longmapsto A^\star$ on the set of nonzero fractional ideals, $F(D)$, of $D$ satisfying the properties: $(xD)^\star = xD$ and $(xA)^\star = xA^\star$ for all $x \in K^\ast$ and $A \in F(D)$. Let ${\M S}$ be a multiplicatively closed set of ideals of $D$. For $A \in F(D)$ define $A_{\M S} = \{x \in K \mid xI \subseteq{A}$, for some $I \in {\M S}\}$. Then $D_{\M S}$ is an overring of $D$ and $A_{\M S}$ is a fractional ideal of $D_{\M S}$. Let ${\M S}$ be a multiplicative set of finitely generated nonzero ideals of $D$ and $A \in F(D)$, then the map $A \longmapsto A_{\M S}$ is a finite character star-operation if and only if for each $I \in {\M S}$, $I_v = D$. We give an example to show that this result is not true if the ideals are not assumed to be finitely generated. In general, the map $A \longmapsto A_{\M S}$ is a star-operation if and only if $\bar {\M S}$, the saturation of ${\M S}$, is a localizing GV-system. We also discuss star-operations given of the form $A \longmapsto \cap AD_\alpha$, where $D = \cap D_\alpha$.
Similar papers 1
September 17, 2008
Let $\ast$ be a star operation on an integral domain $D$. Let $\f(D)$ be the set of all nonzero finitely generated fractional ideals of $D$. Call $D$ a $\ast$--Pr\"ufer (respectively, $(\ast, v)$--Pr\"ufer) domain if $(FF^{-1})^{\ast}=D$ (respectively, $(F^vF^{-1})^{\ast}=D$) for all $F\in \f(D)$. We establish that $\ast$--Pr\"ufer domains (and $(\ast, v)$--Pr\"ufer domains) for various star operations $\ast $ span a major portion of the known generalizations of Pr\"{u}fer do...
September 19, 2015
Let $D$ be an integral domain with quotient field $K$. Call an overring $S$ of $D$ a subring of $K$ containing $D$ as a subring. A family $\{S_\lambda\mid\lambda \in \Lambda \}$ of overrings of $D$ is called a defining family of $D$, if $D = \bigcap\{S_\lambda\mid\lambda \in \Lambda \}$. Call an overring $S$ a sublocalization of $D$, if $S$ has a defining family consisting of rings of fractions of $D$. Sublocalizations and their intersections exhibit interesting examples of s...
April 25, 2010
Call a semistar operation $\ast$ on the polynomial domain $D[X]$ an extension (respectively, a strict extension) of a semistar operation $\star$ defined on an integral domain $D$, with quotient field $K$, if $E^\star = (E[X])^{\ast}\cap K$ (respectively, $E^\star [X]= (E[X])^{\ast}$) for all nonzero $D$-submodules $E$ of $K$. In this paper, we study the general properties of the above defined extensions and link our work with earlier efforts, centered on the stable semistar o...
February 23, 2018
Let $\ast $ be a finite character star operation defined on an integral domain $D.$ Call a nonzero $\ast $-ideal $I$ of finite type a $\ast $ -homogeneous ($\ast $-homog) ideal, if $I\subsetneq D$ and $(J+K)^{\ast }\neq D$ for every pair $D\supsetneq J,K\supseteq I$ of proper $\ast $ -ideals of finite type$.$ Call an integral domain $D$ a $\ast $-Semi Homogeneous Domain ($\ast $-SHD) if every proper principal ideal $xD$ of $D$ is expressible as a $\ast $-product of finitely m...
September 1, 2021
Let $R$ be an integral domain, $Star(R)$ the set of all star operations on $R$ and $StarFC(R)$ the set of all star operations of finite type on $R$. Then $R$ is said to be star regular if $|Star(T)|\leq |Star(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 $|StarFC(T)|\leq |StarFC(R)|$ for each overring $T$ of $R$. First, we show that the notions of star regular and finitely star reg...
October 5, 2016
We generalize the concept of localization of a star operation to flat overrings; subsequently, we investigate the possibility of representing the set $\mathrm{Star}(R)$ of star operations on $R$ as the product of $\mathrm{Star}(T)$, as $T$ ranges in a family of overrings of $R$ with special properties. We then apply this method to study the set of star operations on a Pr\"ufer domain $R$, in particular the set of stable star operations and the star-class groups of $R$.
February 6, 2007
This paper studies the notions of star and semistar operations over a polynomial ring. It aims at characterizing when every upper to zero in $R[X]$ is a $*$-maximal ideal and when a $*$-maximal ideal $Q$ of $R[X]$ is extended from $R$, that is, $Q=(Q\cap R)[X]$ with $Q\cap R\not =0$, for a given star operation of finite character $*$ on $R[X]$. We also answer negatively some questions raised by Anderson-Clarke by constructing a Pr\"ufer domain $R$ for which the $v$-operation ...
November 5, 2003
In this paper we study the star operations on a pullback of integral domains. In particular, we characterize the star operations of a domain arising from a pullback of ``a general type'' by introducing new techniques for ``projecting'' and ``lifting'' star operations under surjective homomorphisms of integral domains. We study the transfer in a pullback (or with respect to a surjective homomorphism) of some relevant classes or distinguished properties of star operations such ...
May 7, 2004
Let $D$ be an integral domain and $\star$ a semistar operation on $D$. As a generalization of the notion of Noetherian domains to the semistar setting, we say that $D$ is a $\star$--Noetherian domain if it has the ascending chain condition on the set of its quasi--$\star$--ideals. On the other hand, as an extension the notion of Pr\"ufer domain (and of Pr\"{u}fer $v$--multiplication domain), we say that $D$ is a Pr\"ufer $\star$--multiplication domain (P$\star$MD, for short) ...
October 26, 2007
Let $D$ be an integral domain with quotient field $K$ and let $X$ be an indeterminate over $D$. Also, let $\boldsymbol{\mathcal{T}}:=\{T_{\lambda}\mid \lambda \in \Lambda \}$ be a defining family of quotient rings of $D$ and suppose that $\ast $ is a finite type star operation on $D$ induced by $\boldsymbol{\mathcal{T}}$. We show that $D$ is a P$ \ast $MD (resp., P$v$MD) if and only if $(\co_D(fg))^{\ast}=(\co_D(f)\co_D(g))^{\ast}$ (resp., $(\co_D(fg))^{w}=(\co_D(f)\co_D(g)...