4
$\begingroup$

I need help this question

Prove that every finite ring has the Invariant Dimension Property (IDP). (Assume $1_R \neq 0_R$.)

This is what I know I should do. Let $X$ and $Y$ be two sets such that the free module with basis $X$ is isomorphic to the free module with basis $Y$. Next, I have to show that $|X| = |Y|$. This is where I'm stuck.

Thanks.

  • 0
    Maybe there is a more elementary proof for the case when $R$ is finite, but a reference is Hungerford's *Algebra*, Theorem IV.2.6 for the general case of infinite rank free modules over unital rings.2010-12-05

2 Answers 2

2

Just count the number of elements. Since $R$ is finite, you can say exactly how many elements a free modulo of rank $k$ has. For finite $k$, that will do it. In the infinite case, you'll need to do a bit of cardinal work.

1

As $R$ is finite, it is Artinian, so the modules $R^m$ and $R^n$ have finite length. You can now use the Jordan-Hölder theorem to deduce that $R^m\cong R^n$ implies $m=n$.

Or you can just count :-)