“…(N2) If (X, r) is finite and left non-degenerate and, moreover, the diagonal map q : X → X is bijective then K[M (X, r)] is left Noetherian and of finite Gelfand-Kirillov dimension (see [17,Corollary 5.4]). In particular, if additionally (X, r) is bijective then K[M (X, r)] is a left and right Noetherian PI-algebra (see [17,38,40]). To prove this one shows that, under the assumptions, K[M (X, r)] (and also K[A(X, r)]) is a finite left module over a left Noetherian algebra K[B], for some submonoid B of A(X, r) such that λ b = id for each b ∈ B, which ensures that the monoid B may also be treated as a submonoid of M (X, r).…”