Semigroup algebras of submonoids of polycyclic-by-finite groups and maximal orders. (Q838981)

The authors continue their investigations [in J. Algebra 308, No. 1, 44-62 (2007; Zbl 1121.16025), Int. J. Algebra Comput. 17, No. 7, 1465-1491 (2007; Zbl 1144.16022), J. Algebra 238, No. 2, 590-622 (2001; Zbl 0988.16019)] on semigroup algebras \(K[S]\) that are prime Noetherian maximal orders. Necessary and sufficient conditions are given for a prime Noetherian algebra \(K[S]\) of a submonoid \(S\) of a polycyclic-by-finite group \(G\) to be a maximal order. These conditions are entirely in terms of the monoid \(S\). This extends earlier results of \textit{K. A. Brown} [J. Lond. Math. Soc., II. Ser. 32, 426-438 (1985; Zbl 0589.16013), ibid. 38, No. 3, 421-422 (1988; Zbl 0666.16006)] concerned with the group ring case and of the authors for the case where \(K[S]\) satisfies a polynomial identity.