• Bulletin of the Korean Mathematical Society
• /
• v.60 no.5
• /
• pp.1321-1334
• /
• 2023

An idempotent e of a ring R is called right (resp., left) semicentral if er = ere (resp., re = ere) for any r ∈ R, and an idempotent e of R∖{0, 1} will be called right (resp., left) quasicentral provided that for any r ∈ R, there exists an idempotent f = f(e, r) ∈ R∖{0, 1} such that er = erf (resp., re = fre). We show the whole shapes of idempotents and right (left) semicentral idempotents of upper triangular matrix rings and polynomial rings. We next prove that every nontrivial idempotent of the n by n full matrix ring over a principal ideal domain is right and left quasicentral and, applying this result, we can find many right (left) quasicentral idempotents but not right (left) semicentral.

• Journal of the Korean Mathematical Society
• /
• v.51 no.3
• /
• pp.463-472
• /
• 2014

Let R be a ring with identity 1, I(R) be the set of all nonunit idempotents in R and $S_{\ell}$(R) (resp. $S_r$(R)) be the set of all left (resp. right) semicentral idempotents in R. In this paper, the following are investigated: (1) $e{\in}S_{\ell}(R)$ (resp. $e{\in}S_r(R)$) if and only if re=ere (resp. er=ere) for all nilpotent elements $r{\in}R$ if and only if $fe{\in}I(R)$ (resp. $ef{\in}I(R)$) for all $f{\in}I(R)$ if and only if fe=efe (resp. ef=efe) for all $f{\in}I(R)$ if and only if fe=efe (resp. ef=efe) for all $f{\in}I(R)$ which are isomorphic to e if and only if $(fe)^n=(efe)^n$ (resp. $(ef)^n=(efe)^n$) for all $f{\in}I(R)$ which are isomorphic to e where n is some positive integer; (2) For a ring R having a complete set of centrally primitive idempotents, every nonzero left (resp. right) semicentral idempotent is a finite sum of orthogonal left (resp. right) semicentral primitive idempotents, and eRe has also a complete set of primitive idempotents for any $0{\neq}e{\in}S_{\ell}(R)$ (resp. 0$0{\neq}e{\in}S_r(R)$).