Find all the units in M2(Z2)
You need to find all the matrices, of formOriginally Posted by suedenation
where such as it has an inverse.
There are 16 possible such matrices, check each one if it is invertible.
If I am not making a mistake, then I think that,
Are the only units in this ring.
I was thinking of a more elegant way of solving this. There is a theorem in Linear Algebra which states that a square matrix is invertible (a unit) if and only if its determinant is non-zero.
The problem is I do not know if this is going to work here, possibly because is not a field.
But let us assume, thus we need that,
Since there are only two elements in the set by elimination we have that,
Thus, by evaluating the determinant,
But remember in this ring since it has only two elements, that for all .
Now, just observe the possibilities for which make this equation true. Since there are only 16 of them it is easy.
1)If then, thus, and can be anything (either 1 or 0) this gives us two matrices,
2)If then , would mean that either or must be zero. Also, if would mean that both and cannot be zero (thus they are both one). This gives us four matrices,
Now there is no need to observe what happens with because we know what matrix would it be depending on the value of .
It works fine, because actually is a field.Originally Posted by ThePerfectHacker
Here's another way which generalises to any finite field and any dimension .
A square matrix is invertible if and only if its rows are linearly independent. Take each row in turn. The first row must be non-zero so there are possibilities. The second row must not the in the subspace generated by the first row, which has dimension one, so there are possiblities. The -th row must not be in the subspace generated by the previous rows, linearly independent by induction, so of dimension giving possibilities. The overal number of possiblities is thus
In the case this is .