<p>We define a <i>residual function</i> on a topological space <i>X</i> as a function <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(f:X\longrightarrow \mathbb {Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>:</mo> <mi>X</mi> <mo stretchy="false">⟶</mo> <mi mathvariant="double-struck">Z</mi> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(f^{-1}(0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>f</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> contains an open dense set, and we use this notion to study the freeness of the group of divisorial ideals on a Prüfer domain.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Residual functions and divisorial ideals

  • Dario Spirito

摘要

We define a residual function on a topological space X as a function \(f:X\longrightarrow \mathbb {Z}\) f : X Z such that \(f^{-1}(0)\) f - 1 ( 0 ) contains an open dense set, and we use this notion to study the freeness of the group of divisorial ideals on a Prüfer domain.