Let be a semistar operation on a domain , the finite-type semistar operation associated to , and a Pr"ufer -multiplication domain (PMD). For the special case of a Pr"ufer domain (where is equal to the identity semistar operation), we show that a nonzero prime of is sharp, that is, that $D_P \nsupseteq \bigcap D_MMD$ that do not contain , if and only if two closely related spectral semistar operations on differ. We then give an appropriate definition of -sharpness for an arbitrary PMD and show that a nonzero prime of is -sharp if and only if its extension to the -Nagata ring of is sharp. Calling a PMD -sharp (-doublesharp) if each maximal (prime) -ideal of is sharp, we also prove that such a is -doublesharp if and only if each -linked overring of is -sharp.

生成讲解博客的中文版本

生成AI智能校验的中文版本