7
$\begingroup$

Suppose $M$ is a finitely generated left module over a ring $R.$

We define the rank of $M$ as the minimal number of generators of $M.$

If in addition $M$ is free, then we define the free-rank of $M$ as minimal cardinality of a basis of $M.$

It is clear that $\text{rank}(M)\leq\text{free-rank}(M)$.

I want to know an example when $\text{rank}(M)<\text{free-rank}(M)$.

If $R$ is commutative, then they are equal; so $R$ must be non-commutative.

$\endgroup$
1
  • 1
    $\begingroup$ You want $R$ to have the IBN-property in order for the free-rank to be well-defined. On the other hand in such a situation you would have a surjection $R^m \twoheadrightarrow R^n$ for some $m<n$ and therefore $R^m = P \oplus R^n$ since $R^n$ is projective. It's not quite there yet since $P$ is only projective, not necessarily free, but this smells a lot like a violation of IBN $\endgroup$ Oct 21, 2015 at 17:49

1 Answer 1

8
$\begingroup$

There are abelian groups $A$ such that $A\cong A\oplus A \oplus A$ but $A\not\cong A\oplus A$.

Let $E=\operatorname{End}(A)$. The functor $F=\operatorname{Hom}(A,-)$ is an equivalence from the category of finite direct sums of copies of $A$ to the category of finitely generated free $E$-modules.

So $E\oplus E$ is a module with free rank $2$ but is a direct summand of $E\cong E\oplus E\oplus E$, and so has rank $1$.

For an example where the ring has the IBN property:

For any $n>2$ there is an abelian group $A_n$ such that $A_n^n\cong A_n$ but $A_n^k\not\cong A_n$ for $1<k<n$. Let $E_n=\operatorname{End}(A_n)$ and $E=\prod_{n>2}E_n$.

Then $E^2$ has free rank $2$ but rank $1$.

$\endgroup$
6
  • $\begingroup$ Does $E$ have the IBN property? In other words: Is the free-rank even well-defined? Isn't $E\cong E^{3\times 3} = E^9$ ? $\endgroup$ Oct 21, 2015 at 17:54
  • $\begingroup$ No, but the OP defined the free rank to be the minimal number of free generators. $\endgroup$ Oct 21, 2015 at 17:57
  • $\begingroup$ @JohannesHahn I've edited to give an example with the IBN property (I think). $\endgroup$ Oct 21, 2015 at 18:46
  • $\begingroup$ You're right. I obviously didn't read carefully. $\endgroup$ Oct 21, 2015 at 20:44
  • $\begingroup$ @Jeremy Thanks for your clear answer. Can you give me a reference for the assertion "There are abelian groups A such that A≅A⊕A⊕A but A≆A⊕A"? I didn't know this result and I can't find it. $\endgroup$ Oct 22, 2015 at 17:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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