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

Exercise 3.25 in Lam's First Course states:

Let $R$ be a ring that has exactly seven nonzero left ideals. Prove that one of them is an ideal (i.e. left and right) and provide an example of such a case.

I also checked the solution book and the proof starts like this:

Assume the contrary, that $R$ does not have proper ideals. Then $R$ is a simple ring. Also, because it has a finite number of left ideals, it must be left artinian. So, from Wedderburn-Artin, we have that $R=\mathbb{M}_n D$, for a division ring $D$ and some $n \geq 2$.

If $n \geq 3$, we can construct more than 7 left ideals (using column-like matrices), so $n$ must be 2.

Now let $\alpha:$ { lines through the origin in $D^2$, as a right $D$-vector space} $\rightarrow$ {nontrivial left ideals of $R$} defined by taking annihilators.

Then $\alpha$ is bijective, so $\#D=6$, a contradiction.

Could any of you please describe more specifically what does $\alpha$ do? I didn't understand how it is defined, let alone it being bijective.

Thank you.

share|cite|improve this question
if $v\in D^2$, $v\neq 0$, then $\alpha(vD)=\{A\in\mathbb{M}_2D;Av=0\}$. – user8268 Mar 16 '12 at 13:54
Thanks. That clears things up a little... I'll come back if there's anything left. – AdrianM Mar 18 '12 at 14:39
@user8268 It seems your answer helped the OP. Please consider converting your comment into an answer, so that this question gets removed from the unanswered tab. If you do so, it is helpful to post it to this chat room to make people aware of it (and attract some upvotes). For further reading upon the issue of too many unanswered questions, see here, here or here. – Julian Kuelshammer Jun 9 '13 at 18:59

This CW answer intends to remove the question from the unanswered queue.

As uswer8268 noted in the comments:

A line through the origin is given by $vD$ for some $0\neq v\in D^2$. We define (by taking annnihilators) as $$\alpha(vD):=\{A\in \mathbb{M}_2D|Av=0\}.$$

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.