Formal power series rings over a \(\pi \)-domain (Q1041262): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 23:50, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Formal power series rings over a \(\pi \)-domain |
scientific article |
Statements
Formal power series rings over a \(\pi \)-domain (English)
0 references
1 December 2009
0 references
Let \(R\) be an integral domain, \( \chi=\{X_{\lambda}\}_{\lambda\in \Lambda}\) an infinite set of indeterminates over \(R\) and \(S\) the weak direct sum of the additive semigroup \({\mathbb N}\) with itself \(|\Lambda|\) times. Let \(R[[\chi]]_3\) be the full ring of formal power series in \(\chi\) over \(R\), that is the set of maps \(f:S\rightarrow R\), with obvious addition and \((fg)(s)=\sum_{t+u=s} f(t)f(u)\), \(s\in S\), where \(t,u\) run in \(S\) such that \(t+u=s\). It shows that \(\mathrm{Pic } R[[\chi]]_3\cong\mathrm{Pic }R\). An integral domain is a \(\pi\)-domain if every principal ideal is a product of prime ideals, this happens exactly when it is locally an UFD and a Krull domain. It shows that \(R[[\chi]]_3\) is a \(\pi\)-domain if \(R[X_1,\ldots,X_n]\) is a \(\pi\)-domain for every \(n\geq 1\). Thus \(R[[\chi]]_3\) is a \(\pi\)-domain if \(R\) is a noetherian regular domain. Next these results are extended for non-domains.
0 references
Krull domain
0 references
\(\pi\)-domain
0 references
unique factorization domain
0 references
Picard group
0 references
class group
0 references