On the Noetherianity of some associative finitely presented algebras (Q757557): Difference between revisions

This paper is motivated by the question of when a finitely generated algebra over a field K is noetherian. The author is concerned with the class of so called strictly ordered algebras that are defined by means of certain conditions coming from the presentation \(K<X>/I\) where I is an ideal of the free algebra \(K<X>\). The definition involves a fixed degree- lexicographic order in the set of words in \(X=\{x_ 1,...,x_ n\}\) and the notion of a word normal modulo I. This class consists of domains and includes in particular Weyl algebras and universal enveloping algebras of Lie algebras. It is shown that, if \(A=K<X>/I\) is a strictly ordered algebra that is almost quadratic (that is, the highest monomials in the normal forms of \(x_ ix_ n\) and \(x_ nx_ i\) are equal for \(i=1,...,n-1)\), then: (1) A is right noetherian, (2) A is left noetherian, (3) A has polynomial growth and (4) A is almost commutative (that is, the highest monomials in the normal forms of uv and vu are equal for every normal monomials u,v). This is used to show that, if I is generated by homogeneous polynomials, A is strictly ordered and I has a finite Gröbner basis, then conditions (1), (2), (3) and (4) are equivalent.