Ideal class groups of monoid algebras (Q2396362)

The paper studied the relationship between the two groups \(\mathcal{I}(A,B)\) and \(\mathcal{I}(A[M], B[N])\), when \(A\subset B\) is an extension of rings and \(M\subset N\) and extension of positive monoids. The relationship between the two groups \(\mathcal{I}(A,B)\) and \(\mathcal{I}(A[M], B[N])\) is stated by the following theorem. Theorem. Let \(A\subset B\) be an extension of rings and \(M\subset N\) an extension of positive monoids. {\parindent=0.6cm\begin{itemize}\item[(a)] If \(A[M]\) is subintegrally closed in \(B[N]\) and \(N\) is affine, then \(\mathcal{I}(A,B)=\mathcal{I}(A[M], B[N])\). \item[(b)] If \(B\) is reduced, \(A\) is subintegrally closed in \(B\) and \(M\) is subintegrally closed in \(N\), then \(\mathcal{I}(A,B)=\mathcal{I}(A[M], B[N])\). \item[(c)] If \(M=N\), then the reduced condition on \(B\) is not needed, i.e., if \(A\) is subintegrally closed in \(B\), then \(\mathcal{I}(A,B)=\mathcal{I}(A[M], B[N])\). \item[(d)] (converse of \((a)\)), \((b)\) and \((c)\)). If \(\mathcal{I}(A,B)=\mathcal{I}(A[M], B[N])\), then{\parindent=0.8cm\begin{itemize}\item[(i)] \(A\) is subintegrally closed in \(B\). \item[(ii)] \(A[M]\) is subintegrally closed in \(B[N]\), and \item[(iii)] \(B\) is reduced or \(M=N\). \end{itemize}} \end{itemize}}