Coefficient rings of numerical semigroup algebras (Q2665924)

Given two numerical semigroups \(S \subseteq S'\), it is possible to consider the associated numerical semigroup rings \(k[[\mathbf{u}^S]]=\{\sum_{s\in S} a_s \mathbf{u}^s : a_s \in k\}\) and \(k[[\mathbf{u}^{S'}]]\), which are subrings of the power series ring \(k[[\mathbf{u}]]\) over a field \(k\). In this paper the authors study the algebra structure of \(k[[\mathbf{u}^{S'}]]\) over \(k[[\mathbf{u}^S]]\). To this aim they introduce several new notions in order to generalize many classical results about numerical semigroup rings.