<p>In this paper, we study the class group structure of rings of the form <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(D + E[\![\Gamma ^*]\!] \)</EquationSource> </InlineEquation>, where <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(D \subseteq E\)</EquationSource> </InlineEquation> is an extension of integral domains and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> </InlineEquation> is a numerical semigroup. We examine the properties of <i>t</i>-invertible and <i>v</i>-invertible fractional ideals in these rings and investigate their relationship with the <i>t</i>-class group <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\operatorname {Cl}_t(D)\)</EquationSource> </InlineEquation> of the base domain <i>D</i>. Our primary results establish that the natural mapping <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\varphi : \operatorname {Cl}_t(D) \rightarrow \operatorname {Cl}_t(D + E[\![\Gamma ^*]\!] )\)</EquationSource> </InlineEquation> is an injective homomorphism when <i>E</i> is a flat <i>D</i>-module, although it is not surjective in general. Furthermore, we provide a complete characterization of the <i>t</i>-invertible <i>t</i>-ideals of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(D + E[\![\Gamma ^*]\!] \)</EquationSource> </InlineEquation> extended (with nonzero trace) to <i>D</i>. Specifically, we show that if <i>E</i> is completely integrally closed and <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\operatorname {qf}(D) \subseteq E,\)</EquationSource> </InlineEquation> then every <i>t</i>-invertible <i>t</i>-ideal <i>I</i> of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(D+E[\![\Gamma ^*]\!] \)</EquationSource> </InlineEquation> with nonzero trace in <i>D</i> can be expressed as <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(I = uJ(D+E[\![\Gamma ^*]\!] ),\)</EquationSource> </InlineEquation> for some <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(u\in \operatorname {qf}(D+E[\![\Gamma ^*]\!] ),\)</EquationSource> </InlineEquation> and a nonzero <i>t</i>-ideal <i>J</i> of <i>D</i>.</p>

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

On the class group of \(D+E[\![\Gamma ^*]\!] \)

  • Ahmed Hamed

摘要

In this paper, we study the class group structure of rings of the form \(D + E[\![\Gamma ^*]\!] \) , where \(D \subseteq E\) is an extension of integral domains and \(\Gamma \) is a numerical semigroup. We examine the properties of t-invertible and v-invertible fractional ideals in these rings and investigate their relationship with the t-class group \(\operatorname {Cl}_t(D)\) of the base domain D. Our primary results establish that the natural mapping \(\varphi : \operatorname {Cl}_t(D) \rightarrow \operatorname {Cl}_t(D + E[\![\Gamma ^*]\!] )\) is an injective homomorphism when E is a flat D-module, although it is not surjective in general. Furthermore, we provide a complete characterization of the t-invertible t-ideals of \(D + E[\![\Gamma ^*]\!] \) extended (with nonzero trace) to D. Specifically, we show that if E is completely integrally closed and \(\operatorname {qf}(D) \subseteq E,\) then every t-invertible t-ideal I of \(D+E[\![\Gamma ^*]\!] \) with nonzero trace in D can be expressed as \(I = uJ(D+E[\![\Gamma ^*]\!] ),\) for some \(u\in \operatorname {qf}(D+E[\![\Gamma ^*]\!] ),\) and a nonzero t-ideal J of D.