2
$\begingroup$

Let $T_n(R)$ be the ring of upper triangular $n$-by-$n$ matrices with entries in a (commutative or non-commutative) unital ring $R$. It happened to me to note that, if $R$ is a skew field, then $T_2(R)$ is right Rickart, i.e., the right annihilator of every element is a (right) direct summand (and I think I can generalize this to $T_n(R)$). So I started looking around and found on Ryan C. Schwiebert's Database of Ring Theory (here) that $T_n(R)$ is in fact known to be a (left and right) Rickart ring provided $R$ is a field. Thence, the question is:

Do you have a reference for this last result (or for a more general one covering the case where $R$ is a skew field)?*

I could try to write to Schwiebert himself, but asking here might dig up some extra information. (Maybe it is worth observing that $T_n(R)$ is not von Neumann regular for $n \ge 2$, or else the conclusion would have been more or less trivial.)

$\endgroup$

1 Answer 1

2
$\begingroup$

By https://encyclopediaofmath.org/wiki/Rickart_ring , a left Rickart ring is characterised by all principal left ideals being projective. But your ring (in the skew-field case as in the title of your question) is a hereditary ring so every submodule of a projective module is also projective. Thus every principal left ideal is projective and your ring is Rickart.

That your ring is hereditary (meaning global dimension at most one) is easy to see by looking at the projective dimensions of the simple modules and using Auslander's result that the global dimension is equal to the supremum of the projective dimensions of the simples.

$\endgroup$
3
  • $\begingroup$ Well, I was looking for a reference. However, this answer helped me to find what I was looking for, so I'll gladly accept it anyway. For an actual reference, see Example (2.36) in Lam's Lectures on Modules and Rings. (Incidentally, it's a left Rickart ring that is characterized by all principal left ideals being projective: Being Rickart is not a left-right symmetric property.) $\endgroup$ Commented Jun 13, 2021 at 16:41
  • $\begingroup$ @SalvoTringali For finite dimensional algebra it might be the same as being hereditary and is left/right symmetric I would expect, or? $\endgroup$
    – Mare
    Commented Jun 13, 2021 at 16:43
  • $\begingroup$ I don't know. In any case, it's confusing (and incorrect) to state that a Rickart (i.e., a left and right Rickart) ring is charaterized by all principal left ideals being projective. $\endgroup$ Commented Jun 13, 2021 at 16:49

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .