Gauss and matrices

Algebra Level 5

How many matrices A A of order 2 over the domain of Gaussian integers ( Z [ i ] \mathbb{Z}[i] ) satisfy A = ( 5 a b c ) (with a, b, c Z [ i ] ) and A 2 = ( 1 0 0 1 ) ? A = \begin{pmatrix} 5 & a \\ b & c \end{pmatrix} \space \text{ (with a, b, c } \in \mathbb{Z}[i]) \space \quad \text{ and } \quad \space A^2 = \begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix} ?


The answer is 48.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Mark Hennings
Mar 28, 2018

We want ( 1 0 0 1 ) = A 2 = ( 5 a b c ) 2 = ( 25 + a b a ( 5 + c ) b ( 5 + c ) c 2 + a b ) \left(\begin{array}{cc} -1 & 0 \\ 0 & -1 \end{array}\right) \; = \; A^2 \; = \; \left(\begin{array}{cc} 5 & a \\ b & c \end{array}\right)^2 \; = \; \left(\begin{array}{cc}25 + ab & a(5+c) \\ b(5+c) & c^2 + ab \end{array}\right) so we must have c 2 = 25 c^2 = 25 , a b = 26 ab=-26 and a ( 5 + c ) = b ( 5 + c ) = 0 a(5+c) = b(5+c) = 0 .

If c = 5 c=5 we would see that a = b = 0 a=b=0 , and so the equations are inconsistent. Thus it follows that c = 5 c=-5 , and so the only other condition required is a b = 26 ab=-26 . Thus the number of matrices of the desired form is simply equal to the number of divisors of 26 -26 in Z [ i ] \mathbb{Z}[i] . Now 26 = ( 1 + i ) ( 1 i ) ( 2 + 3 i ) ( 2 3 i ) = i ( 1 i ) 2 ( 2 + 3 i ) ( 2 3 i ) 26 \; = \; (1+i)(1-i)(2+3i)(2-3i) = i(1-i)^2(2+3i)(2-3i) is a factorization of 26 26 into distinct irreducibles and units of Z [ i ] \mathbb{Z}[i] . Thus the most general form of a a is a = u ( 1 i ) p ( 2 + 3 i ) q ( 2 3 i ) r a \; = \; u(1-i)^p(2+3i)^q(2-3i)^r where u Z [ i ] u \in \mathbb{Z}[i] is a unit and p , q , r p,q,r are integers with 0 p 2 0 \le p \le 2 , 0 q , r 1 0 \le q,r \le 1 . Since there are 4 4 units in Z [ i ] \mathbb{Z}[i] (namely 1 , 1 , i , i 1,-1,i,-i ), we deduce that there are 4 × 3 × 2 × 2 = 48 4\times 3 \times2\times2 = 48 divisors of 26 -26 , and hence 48 \boxed{48} matrices.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...