On a class of Noetherian algebras. (English) Zbl 0943.20068

Let \(G\) be a group, and let \(M_n(G)\) be the semigroup of all monomial \(n\times n\)-matrices over \(G^0=G\cup\{0\}\) having no more than one non-zero entry in any row and in any column. Let \(K\) be a field, and let \(G\) be a polycyclic-by-finite group. It is known that in this case \(K[G]\) is Noetherian. The authors extend this result to a class of submonoids of \(M_n(G)\), namely they show that, for a submonoid \(S\) of \(M_n(G)\), \(K[S]\) is right Noetherian if and only if \(S\) satisfies the ascending chain condition on right ideals (Theorem 1.1). Another interesting result of the paper pertains to the Malcev nilpotent semigroups. Let \(P\) be an ideal of \(K[S]\), and let \(\sim_P\) denote the congruence on \(S\) induced by the natural epimorphism \(K[S]\to K[S]/P\): if \(x,y\in S\), then \(x\sim_Py\) if and only if \(x-y\in P\). A semigroup \(S\) isomorphic to a subsemigroup of \(M_n(G)\) for certain \(G\) is called a monomial semigroup. Suppose that \(S\) is a finitely generated Malcev nilpotent monoid with ascending chain condition on right ideals, and let \(P\) be a prime ideal of \(K[S]\). It is shown that in this case \(S/\sim_P\) is a monomial semigroup over a nilpotent group; in particular, \(K[S/\sim_P]\) is (right and left) Noetherian, and so \(K[S]/P\) is Noetherian (Theorem 1.2).


20M25 Semigroup rings, multiplicative semigroups of rings
16S36 Ordinary and skew polynomial rings and semigroup rings
16P40 Noetherian rings and modules (associative rings and algebras)
Full Text: DOI


[1] DOI: 10.1006/jabr.1994.1322 · Zbl 0818.16022
[2] Herstein, Rings with involutions (1976) · Zbl 0194.06503
[3] DOI: 10.1016/0021-8693(86)90200-0 · Zbl 0589.20041
[4] Clifford, The algebraic theory of semigroups I (1961)
[5] Reutenauer, Ada Informatica 13 pp 189– (1980)
[6] DOI: 10.1006/jabr.1999.7870 · Zbl 0937.16043
[7] Passman, The algebraic structure of group rings (1977) · Zbl 0368.16003
[8] Okniński, Semigroup algebras (1991)
[9] McConnell, Noncommutative Noetherian rings (1987) · Zbl 0644.16008
[10] Krause, Growth of algebras and Gelfand-Kirillov dimension (1985) · Zbl 0564.16001
[11] DOI: 10.1090/S0002-9947-1985-0805958-0
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.