socles of semiperfect rings For readers' benefit, a few definitions for a ring $R$.
The left (right) socle of $R$ is the sum of all minimal left (right) ideals of $R$. It may happen that it is zero if no minimals exist.
A ring is semiperfect if all finitely generated modules have projective covers.

Is there a semiperfect ring with zero left socle and nonzero right socle?

Someone asked me this recently, and nothing sprang to mind either way. In any case, I'm interested in a construction method that is amenable for creating imbalanced socles like this.
If you happen to know the answer when semiperfect is strengthened to be 'some side perfect' or 'semiprimary' or 'some side Artinian', then please include it as a comment. (Of course, a ring will have a nonzero socle on a side on which it is Artinian.)
 A: Here is an example due to Bass of a left perfect ring that is not right perfect.  See Lam's First Course, Example 23.22 for an exposition (which is opposite to the one I use below).
Let $k$ be a field, and let $S$ be the ring of (say) column-finite $\mathbb{N} \times \mathbb{N}$-matrices over $k$.  Let $E_{ij}$ denote the usual "matrix units." Consider $J = \operatorname{Span}\{E_{ij} : i > j\}$ be the set of lower-triangular matrices in $S$ that have only finitely many nonzero entries, all above the diagonal.  
Let $R = k \cdot 1 + J \subseteq S$.  Then $R$ is a local ring with radical $J$, and it's shown to be left perfect in the reference above.  As I mentioned in my comment above, this means that $R$ is semiperfect and has nonzero right socle.
I claim that $R$ has zero left socle.  Certainly any minimal left ideal will lie inside the unique maximal left ideal $J$.  It suffices to show that every $a \in J \setminus \{0\}$ has left annihilator $ann_l(a) \neq J$. For then $Ra \cong R/ann_l(a) \not \cong R/J = k$.  Indeed, if $a \in J$ then $a = \sum c_{ij} E_{ij}$ for some scalars $c_{ij}$ that are almost all zero.  Let $r$ be maximal such that there exists $c_{rj} \neq 0$.  Then there exist finitely many $j_1 < \cdots < j_r$ such that $c_{r j_p} \neq 0$. It follows that $E_{r+1,r} \in J$ with $$E_{r+1,r}a = E_{r+1,r} \sum c_{ij} E_{ij} = \sum c_{ij} E_{r+1,r} E_{ij} = \sum_p c_{i j_p} E_{r+1,j_p} \neq 0.$$ In particular, $E_{r+1,r} \in J \setminus ann_l(a)$ as desired.
