Group rings with annihilator conditions (Q1714986)

In this paper, \(R\) is an associative ring with identity. The following definitions are given. If \(X\) is a subset of the ring \(R\), then a left annihilator l(\(X\)) of \(X\) in \(R\) is defined by l\((X) = \{r\in R | rx = 0\}\) for all \(x\in X\). The right annihilator \(r(X)\) of \(X\) in \(R\) is analogously defined. Denote l\((r(X))\)=l\(r(X)\). The ring \(R\) is called left Kasch (left dual) if for every maximal left ideal (every left ideal) \(I\) of \(R\) the condition l\(r(I) = I\) holds. The ring \(R\) is said to be a left \(CF\) ring if every cyclic left \(R\)-module can be embedded into a free module. A left \(R\)-module \(M\) is called torsionless (cogenerated by a left \(R\)-module \(N\) in \(M\)) if it can be embedded in a product of copies of \(_RR\) (embedded in a direct product of copies of \(N\)). A ring \(R\) is said to be a left cogenerator ring if every left \(R\)-module can be cogenerated by \(_RR\). Let \(R\) be a ring and \(G\) be a group. The main results of the paper give the following characterizations of the group ring \(RG\), i.e., the following necessary and sufficient conditions: (1) the group ring \(RG\) to be left Kasch ring (Theorem 2.4); (2) \(RG\) to be left dual ring (Theorem 2.10); (3) \(RG\) to be left \(CF\) ring (Theorem 2.11); (4) \(RG\) to be left cogenerator ring (Theorem 2.18) and (5) every finitely generated left \(RG\)-module to be torsionless left \(RG\)-module (Theorem 2.19). In connection with (2) and (3), i.e., Theorems 2.10 and 2.11, the author indicates in Example 2.17 that if \(R\) is left dual ring (\(CF\) ring) and \(G\) is a finite group, then \(RG\) may not be left dual ring (\(CF\) ring).