Rings graded by inverse semigroups (Q2709042)

The paper presents a survey on results that may be considered as extensions of Domanov's well known theorem concerning the semiprimitivity of inverse semigroup algebras on rings faithfully graded by inverse semigroups. A ring \(R\) is said to be faithfully graded by a semigroup \(S\) if and only if the following two conditions are satisfied: (i) the additive group \((R,+)\) is a direct sum of subgroups \(R_x\) (\(x\in S\)) such that \(R_xR_y\subseteq R_{xy}\), (ii) for all \(x,y\in S\) and for all \(a\in R_x\setminus 0\), \(aR_y\neq 0\) and \(R_ya\neq 0\). If \(S\) is a semigroup then \(M_S\) denotes the set of all maximal subgroups of \(S\). Suppose \(R\) is a ring graded by a semigroup \(S\) (i.e. (i) is satisfied), and let \(G\in M_S\). If this is the case then \(R_G=\bigoplus R_x\) (\(x\in G\)); clearly \(R_G\) is a subring of \(R\). A ring \(R\) is right inclusive if and only if, for all \(a\in R\), \(a\in aR\). The author gives new proofs of the following results of \textit{A. V. Kelarev} [J. Algebra 205, No. 2, 451-459 (1998; Zbl 0910.16024)]: Let \(S\) be an inverse semigroup and let \(R\) be a ring faithfully graded by \(S\); if \(R_G\) is semiprime (semiprimitive) for all \(G\in M_S\) then \(R\) is semiprime (semiprimitive) (Theorems 1, 2). The paper contains also proofs of the following results of the author: Let \(S\) be a bisimple inverse semigroup and let \(R\) be a ring faithfully graded by \(S\); if \(R_G\) is prime (right primitive and right inclusive) for some \(G\in M_S\) then \(R\) is prime (right primitive) (Theorems 3, 4).NEWLINENEWLINEFor the entire collection see [Zbl 0954.00028].