Internat.J. Math.&Math.Sci. VOL. 16NO.3(1993)539-544
ON
THE MATRIX
EQUATIONX
nB
OVER
FINITE FIELDS
MARIA T. ACOSTA-DE-OROZCOandJAVIERGOMEZ-CALDERON
Department
of Mathematics SouthwestTexas State
UniversitySan
Marcos,
Texas
78666-4603Department
of Mathematics The PennsylvaniaState
UniversityNew
KensingtonCampus
New
Kensington, Pennsylvania 15068(Received May
28, 1992 andin revisedformApril 19,1993)
539
ABSTRACT.
LetGF(q)
denote the finite field of order qpC
with p odd and prime. LetM
denotethe ringofrn mmatrices withentries in
GF(q). In
this paper, weconsider theproblem of determining the numberN
N(n,m,B)
of the n-throots inM
ofagivenmatrixB
EM.
KEY WORDS AND PHRASES.
Finite fieldsandmatrix powers.1991
AMS
SUBJECT CLASSIFICATION
CODE.
15A33.1.
INTRODUCTION.
Let GF(q)
denotethe finite field of order qpe
with podd and prime. LetM
Mm
xrn(q)
denote the ring of mm matrices with entries inGF(q).
In
this paper, we consider the problem ofdetermining the numberN
N(n,m,B)
of the n-th roots inM
of a given matrixB
EM;
i.e.,thenumberof solutionsX
inM
of the equationx"=B
(1.1)
Our
present work generalizes a recent paper of the authors[1]
in which the case N(n,2,B)was considered. If
B
denotes a scalarmatrix, then equation(1.1)
iscalled scalar equation, type of equations that has been already studied byHodges
in[3].
Also, ifB
denotes the identitymatrixand n 2, then the solutions of
(1.1)
are called involutorymatrices. Involutory matrices over either a finite field or a quotient ring of the rational integers have been extensivelyresearched,
withadetailedextension toall finitecommutativeringsgiv,en byMcDonald in[5].
2.
ESTIMATING
N(n,m,B).
Let
GF(q)
denotethefinite field oforderqpC
with podd and prime.Let
M
Mmx
re(q)
denote the ring of mxm matrices with entries in
GF(q)
and letGL(q,m)
denote its group of units.We
now make the followingconventions:(a)
nandrn will denoteintegerssothat 1<
rnand 1<
n<
q,(b)
N(n,m,B)
willdenotethe number of solutionsX
inM
of the equation(c)
g(m,d)
willdenote thecardinality ofGL(qd, rn).
Thus m-1g(m,d)-
YI
(q,d_q,d)
-0
m
cl)
-q
dm
lI
(1-q
i=1We
also defineg(O,d)
1.where the
F
are distinctmonic irreduciblepolynomials, h>_
1 anddegF d for 1,2, .,s.Thenthenumber ofmatrices
B
inM
such thatE(B)
0is given bys
h,
g(m,
1)yq-"(’)
II I-I
g(Kij, di
)-1
P
i=lj=lwhere thesummation isoverall partitions
P
P(m)
defined bys
=
,
,,,
,,_>o
i=1 j=l
anda
(P)=
d,b,(P)where
b,(P)is
afiabyb,(P)
.,
k, (u-1)
+
2uk,u
Y
u=l v=u+l
LEMMA
2. Let w denoteaprimitive element ofaF(q).
Letwriter w forsomet, 1
_< _<
q-1. Assumendividesq- but4 is not factor ofn. Theny
q"(q-
1) _< N(n, m,r/) _<
(q_
P
P
where thesummationisoverall partitions
P
P(m)
definedby(,t)
"
Z
(n,t)
i=1PROOF.
Let D
denote thegreatestcommondivisorofnand t. ThenX W X W
X-_W
D i=0D-1
II
,().
i=0 (q-a) 1
We
also seethatw Di+
does notbelong
tothe set of powersGFS(q)
{x:x
EGF(q)}
for all prime factors s of.
Hence,
by([4],
Ch.VIII,
Th.16),
each factorhi(x)
is irreducible overGF(q)[x].
Therefore, Lemma
1 withE(x)=
x"-w givesN(n,m,r l)=
g(m,
1)
y
II
gk,,
Pi=l
(2.1)
wherethesummationoverall partition
P
P(m)
definedbyD
m= .Z
0.z=l
Hence,
qm2
H
(l--q-’)
i=1N(n,m,r l)=
y
P.,n
q’=l
II
II(l-q-V’/
and
ON THE MATRIX EQUATION
Xn=B
OVER FINITE FIELDS qP
qm
=-
P
(q
1)"
N(n,
m,rl)
P
m
-1
qm2
FI
(1-q
i=1
q
1-I
17[
(1
i=1j=1
qm2(1
q-p
-q
541
>
q’(q-
1)
P
REMARK
1. Ifr" wt"GF"(q),
thenndoes not divide tmand the number of partitions
P
iszero. Thus,N(n,m, rl)=
O.REMARK
2. If r wq- 1 and 1<
n<
q, including 4 as a possiblefactor of n, thenonecan
’obtain
q"
< N(n,m,l)<_
y
(q_
1P
P
LEMMA
3.[(q-
1)" _< N(n,m,O) <_
-:(q_
qm
P
P
where
P
denotes all partitionsP
P(m)
definedbyn
m=
y
jk,
k.>O
3=1
PROOF.
ApplyingLemma
1,withE(x)
x",
weobtainN(n,m,O)
g(m,
1)- q-b(P)
II
g(k,,1)
-1P
j=lwherethesummation isoverallpartitions
P
P(m)
definedbym=
y
jk,
k>_O
j=l
and
b(P)
k(u-
1)+
2ukk,
Therefore,
u=l v=u+l
(a)
where
qm2
I
(1--q-i)
N(n,
m,o)
p
k,n
k,
qb(P)q,=l
1-I
l’I
(1
q-’)
i=lj=l
n n
[
nb(P)
+
k
k,u(u-1)
+
2ukiu
i=1 u=l v=u+l
k,,,
+
_,
k>m.
i=1
We
alsoseethat 1-q 1-q-i
N(n,m,0)<
p
--
(q-1
(b)
qm2
fi
(1-q
-i)
i=1
N(n,m,o)
k,
p k, n
qb<P)
qYI II
(1
q-’)
i=lj=l
>--
Z
qrn(1
q-
’)’
P
,(P)+ qqm:(q-
1)
(P)+,
+,
P
qNowwewillconsideranonscalarmatrixB. Westart withthe following
LEMMA
4.Let B
denote a mxm matrix overGF(q)
with a minimal polynomialfs(x).
Let
ft,(x)=
fl(x)f(x)...fbr"(x
withdeg(f,)=d,
denote the prime factorization offs(x).
Assume
thatB
issimilar toamatrixof the formwhre
C(y)
deotethe companionmatrixoffb,
i"Let
]’,(x")
1-I
F,,(z)
denote the prime factorization off,(x")
for i= 1,2,---,r.Let
D,
1=1
denotethedegreeof
F,3(z
for j 1,2,. .,a,. Then(I
g(k,,d,)
,=1
(2.2)
N(n,b,B) <_
a,P
(I
I-Ig(R,3,
D,)
=1 ./=1
wherethesummation isoverall partitions
P
P(a,,Di,
d,,k,)
definedbyDi
R
O=d,k,,
R,>0
1=1
for 1,2, .,r.
PROOF.
IfT"
B
thenI(T
")
0. Thus the minimalpolynomialofT
dividesIs(z")
andT
issimilar to amatrixofthe formdiag(E1,
E,
,E,.)
(2.3)
where
Ei
diag(C(F|),
C(FI),
...,
c(ria,),
C(F,)
’h’
Riai
So,
we a partitionP(ai,
Di,d,,k,)
b with
C(F
denoting the companion matrixofFi.
J. have
P
definedby a,
D,
n,,
=d,k,
(2.4)
3=1
for 1,2,
.,
r.Therefore,
N(n,m,B) <_
com(B)
p
corn(T)
ON THE MATRIX EQUATION
Xn=B
OVER FINITE FIELDS 543 by(2.4).
Nowusing the formula for
ICOM(H)
givenby L.E. Dickson in([2],
p.235)
weobtain(,,,1
N(n,m,B) <_
a,P
(I
I[g(R,,D,)
,=1 =1
Thiscompletes theproofof the lemma.
REMARK.
IfT
is similar to a matrix of the form given in(2.3),
thenT"
may have elementary divisorsof the formf("(X)
withC,
< b,.
This possibility is the main problemtogetanequality at
(2.2).
LEMMA
5. LetB
denotea m m matrixoverGF(q)
with minimal polynomialfs(x).
Letf
B(x)
f’(x)f2(x)
fbrr(x
withd,
deg(f,)
denote the prime factorization off
B(x).
Assume
m=b,d,.
ThenN(n,m,B)
<
n<
Further,
N(n,m,B)=
n ifand onlyiff,(x)=
x-a,witha,EGF"(q)
fori=1,2, .,r m.PROOF.
With notation as inLemma
4, mb,d,
impliesk,
k2
k
1.t----1
Therefore, if
T"
B
thenD,
d,
for all 1,2,.,
vandN(n,m,B) <
P
where thesummation isover all partitions
P
definedby aR,=
1,R,>0
j=l
for 1,2, -,r.
Thus,
rN(n,m,B) <
1-I
a,>
n
Now if
N(n,m,B)=n’,
then r=m. So, each polynomialf’(x)must
be linear so thatf,(z")
splits as a product ofn distinct linear factors.Hence, f,(z)=
z-a, with a, GF"(q)fori=1,2, .,v m. Conversely,if
f,(z)=
x-a, witha,GF"(q),
thenQ-’
diag(e,,e,
,e,,) Q
B
for some matrix
Q
inGL(q,m)
and for all e, inGF(q)
such that e7
a, for i= 1,2,---,r. Therefore,N(n,m,B)=n".
COROLLARY
6. IfB
diag(bl,b,.,b,,,)
withb,
b
when j, thenj’n"
ifb,
_
GF"(q)
fori=1,2, .,mN(t-,
rh, B)
[0, otherwise
LEMMA
7.Let B
denote a mm matrix overGF(q).
Assume
that the minimal polynomial ofB
is irreducible of degree d<
m. Then, eitherN(n,m,B)
0 orY(n,m,B)
>
(qd_
1),#.
PROOF.
Let
fs(x)
denote the minimal polynomial of a mm matrixB
overGF(q).
Assume
fs(x)
is irreducible of degree d<
m. Thus, m rd for some integer r>
2. LetfB(X
’)
F(x)F(x)...
f,,(x)
denote the prime factorization offs(x")
and letD
denote the degree ofeachofthe factorsF(x)
for 1,2,. .,a.Assume
N(n,m,B) >
0. ThenT"
B
for somematrixT
that is similar toamatrixof theformN(n
re,B) >
ICOM(T)
qdr2
’I
(1-q
-d3)
j=l
D
n,
aR,
-D./)
q ’:’
1-[
I-
(1-q
i=1j=1
qdr2
(1
qd)r
q ,=1
q’(
’)(q
)r
q,,(3
1)
q’(
)(qd
)"
ifm>d
ifm=D
>
(qd_
1)’/d.
We
arereadyforourfinalresult.THEOREM
8.Let
B
denotea m m matrix overGF(q)
and letfz(x)
denoteits minimal polynomial. LetfB(x)=
fl(x)
fb22(x)..,
fbrr(X
withdeg(f,)= d,
denote the prime factorizationof
fs(x).
Assume B
is similartoamatrixof the formdiag
(C(fl),
.,C(fl)
.,
c(fbrr),
",c(fbrr))
kl
k
where
C(f
i)
denotes the companionmatrixoffb,
i"Let
f,(x")=
I-[
F,(x)with deg(F,)=
D,
denotethe prime factorization off,(x")
for7=1
i=l,2,-..,r. Then
if
k,
1for 1,2, .,rN(n,
m,B)
n’* ifdi
b,
k
1 anda, nfor 1,2,.,
r reither,0or
>_
1"I
(qd,_
1)k
ifb,
1,k,
>_
2 andD,
z=l for 1,2,- .,r.
PROOF.
ApplyLemmas
5and 7andCorollary6.REFERENCES
1.
ACOSTA-DE-OROZCO,
M.T.
& GOMEZ-CALDERON, J.,
Matrix powers over finitefields,
Inter’nat. J.
Math. and Math. Sci. 15(4)
(1992),
767-772. 2.DICKSON, L.E.,
LinearAlgebra, Leipzig, 1901.3.
HODGES,
J.H.,
Scalar polynomial equations formatrices over afinite field, Duke Math.J.
25
(195S),
291-296.4.
LANG, S.,
Algebra, Addison-Wesley, Reading,MA,
1971.5.
McDONALD, B.R.,
Involutory Matrices over finite local rings, CanadianJ.
of
Math. 24