The isomorphism problem for monoid rings of rank \(2\) monoids (Q1909734)

Let \(R\) be a commutative ring with identity, \(M\) a finitely generated submonoid of \(\mathbb{Z}^2\), and \(N\) an arbitrary monoid. The main result of this paper is that the monoids \(M\) and \(N\) are isomorphic if (and only if) their corresponding monoid rings \(R[M]\) and \(R[N]\) are isomorphic as \(R\)-algebras. This proof is accomplished by a thorough study of the structure of commutative, cancellative, and torsionfree rank 2 monoids and the isomorphisms between their corresponding monoid rings.