Euler's Theorem, but stronger

Let p = 2017 p = 2017 . If A A is an n × n n \times n matrix composed of residues ( m o d p ) \pmod{p} such that det A ≢ 0 ( m o d p ) \det A \not \equiv 0 \pmod{p} then let ord ( A ) \text{ord}(A) be the minimum integer d > 0 d > 0 such that A d I ( m o d p ) A^d \equiv I \pmod{p} , where I I is the n × n n \times n identity matrix. Let the maximum such order be a n a_n for every positive integer n n . Compute the sum of the digits when k = 1 p + 1 a k \sum \limits^{p+1}_{k=1} a_k is expressed in base p p .


The answer is 6048.

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

Patrick Corn
Nov 8, 2017

The max order of a matrix in G L ( n , p ) GL(n,p) is a n = p n 1. a_n = p^n-1. The sum of these is ( p p + 1 + p p + + p 3 + p 2 + p ) ( p + 1 ) = ( p p + 1 + p p + + p 3 ) + p ( p 1 ) + 1 ( p 1 ) , (p^{p+1} + p^p + \cdots + p^3 + p^2 + p) - (p+1) = (p^{p+1} + p^p + \cdots + p^3) + p(p-1)+1 \cdot (p-1), so in base p p this is 11 10 x x , 11\cdots10xx, where x = p 1. x=p-1. There are p 1 p-1 1's, so the sum is 3 ( p 1 ) = 6048 . 3(p-1) = \fbox{6048}.

Perhaps you are looking for a proof that the max order is p n 1 p^n-1 ? Well, first of all, there is a matrix whose order is p n 1 p^n-1 : look at the finite field F p n {\mathbb F}_{p^n} as a vector space of dimension n n over F p , {\mathbb F}_p, and look at the matrix of multiplication by a primitive root : its order is p n 1 p^n-1 by definition. On the other hand, the max order is at most p n 1 , p^n-1, because every power of A A can be represented as a linear combination of I , A , A 2 , , A n 1 I,A,A^2,\ldots,A^{n-1} by Cayley-Hamilton , and there are exactly p n 1 p^n-1 nonzero such linear combinations, so two of the elements of the list I , A , A 2 , , A p n 1 I,A,A^2,\ldots,A^{p^n-1} must coincide.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...