Originally Posted by
Deveno my understanding is, the matrix ring is defined even if R is not unital (think of all nxn matrices with even integer entries).
now, i understand "your" ring ideal is "bigger" than mine, because you are letting your ideal consist of elements that occur as any arbitrary entry.
(i thought of that, too, but didn't know how to specify it less vaguely). and i get at once that your definiton does yield an ideal.
the question for me, then becomes: is your ideal "strictly" bigger than mine? i'm not sure, in the general case, in the unital one, i'm pretty sure it isn't.
here's my reasoning: let's say that a is in A (for alex's ideal). so a is, oh, say the i,j-th entry in some matrix T. now we have the whole of the matrix ring
to use via multiplication to apply to T, and we'll still be in our matrix ring ideal (call it U, so our matrix T is in U).
if R is unital, then if i multiply T on the left with Ei,j (1 in the j-th position in the i-th row, 0's elsewhere),
i'll knock out everything but the i-th row. if i multiply this new matrix on the right by Ei,j, i'll obtain a(Ei,j).
now by suitably choosing Ek,l, i can also move (via left and right multiplication) the ai,j entry of T to any position i want.
so i can create a matrix a(Ei,i) for every value of i, and all of these are still in U. add them up, and you get a diagonal matrix.
but that means your ideal is contained in mine, so we actually have the same one.
if R is not unital, though, i can't do this....do we still have the same ideal?