\(\sigma\)-semisimple rings (Q5948414)

Rings with unity and involution \(\sigma\) are considered. A ring with involution is called \(\sigma\)-semisimple, if it is the (direct) sum of minimal \(\sigma\)-ideals. The following are equivalent: (1) the ring \(A\) is \(\sigma\)-semisimple, (2) every \(\sigma\)-ideal is generated by a unique central symmetric idempotent, (3) every \(\sigma\)-ideal of \(A\) is a direct summand, (4) \(\text{Soc}_\sigma(A)=A\). A \(\sigma\)-ideal \(I\) of a ring \(A\) with involution is \(\sigma\)-minimal if and only if \(\text{End}^\sigma_A(I)\) is a division ring. If \(A\) is a \(\sigma\)-semisimple ring and \(\sigma(a)a=0\) implies \(a=0\) for all \(a\in A\), then \(A\) is a simple ring. Reviewer's remark: There is an overlap with the paper of \textit{U. A. Aburawash} [Math. Jap. 37, No. 5, 987-994 (1992; Zbl 0767.16012)] where the existence of a unity was not demanded.