Order of 2x2 matrix group under mult. mod p

  • Context: Graduate 
  • Thread starter Thread starter SiddharthM
  • Start date Start date
  • Tags Tags
    Group Matrix
Click For Summary

Discussion Overview

The discussion revolves around counting the number of 2x2 matrices with integer entries modulo a prime \( p \) that have a nonzero determinant. The scope includes combinatorial reasoning and linear algebra concepts related to matrix invertibility.

Discussion Character

  • Exploratory, Technical explanation, Debate/contested

Main Points Raised

  • One participant outlines a method to categorize matrices based on the number of zero entries and calculates potential counts for each category.
  • For matrices with two zeros, the arrangement can be in either diagonal, leading to \( 2(p-1)^2 \) matrices with nonzero entries.
  • For matrices with one zero, the zero can occupy four positions, resulting in \( 4(p-1)^3 \) matrices with nonzero entries.
  • For matrices with no zeros, the initial count is \( (p-1)^4 \), but adjustments must be made for matrices that have zero determinants due to specific arrangements of entries.
  • Another participant suggests simplifying the approach by focusing on the linear independence of rows and columns instead of counting combinations directly.
  • A further reply questions the complexity of counting linearly independent columns or rows, indicating a need for clarity in the approach.
  • Another participant prompts for consideration of choices for the first and second columns in determining invertibility.

Areas of Agreement / Disagreement

Participants express differing views on the complexity of the counting method, with some suggesting a simpler approach based on linear independence while others maintain their original counting strategy. The discussion remains unresolved regarding the best method to count the matrices.

Contextual Notes

Participants have not reached a consensus on the counting methods, and there are indications of overlapping considerations regarding determinants that have not been fully clarified.

SiddharthM
Messages
176
Reaction score
0
This is the last problem on herstein's 2.3 problem set.

So we want to count how many 2x2 matrices with entries being integers mod p have nonzero determinant mod p. p is prime.

for p=3 there are 48 such matrices. I've broken the general case into three possibilities: matrices with no zeroes (the hardest to deal with), matrices with 1 zero and matrices with 2 zeros.

For the last case there are two ways the pair of zeroes can be arranged, in either of the diagonals. And the remaning two elements can be ANY pair of nonzero integers mod p so that there are 2(p-1)^2 such matrices.

For the matrices with one zero, the zero can occur in four different places and the remaining entries can be ANY nonzero integers mod p, so there are 4(p-1)^3 such matrices.

For matrices with no zeroes there are (p-1)^4 possible matrices, but some of these will have zero determinant. This occurs if all entries are the same, and there are p-1 such matrices. It also occurs if the all entries in each row (or column) are the same. To calculate the number of these type of matrices is not so straightforward: first we know that a matrix with 2 pairs of the same entries (ie a and a and b and b) can be arranged in 6 ways for each pair a and b. But two of these are similar on the diagonals only and therefore don't necessarily have zero determinant. So we subtract another 4(p-1 choose 2) (this stands for binomial/combination notation) from (p-1)^4. The rest of the matrices that have zero determinant are as such because ad-bc may not be zero but is congruent to zero mod p. I.e is divisible by p. But this means ad is congruent to bc mod p.

This last bit is confusing me because i think it overlaps with other possible ways to get zero determinant that I have already considered. I'll come back and add more after I think about it some more, for now though could someone give me feedback for what is already done.

Thanks.
 
Physics news on Phys.org
You're overcomplicating things. Think linear independence of rows/columns.
 
really? lol, i thought i was simplifying things. I AM thinking of linear independence of columns/rows, but I can't count all combinations of linearly independent columns/rows in a straightforward fashion.
 
You have two columns. If the matrix is going to be invertible, how many choices are possible for the first one? For each such column, how many choices can we have for the second column?
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 17 ·
Replies
17
Views
7K
  • · Replies 33 ·
2
Replies
33
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
5
Views
5K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K