Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

As a homework assignment, I've been given a particular subring of $M_2(\mathbb{Q})$, and asked to list all the ideals... For reference, $S$ = { set of matrices in $M_2(\mathbb{Q})$ with bottom left entry $0$ } is the subring in question.

I don't really see how to get a handle on this. Is there any sort of algorithmic way of doing this, or...? Where do I start?

Edit: I posted this over at Ask an Algebraist originally: http://at.yorku.ca/cgi-bin/bbqa?forum=ask_an_algebraist;task=show_msg;msg=2257

share|improve this question
add comment

1 Answer

up vote 7 down vote accepted

Start by looking at ideals generated by one element - choose a matrix and see what happens when you multiply it from the left and right, etc.

Every ideal contains an ideal generated by one element, so now you need to see if you can extend some of the ideals you got to larger ideals.

One more thing is that ideals in your ring are also vector spaces over the Rationals, because the ring "contains" $\mathbb{Q}$ as the scalar matrices, so you know that once you have an ideal of dimension 2 it is maximal and cannot be extended (since the entire vector space is of dimension 3).

share|improve this answer
add comment

Your Answer

 
discard

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.