Divisorial ideals in the power series ring A + XB X
Divisorial ideals in the power series ring \(A + XB \llbracket X \rrbracket\)
Let \(A\) be an integral domain with quotient field \(K\). Let \(\mathcal{F}(A)\) be the set of nonzero fractional ideals of \(A\). For an \(I\in \mathcal{F}(A)\), set \(I^{-1}=\{x\in K \mid xI\subseteq A\}\). The mapping on \(\mathcal{F}(A)\) defined by \(I\mapsto I_v=(I^{-1})^{-1}\) is called the \(v\)-operation on \(A\). A nonzero fractional ideal \(I\) is said to be a \textit{\(v\)-ideal} or \textit{divisorial} if \(I=I_v\), and \(I\) is said to be \textit{\(v\)-invertible} if \((II^{-1})_v=A\).\N\NLet \(A\subseteq B\) be an extension of integral domains, \(B[\![X]\!]\) be the power series ring over \(B\), and \(R=A + XB[\![X]\!]\) be a subring of \(B[\![X]\!]\). In the paper under review, the author gave a complete description of \(v\)-invertible \(v\)-ideals (with nonzero trace in \(A\)) of \(R\). He showed that if \(B\) is a completely integrally closed domain and \(I\) is a fractional divisorial \(v\)-invertible ideal of \(R\) with nonzero trace over \(A\), then \(I = u(J_1 + XJ_2[\![X]\!])\) for some \(u\in qf(R)\), \(J_2\) an integral divisorial \(v\)-invertible ideal of \(B\) and \(J_1\subseteq J_2\) a nonzero ideal of \(A\).
- [[:Publication:4633082|Note on the divisoriality of domains of the form \(k[[X^{p}, X^{q}]]\), \(k[X^{p}, X^{q}]\), \(k[[X^{p}, X^{q}, X^{r}]]\), and \(k[X^{p}, X^{q}, X^{r}]\)]]
- A note on divided ideals
- Formally integrally closed domains and the rings \(R((X))\) and \(R\{\{X\}\}\)
- Divisorial prime ideals in Prüfer domains
- Pseudo-Dedekind domains and divisorial ideals in \(R[X]_ T\)
- t-linked extensions, the t-class group, and Nagata's theorem
- Dedekind-Mertens lemma and content formulas in power series rings
- Formally integrally closed domains and the rings \(R((X))\) and \(R\{\{X\}\}\)
- scientific article; zbMATH DE number 31260 (Why is no real title available?)
- scientific article; zbMATH DE number 1532159 (Why is no real title available?)
- scientific article; zbMATH DE number 3392596 (Why is no real title available?)
- On the class group and S-class group of formal power series rings
- Some remarks on star operations and the class group
- The class group of \(D+M\)
- The local \(S\)-class group of an integral domain
- Unique factorization and \(S\)-Picard groups of domains of power series
This page was built for publication: Divisorial ideals in the power series ring \(A + XB \llbracket X \rrbracket\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6587097)
