
Ideal in matrix ring
Hi,
I need help with the following problem:
consider the ring of 3x3 matrices with entries in the ring Z36.How many matrices are there in the two sided ideal generated by the matrix diag(o,6,18)?
Attempt at a solution:
I computed the general matrix in the two sided ideal,but counting was complicated since different products of the parameters may be equal in Z36.
I will be gratefull for any help.
Hedi

Re: Ideal in matrix ring
Perhaps there's a more clever way, but the method you proposed should work. Remember that you have 18 free parameters.
To simplify things, I'd factor out a 6: A diag{0, 6, 18 }B = (6) A diag {0, 1, 3} B. To get you started:
If you can choose (I don't know that you can, but it seems possible at first glance) combinations of a's and b's so that the resulting matrix is anything
in , then your ideal I would equal (6)R, whose number you can count.
What of the other elementary matricies?

Re: Ideal in matrix ring
This ideal cannot be the whole ring because it's matrices are not invertible.From this reason it cannot contain all possible
matrices with zero entries except one 1.

Re: Ideal in matrix ring
In second thought there is no meaning for rank for matrices over rings.

Re: Ideal in matrix ring
it appears that I = (6)R = 6R. in Z36, <6> = <6> (since 6 and 6 are additive inverses, and both generate the same additive subgroup of (Z36,+)).
to prove this, it suffices to show that we can always pick 4 elements a,b,c,d in Z36 with:
ab  3cd = 1. a = b = 2, and c = d = 1 will serve.
thus (2E_{i2}+E_{i3})(diag(0,1,3))(2E_{2j}+E_{3j}) =
(2E_{i2}3E_{i3})(2E_{2j}+E_{3j}) =
(4E_{i2}E_{2j}) + (2E_{i2}E_{3j}) + (2E_{i3}2E_{2j})  (3E_{i3}E_{3j})
= 4E_{ij} + 0 + 0  3E_{ij} = E_{ij}.
for example, with i = 3, j = 1:
.
yes, we can have "duplicates", because in Z36, ab = ac doesn't imply b = c. but the relevant fact here is that the map:
k > 6k is a surjective homomorphism from Z36 to <6>.
since 6E_{ij} is in our ideal for any choice of i and j, then any Z36linear combination of the 6E_{ij} are also in the ideal (by closure), and so I = 6R.
this gives 10,077,696 elements of I (i think).

Re: Ideal in matrix ring
Thank you very much for your help,It was very helpfull.

Re: Ideal in matrix ring
There's an observation that Deveno and I relied on that you should understand make an argument for.

Re: Ideal in matrix ring
I is the two sided ideal in the ring of matrices over Z36 generated by the matrix 6diag(0,1,3),so the entries of all matrices in I are elements of Z36 that are multiples of 6.

Re: Ideal in matrix ring
Right. Since , have that
So once you've also shown that , you'll have that