On irreducible modules over \(q\)-skew polynomial rings and smash products. (Q2862170)

Let \(R\) be a ring with \(1\), \(\sigma\) an automorphism, \(\delta\) a \(\sigma\)-derivation of \(R\), and \(R[X;\sigma,\delta]\) the skew polynomial ring. Let \(0\neq q\in R\) such that \(\sigma(q)=q\) and \(\delta(q)=0\). Then \(q\) is called a central \((\sigma,\delta)\)-constant. If \(\delta\sigma=q\sigma\delta\), then \(\delta\) is called a \(q\)-skew \(\sigma\)-derivation, and \(R[X;\sigma,\delta]\) a \(q\)-skew polynomial ring.NEWLINENEWLINE Let \(M\) be a left module over a \(q\)-skew polynomial ring \(R[X;\sigma,\delta]\) and \(E\) an essential \(R\)-submodule of \(M\). For an element \(0\neq m\in E\), \(r=\{r_n\mid n\geq 0,\;r_n\in R\}\) is called an \(m\)-sequence if (1) \(\sigma^n(r_n)X^nm\in E\) for all \(n\geq 0\) and \(\sigma^s(r_s)X^sm\neq 0\) for some \(s\); (2) if \(\sigma^{n+1}(r_n)X^{n+1}m\in E\), then \(r_{n+1}=r_n\); (3) if \(\sigma^{n+1}(r_n)X^{n+1}m\notin E\), then \(r_{n+1}\in Rr_n\) and \(\sigma^{n+1}(r_{n+1})X^{n+1}m\neq 0\in E\). The smallest integer \(s\) such that \(\sigma^s(r_s)X^sm\neq 0\) is called the degree of \(r\) denoted by \(\deg(r)\). An \(m\)-sequence is said to be weak if \(r_j=r_{j+1}\) for some \(j\geq\deg(r)\).NEWLINENEWLINE Let \(M\) be irreducible over a \(q\)-skew polynomial ring \(R[X;\sigma,\delta]\). Then the author gives sufficient conditions for the complete reducibility of \(M\) as an \(R\)-module. Theorem. Let \(M\) be a left \(R[X;\sigma,\delta]\)-module which is \(D_n\)-torsion free for all \(n\geq 1\). Suppose that for every essential \(R\)-submodule \(E\) of \(M\) and \(0\neq m\in E\), \(R\) contains a weak \(m\)-sequence. Then \(\text{Soc}(_RM)\) (= socle of \(_RM\)) is an \(R[X;\sigma,\delta]\)-module. Moreover, if \(M\) is simple as an \(R[X;\sigma,\delta]\)-module, then either \(\text{Soc}(_RM)=0\) or \(_RM\) is completely reducible, where \(D_n=q^{(q^3-n)/6}(1+q+q^2+\cdots+q^n)\). The results are applied to irreducible modules over the smash product \(R\#H\) where \(H\) is a Hopf algebra generated by skew primitive elements.