THE SOURCE OF SEMIPRIMENESS OF RINGS

Let R be an associative ring. We define a subset $S_R$ of R as $S_R=\{a{\in}R{\mid}aRa=(0)\}$ and call it the source of semiprimeness of R. We first examine some basic properties of the subset $S_R$ in any ring R, and then define the notions such as R being a ${\mid}S_R{\mid}$-reduced ring, a ${\mid}S_R{\mid}$-domain and a ${\mid}S_R{\mid}$-division ring which are slight generalizations of their classical versions. Beside others, we for instance prove that a finite ${\mid}S_R{\mid}$-domain is necessarily unitary, and is in fact a ${\mid}S_R{\mid}$-division ring. However, we provide an example showing that a finite ${\mid}S_R{\mid}$-division ring does not need to be commutative. All possible values for characteristics of unitary ${\mid}S_R{\mid}$-reduced rings and ${\mid}S_R{\mid}$-domains are also determined.