Golod-Shafarevich algebras, free subalgebras and Noetherian images. (Q375198)

The author considers Golod-Shafarevich algebras with finitely many relations and proves the following result. Theorem. Let \(K\) be an algebraically closed field, and \(A\) the free noncommutative algebra generated by elements \(x,y\). Let \(\xi\) be a natural number. Let \(I\) denote the ideal generated in \(A\) by homogeneous elements \(f_1,f_2,\ldots,f_\xi\in A\). Suppose that there are exactly \(r_i\) elements among \(f_1,f_2,\ldots,f_\xi\) with degrees larger than \(2^i\) and not exceeding \(2^{i+1}\). Assume that there are no elements among \(f_1,f_2,\ldots,f_\xi\) with degree \(k\) if \(2^n+2^{n-1}+2^{n-2}<k<2^{n+1}+2^n\) for some \(n\). Denote \(Y=\{n:r_n\neq 0\}\). Suppose that for all \(n\in Y\), \(m\in\{0\}\cup Y\) with \(m<n\) we have \[ 2^{3n+4}\prod_{i<n,\;i\in Y}r_i^{32}<r_n<2^{2^{n-m-3}}. \] Then \(A/I\) contains a free noncommutative graded subalgebra in two generators, and these generators are monomials of the same degree. In particular, \(A/I\) is not Jacobson radical. Moreover, \(A/I\) can be homomorphically mapped onto a graded, prime, Noetherian algebra with linear growth which satisfies a polynomial identity.