Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $R=M_n(\mathbb F_q )$ be the ring of $n\times n$ matrices over the finite field $\mathbb F_q$. I want to show that every matrix of rank $n-1$ in any maximal left ideal of $R$ generates that maximal left ideal.

I know that $R$ is semi-simple ring. I deduce that every ideal of $R$ was generated by idempotent element, but I don't know how do I use this fact.

Any suggestion?

share|cite|improve this question
up vote 3 down vote accepted

Finally, I found the solution of my question in Jacobson's book (page 232 of Lectures in Abstract Algebra). However Jacobson used old literature and I restate with modern literature.

Let $D$ be a division ring and n be a natural number. If $H_r$, $0 \leq r \leq n$, denotes the left ideal of $M_n(D)$ containing all matrices whose $d_{ij} = 0$, for every $r \leq j \leq n$, then every left ideal of $M_n(D)$ is similar to $H_r$, for some $r$, $0 \leq r \leq n$ (there exists an invertible matrix $P$, so that every matrix in the left ideal of $M_n(D)$ is of the form $PKP^{−1}$, where $K\in H_r$).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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