2
$\begingroup$

Given a long exact sequence of free (left) modules $M_i$ of finite rank $k_i$ over possibly non-commutative ring $R$:

$\dots \to M_{i-1}\to M_i \to M_{i+1}\to \dots$

What is the condition on $R$ which allows to deduce that $k_i\leq k_{i-1}+k_{i+1}$?

The mentioned property certainly holds if one assumes that $R$ admits a representation into $M_m(F)$ for some $m\in \mathbb N$, where $F$ is a field. I also think that the same will hold if $R$ is a semisimple algebra. I am looking for some other classes of rings which satisfy this property. I was thinking about represenations in von Neuman algebras and to make use of von Neuman rank, but I am not sure about that. Any help will be highly appreciated

$\endgroup$
  • $\begingroup$ Are you sure you want to include non-commutative rings? For modules over a non-commutative ring, the "rank" may not even be well-defined (rings without IBN, for instance). $\endgroup$ – Arturo Magidin Dec 16 '16 at 22:37
  • $\begingroup$ @ArturoMagidin This can be avoided by saying $M_i$ is free on $k_i$ generators (rather than of rank $k_i$). In that case, stable finiteness (right inverses in matrix rings are left inverses) is likely sufficient, .... This is a slightly stronger hypothesis than invariant basis number. $\endgroup$ – David Handelman Dec 17 '16 at 0:33
  • $\begingroup$ And for stably finite von Neumann regular rings, the inequality is true. The image of $M_i$, $P_2$, is a fg submodule of $M_{i+1}$, hence is projective, and the same for the image of $M_{i-1}$, (denoted $P_1$), so splits, and we thus have $M_i $ isomorphic to $P_1 \oplus P_2$. Splitting of $M_{i-1} \to P_{1}$ ensures that $P_1$ is iso to a direct summand of $M_{i-1}$, so $M_i$ is iso to a direct summand of $M_{i-1} \oplus M_{i+1}$. Stable finiteness then guarantees $k_i \leq k_{i+1} + k_{i-1}$ (actually, so does IBN, in this case). $\endgroup$ – David Handelman Dec 17 '16 at 0:42
  • $\begingroup$ I should have added, under the assumption that each $M_i$ is free on $k_i$ generators, in the proof that the inequality is correct for sf (or IBN) vn regular rings. $\endgroup$ – David Handelman Dec 17 '16 at 0:44
  • $\begingroup$ And (possibly answering the question), it presumably is the case that if $S \subset R$ is an inclusion of unital rings such that $R$ satisfies the property on all such sequences, then so does $S$. I guess you just tensor on the right with ${}_SR_S$. $\endgroup$ – David Handelman Dec 17 '16 at 0:54
1
$\begingroup$

Here is a result in the right direction, organizing the comments (some of which were unjustified, e.g., use of IBN). It applies to finite type von Neumann algebras and their regular rings, as well as all stably finite regular rings, and free rings too.

A (unital) ring is left semihereditary if every finitely generated left ideal is projective. This is a Morita invariant; in particular, this implies that every finitely generated submodule of a finitely generated free module is projective. Examples include von Neumann regular rings, rings all of whose matrix rings are Baer (thus including AW*-algebras), free rings, .... The class of semihereditary rings is closed under direct limits with one to one maps.

Recall that a ring is stably finite if all right invertible square matrices are invertible. This includes all AW*-algebras of finite type, their regular rings, free rings, and many others. The class of stably finite rings is closed under direct limits with one to one maps, and subrings.

Proposition Let $R$ be a left semihereditary stably finite ring. Then the condition $k_i \leq k_{i+1} + k_{i-1}$ is satisfied.

Proof. Let $P_1$ be the image of $M_i$ in $M_{i+1}$. As $M_{i+1}$ is free and $P_1$ is finitely generated (since $M_i$ is), we have that $P_1$ is projective. Hence $M_i \to P_1$ splits, and thus $M_i $ is isomorphic to $P_1 \oplus P_2$, where $P_2$ is the kernel of $M_i \to M_{i+1}$. We also have $P_1$ is the kernel of $M_{i+1} \to M_{i+2}$, so by the same argument, $P_1$ is a direct summand of $M_{i+1}$.

By exactness, $P_2$ is the image of $M_{i-1}$ in $M_i$, and freeness of $M_i$ (and $P_2$ finitely generated) implies $P_2$ is projective, and thus $P_2$ is isomorphic to a direct summand of $M_{i-1}$.

We have $M_i$ isomorphic to $P_1 \oplus P_2$, and $P_1$ is isomorphic to a direct summand of $M_{i+1}$ and $P_2$ is isomorphic to a direct summand of $M_{i-1}$. Hence $M_i$ is isomorphic to a direct summand of the free module $M_{i-1} \oplus M_{i+1}$. If $k_{i} > k_{i-1} + k_{i+1}$, we would obtain a contradiction to stable finiteness.\qed

Since semihereditariness is fairly strong, we should be able to deal with subrings, say $S \subset R$, where $R$ is at least semihereditary. Unfortunately, tensoring on the left with ${}_S R_S$ need not yield exactness of the sequence of free $R$-modules, $\cdots \to R \otimes_S M_{i} \to \cdots$ (although there may be ways around this). However, if $R_S$ is flat, then exactness is preserved. Hence:

Corollary Suppose $S\subset R$ is an inclusion of rings such that $R_S$ is flat, and $R$ is a left semihereditary stably finite ring. Then $k_i \leq k_{i+1} + k_{i-1}$.

It's been a long time since I did ring theory (25 years?).

Edit The corollary covers semiprime (right) Goldie rings, since their (classical) ring of quotients is flat. Also, if $K$ is a two-sided ideal such that $K^2 = K$, then $R/K$ is flat, covering some additional cases. In addition, a direct limit of rings with one to one maps each of which satisfies the inequality, also satisfies it.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ David Handelman, Thank you very much for the answer. I really appreciate it. I am not very familiar with left semihereditary stably finite rings. Are there any known examples of rings of this type which do not admit linear representations in $M_m(F)$ for some $m\in \mathbb N$, where F is a field? I am simply trying to compare the condition you suggest with the condition mentioned in my question. In addition, it looks like the condition you mention can be substituted with the condition that R admits a homomorphism into a left semihereditary stably finite ring. Am I wrong? $\endgroup$ – RAG Dec 17 '16 at 22:02
  • $\begingroup$ There are lots of examples of (semihereditary) rings which admit no representations in finite dimensional matrix rings (over a division ring); for example, any direct limit of semisimple algebras which has no bounds on the index of nilpotents; von Neumann algebra factors of finite type; and many of others. Unfortunately, the subring argument does not work unless the overring is flat (and requires the map to be an embedding). But this still covers a lot of cases, such as noncommutative orders in semisimple algebras. $\endgroup$ – David Handelman Dec 17 '16 at 22:19
  • $\begingroup$ RAG, if you want to leave a comment under an answer to a question of yours, you can do so, and we ask that you not use answer boxes to do so, because inevitably someone will flag your "answer" as not an answer and then a moderator will have to convert it to a comment. Please see this post for information on leaving comments: meta.stackexchange.com/questions/19756/how-do-comments-work $\endgroup$ – Todd Trimble Dec 18 '16 at 2:22
  • $\begingroup$ David Handelman, Thank you once again for your answer. Do I understand correctly that in the corollary you assume that the modules are over S, and not over R (so, it is enough to assume that the ring over which the modules are considered is a subring of some left semihereditary stably finite ring (with the flatness property))? Otherwise, I am slightly confused ... Todd Trimble, Unfortunately I can not comment, because my reputation is lower than 50. $\endgroup$ – RAG Dec 19 '16 at 18:08
  • $\begingroup$ From the post I linked to: "Who can post comments? All users may leave comments on their own posts and any answers given to their own questions." $\endgroup$ – Todd Trimble Dec 19 '16 at 19:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.