Let $R$ be the ring of $2 × 2$ matrices with rational entries. Prove that the only ideals of $R$ are $(0)$ and $R.$
This was a question from the book, "Topics in Algebra " by I.N Herstein in the chapter Ring Theory (Page number-136; 2nd Edition).
I know this question is asked a lot of times in this site. But the thing is, nearly every answer, is a reformulation or more or less a variation of the following solution:
Suppose $I$ is an ideal of $R$ and $0\neq A ∈ I.$ Let $α$ be a non-zero entry in $A,$ and assume that it lies in row $r$ and column $s.$ Let $E_1 ∈ R$ have all entries $0$ except for the $(1, r)$ entry which is $1.$ Let $E_2 ∈ R$ have all entries $0$ except for the $(s, 1)$ entry which is $1.$ Since $I$ is a (two sided) ideal, $B = E_1 AE_2 ∈ I.$ But $B$ is the matrix with all entries $0$ except for the $(1, 1)$ entry which is $α.$ Using a similar argument, we conclude that $C ∈ I,$ where $C$ is the matrix with all entries $0$ except for the $(2, 2)$ entry which is $α.$ Thus $B + C ∈ I.$ Since $B + C$ is invertible, we conclude that $I = R.$
Now, the part where they mention, "But $B$ is the matrix with all entries $0$ except for the $(1, 1)$ entry which is $α.$" appears sketchy or blurry. This is because, I don't get how to "know" that how this works, I mean I dont understand or am not being able to really produce a picture in my mind, that multiplying $E_1,E_2$ with $A$ as $E_1AE_2$ gives such a matrix $B.$ I know that I can verify this by checking all the cases but that is highly laborious and I think that's not what the solution asks the reader to think of. Is there any way, I can know that multiplying $A$ with the matrices $E_1,E_2$ appropriately gives us, a mayrix like $B.$
Also, I don't know how to get a deep confirmation from my mind, about the fact: "Using a similar argument, we conclude that $C ∈ I,$ where $C$ is the matrix with all entries $0$ except for the $(2, 2)$ entry which is $α.$"
I am just looking for some way to make these things look very obvious to me. I don't even know if I am being able to express myself clearly or not, but any help regarding this issue will be highly appreciated.
To understand this, you must look at the operations of the four matrices $$E_1=\begin{pmatrix}1 & 0\\0&0\end{pmatrix}\\E_2=\begin{pmatrix}0 & 1\\0&0\end{pmatrix}\\E_3=\begin{pmatrix}0 & 0\\1&0\end{pmatrix}\\E_4=\begin{pmatrix}0 & 0\\0&1\end{pmatrix}$$ acting on both the right and left sides of a matrix $A=\begin{pmatrix}a&b\\c&d\end{pmatrix}$
You have to write the left multiplications and right multiplications out so you can get this intuitively.
Multiplying $A$ on the left by $E_1$ will give a matrix with $A$'s first row in the first row and zeroes in the second row. Multiplying on the right by $E_1$ will give a matrix whose first column the first column of $A$ with zeroes in the second column.
If you write out the eight multiplications you will see that you can create a matrix from $A$ that places either of $A$'s two rows in any row in the result and either of $A$'s columns in any column. Thus, as long as one of $A$'s entries is non-zero you can move that entry to $(1,1)$ and by a separate operation you can move it to $(2,2)$. Now you can invert the matrix to show that the ideal contains the identity matrix which means the ideal is equal to $R$.
For example, suppose $a\ne 0$ in $A$. Then $$E_1A=\begin{pmatrix}a&b\\0&0\end{pmatrix}$$ and $$E_1AE_1=\begin{pmatrix}a&0\\0&0\end{pmatrix}$$
Likewise, $$E_3AE_2=\begin{pmatrix}0&0\\0&a\end{pmatrix}$$ Adding those together gives $aI$ and multiplying that by $\frac{1}{a}I$ gives the identity matrix. Since the identity is in the ideal, the ideal is all of $R$.