Counting the matrices within these sets relies on identifying independent entry choices under specific structural constraints. For symmetric matrices in S1, defined by A=AT, only six positions are independent-the three diagonal elements and three above-diagonal elements-while the remaining entries are fixed by reflection. Since each of these six positions can be filled by any of the five values in S, there are 56 such matrices. Skew-symmetric matrices in S2, defined by A=−AT, require every diagonal element to be zero. Because zero is not contained within S, no such matrices exist, resulting in a count of zero for S2.
The set S3 consists of matrices with a trace of zero, meaning the diagonal sum a11+a22+a33 must equal zero. The six off-diagonal entries can be any of the five values, providing 56 total combinations for those positions. For the diagonal entries, we identify triples that sum to zero using values from S: the set (1,2,−3) has 3!=6 permutations, (1,1,−2) has 3!/2!=3 permutations, and (−1,−1,2) has 3!/2!=3 permutations, totaling 12 valid diagonal combinations. Thus, the total count for S3 is 12×56.
To compute the size of the union n(S1∪S2∪S3), we apply the Principle of Inclusion-Exclusion. Given S2 is empty, all intersections involving it are also empty, simplifying the calculation to n(S1)+n(S3)−n(S1∩S3). The intersection S1∩S3 represents symmetric matrices with a trace of zero. In this case, the off-diagonal entries provide only three independent choices, 53, while the diagonal still allows for the 12 valid combinations found earlier, yielding 12×53 matrices. Combining these, the total is 56+12×56−12×53, which simplifies to 13×56−12×53. Factoring out 125 as 53 gives 125(13×53−12), which equals 125(1625−12), confirming that α is 1613.