The Zariski topology on sets of semistar operations without finite-type assumptions (Q1786449)

Let \(D\) be an integral domain with quotient field \(K\), let \(\overline F(D)\) (resp., \(F(D)\)) be the set of nonzero \(D\)-submodules of \(K\) (resp., the set of nonzero fractional ideals of \(D\)). For a semistar operation \(\star\) on \(D\), \(\star\) is called gg- (resp., gh-) cancellative if \((EE_1)^\star= (EE_2)^\star\) for every \(E\in F(D)\) and every \(E_1,E_2\in F(D)\) (resp., \(E_1, E_2\in\overline F(D)\)), then \(E^\star_1=E^\star_2\). There are many papers studying the gg- or gh-cancellative operation, such as [\textit{M. Fontana} and \textit{K. A. Loper}, J. Pure Appl. Algebra 213, No. 11, 2095--2103 (2009; Zbl 1187.13003)] and [\textit{S. T. Chapman} and \textit{R. Matsuda}, Int. Electron. J. Algebra 7, 78--86 (2010; Zbl 1200.13005)]. In these papers, it is proved that a gh-cancellative semistar operation is gg-cancellative. In this paper, the author provides an example to show that the converse is not true. More details, Let \(D:= k[u_1,u_2,\dots]_{{\mathfrak M}}\), where \(u_1,u_2,\dots\), be an infinite set of indeterminates over a field \(k\), and \({\mathfrak M}:= \{f(u_1,u_2)\in k[u_1,u_2,\dots]\mid f(0,0,\dots)= 0\}\). Then the author constructs \(q\)-valuations \(\{v_\lambda\mid\lambda\in \Lambda\}\) on \(K\) with \(V_\lambda\) the valuation overring of \(D\) belonging to \(v_\lambda\) for each \(\lambda\), and proves that the mapping \(b: E\mapsto\bigcap\{EV_\lambda\mid\lambda\in \Lambda\}\) from \(\overline F(D)\) to \(\overline F(D)\) is a gg-cancellative semistar operation, but not a gh-cancellative one.