On the class group and S-class group of formal power series rings (Q2363263)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the class group and S-class group of formal power series rings |
scientific article |
Statements
On the class group and S-class group of formal power series rings (English)
0 references
13 July 2017
0 references
Let's first recall some basic facts to understand the content of the paper. For an integral domain \(A\) and a nonzero fractional ideal \(I\) of \(A\), we put \(I_t=\bigcup\{J_v; J\) is a nonzero finitely generated fractional subideal of \(I\}\), where \(J_v=(J^{-1})^{-1}\). When \(I_t=I\) we say that \(I\) is a \(t\)-ideal and if \((II^{-1})_t=A\) then \(I\) is said to be \(t\)-invertible. The set \(T(A)\) of \(t\)-invertible fractional \(t\)-ideals of \(A\) is a group under the \(t\)-multiplication \(I*J=(IJ)_t\). The subset \(P(A)\) of nonzero principal fractional ideals of \(A\) is a subgroup of \(T(A)\). The quotient group \(Cl_t(A)=T(A)/P(A)\) is called the \(t\)-class group of \(A\). The authors studied the mapping \(\phi:Cl_t(A)\longrightarrow Cl_t(A[[X]])\) defined by \(\phi([I])=[(IA[[X]])_t]\), and extended old results of Claborn. To describe the content of the last part of the paper, let \(S\) be a multiplicative set of \(A\), not necessarily saturated. An ideal \(I\) of \(A\) is said to be \(S\)-principal if there exist \(s\in S\) and \(a\in I\) such that \(sI\subseteq aA\subseteq I\). The set denoted \(S-P(A)\) of the \(S\)-principal \(t\)-invertible \(t\)-ideals of \(A\) is a subgroup of \(T(A)\). Let \(S-Cl_t(A)=T(A)/S-P(A)\) be the quotient group. The authors generalize some classical results to \(S-Cl_t(A)\). The case when the isomorphism \(S-Cl_t(A)\simeq S-Cl_t(A[[X]])\) holds is investigated.
0 references
class group
0 references
S-class group
0 references
formal power series
0 references