MathDB
Extra long, yet cute with invertible Z matrices

Source: Science ON 2021 grade XI/4

March 16, 2021
linear algebranumber theory

Problem Statement

Denote SL2(Z)\textrm{SL}_2 (\mathbb{Z}) and SL3(Z)\textrm{SL}_3 (\mathbb{Z}) the sets of matrices with 22 rows and 22 columns, respectively with 33 rows and 33 columns, with integer entries and their determinant equal to 11. <spanclass=latexbold>(a)</span><span class='latex-bold'>(a)</span> Let NN be a positive integer and let gg be a matrix with 33 rows and 33 columns, with rational entries. Suppose that for each positive divisor MM of NN there exists a rational number qMq_M, a positive divisor f(M)f (M) of NN and a matrix γMSL3(Z)\gamma_M \in \textrm{SL}_3 (\mathbb{Z}) such that g=qM(10001000f(M))γM(10001000M). g = q_M \left(\begin{array}{ccc} 1 & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & f (M) \end{array}\right) \gamma_M \left(\begin{array}{ccc} 1 & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & M^{} \end{array}\right) . Moreover, if q1=1q_1 = 1, prove that det(g)=N\det (g) = N and gg has the following shape: g=(a11a12Na13a21a22Na23Na31Na32Na33), g = \left(\begin{array}{ccc} a_{11} & a_{12} & Na_{13}\\ a_{21} & a_{22} & Na_{23}\\ Na_{31} & Na_{32} & Na_{33} \end{array}\right), where aija_{ij} are all integers, i,j{1,2,3}.i, j \in \{ 1, 2, 3 \} .
<spanclass=latexbold>(b)</span><span class='latex-bold'>(b)</span> Provide an example of a matrix gg with 22 rows and 22 columns which satisfies the following properties: \bullet For each positive divisor MM of 66 there exists a rational number qMq_M, a positive divisor f(M)f (M) of 66 and a matrix γMSL2(Z)\gamma_M \in \textrm{SL}_2 (\mathbb{Z}) such that g=qM(100f(M))γM(100M) g = q_M \left(\begin{array}{cc} 1 & 0\\ 0 & f (M) \end{array}\right) \gamma_M \left(\begin{array}{cc} 1 & 0\\ 0 & M^{} \end{array}\right) and q1=1q_1 = 1. \bullet gg does not have its determinant equal to 66 and is not of the shape g=(a226a236a326a33), g = \left(\begin{array}{cc} a_{22} & 6 a_{23}\\ 6 a_{32} & 6 a_{33} \end{array}\right), where aija_{ij} are all positive integers, i,j{2,3}i, j \in \{ 2, 3 \}.
(Radu Toma)