COMPLETE RESIDUE SYSTEMS IN THE
RING
OF MATRICES OF RATIONAL INTEGERS
JAU-SHYONG SHIUE
Department
of Mathematical Sciences National Chengchl UniversityTaipei, Talwan
Republic of China
and
CHIE-PING HWANG
Department
of Mathematics National Central UniversityChungli, Taiwan
Republic of China
(Received April i, 1977 and in revised form
August
29, 1977)
ABSTRACT.
This paper deals with the characterizations of the complete residuesystem mod.
G,
where G is anynxn
matrix, in the ring ofnn
matrices.KEY
WORDS
AND PHRASES.
Complete residue
system,
ring
of
Gasian integers,
reprns
for
the
complete ridue
system.
AMS(MOS)SUBJECT CLASSIFICATION
(1970)
CODES.
12F05,
12B35.
i
INTRODUCTION.
Gausslan integers. Jordan and
Potratz [i]
have exhibited severalrepresenta-tlons for the complete residue system (in
short, C.R.S.)
mod.r, in the ringof Gausslan integers. Also it is well known that the ring of Gausslan
integers is isomorphic to the ring of 22 matrices of the form
-b a
a, b in
Z.
This raises the question of characterizing theC.R.S.
mod.G,
where G is any
nn
matrix, in the ring ofnn
matrices of which we denote byMa
(Z).
n
2.
THE
COMPLETE RESIDUE SYSTEM IN Mat(Z).
n
First of all, we define
A
IB
mean there is a matrix C such that BCA,
andA
B mod. U means thatUIA
B. Now we can give a definition of theC.R.S. mod. U in the ring of Mat
(Z).
DEFINITION.
Let
U be inMat (Z)
with detU 0. Then a subset J of Mat(Z)
n n
is called a C.R.S. rood. U if and only if for any
A
inMat (Z)
there exists nuniquely a matrix B in J such that
A
B mod. U.LEMMA
i. Let Gdlag(gl,g2,...,gn)
withgl
#
0,
i1,2,...,n.
LetEij
be "the matrix units, thenn n
Ilk
{aEZ
G E Y a E where a inZ,a
=alk_l=0
aik--a}
m=i j--i mj mj mj
il--ai2--’’"
are the principal ideals generated by a positive integer
gk’
wherei,k--l,2,...,n.
PROOF. It is clear the
Ilk
are ideals inZ.
ButZ
is aP.I.D.,
thereforeIlk
are principal ideals generated by a positive integerdik.
SinceEik--
EikG
thengk
is inIlk,
i.e.,diklg
k.
On the otherhand,
fordik
inn n
Ilk
we havem=i
j=ir"
amjEmj
(tik)G
for some(tik),
whereamj
is inZ,
ail=ai2--...--aik_l--0,
aik--dik.
It
follows thatdik--tikgk,
i.e.,dlk
Igkl
LEMMA
2. Let Gdlag(gl,g2,...,gn)
withgk
#
0,
k1,2,...,n.
ThenJ
{(rlk)
0 <rik
<Igkl
i,k--1,2,...,n}
forms a complete residue systemmodo G.
PROOF.
(i) For
anyA
(alk)
inMatn(Z),
there existPlk’
rlk
in Z suchthat
alk
Pik
’.Igkl
+
rlk’ where 0< rik <..Igkl.
ThereforeA-
(Plk
Igkl)
(rlk)"
ButIgkl
Elk--
Igkl
i
EikG
and thereforeG
A-
(rlk).
This shows thatA--
(rlk)
mod. G.(2)
If(rlk)
-=
(Slk)
rood.G,
where 0 <rlk
Slk
<Igkl
thenG
(rik-
Slk),
i.e.,rll
Sll
is inIii
(by Lemma i).
This implies thatgl
(rll
Sll),
and sorll
Sll
for 0<_I rll
Slll<Igl
I-
t follows thatr12- s12
is in112.
Thereforeg2
(r12
Sl2)
andrl2
s12,
for0 <
Ir12
s121
<[g21.
Continuing in this way, we must haverlk--
Slk
forall
i,k--
1,2,...,n.
THEOREM i. If G is a
nxn
matrix with detG#
0,
and if U and V areunimodular
nn
matrices such that UGVdiag(gl,g2,...
,gn),
thenJ
{(rik)V
-I 0<_
rik
<]gkl
i,k1,2,...,n}
forms a complete residue system rood. G.PROOF.
(i) By
Lemma2,
for anynxn
matrixA,
there exists amatrlx(rlk)
with 0 <
rlk
<Igkl
such thatAV-=
(rlk)mod.
UGV.,
i.e.,A--
(rlk)V
-1(2)
Let(rlk)V
-I(Slk)V
-I mod.G,
where 0 <rlk Slk
<Igkl.
Itfollows that
(rik)
(Slk)rood.
UGV. Therefore(rlk)=
(Slk).
COROLLARY i. If J forms a
C.R.S.
rood.G,
andU
andV
are unimodularnxn
mod. G.
matrices, then
{URV
R
inJ}
forms aC.R.S.
mod.GV.
COROLLARY
2. If G is anxn
matrix with detG#
0,
then the cardinality3.
THE
COMPLETE RESIDUE SYSTEM INMat
2(z).
By restricting the order of the matrix we may relax the condition on the
diagonable matrix.
LEMMA
3. Let UI
ull
u121
eMat
2(z)
with detU#
0,
thenu21 u22
(i)
Io
{a
e Z UI(
a8
U)r
for some=,
8, r eZ}
andI’
=o
{a
Z UI
0a
0)6
for some eZ}
are nonzero principal idealsof
Z
generated by a positive integer dg.c.d.(Ul,U2).
Moreover
Io
I’.o
(2)
Ii=
{aeZ
UI(
08
a)r
forsome 8, r eZ}
andIi
{a
eZ
U}
are nonzero principal ideals of Z generated by0 a
a positive integer
d
Moreover,
I
I
II.
PROOF. (i) a
Io
implies Ua8
S)r
for some e, 8, r eZ,
and theni 0
8
r a"’
o"
oo"
the other
hand,
b eI’o
illes
U,
0b 0)
for some 6 Z and thenU
0 0 b 0 0 i.e.,
o"
oo"
clear that I is an ideal of
Z
Now detU eI
for U0 detU
O O
us
I
is a nonzero ideal ofZ.
But Z is aP.I.D.,
therefore I is an idealO O
generated
by a positive integer d Since UIU
ilies
U 0 i U0 0 0
we have
UII, UI2
Io,
and then dlUll,
dU21.
By
dIo,
we haveU’
let21
t22
U for somet21
t22
et
2(Z).
erefore d
t21Ull
+
t22U21.
IfXlUll
andxlU21,
thenxld.
us
(2)
a e II
implies UI(
0
a
Ir
for some and,rZ
thenI
0 r 0 a i.e., a sI
I.
Thus II_
II.
Conversely,(00J
and U(0
i)(0
0I
10
b1
,
then U 0b so 0 0 0 b 0 0
if b i.e.,
deU
b s
11.
It
is also clear thatI1
is an ideal of Z. Nowd’
s11
for allU such that U and then
I
I
is a nonzero ideal of0
dedtU
_I
__u
Z. But Z is a
P.I.D.,
and then II
is an ideal generated by a positive integerg. Now detU detU
IdetU
d a I
I
impliesd
sII,
i.e., g dy
gIi,
we have0 0
i.e. det U
0 g
-u21
Ull
gUll
U
0 g
gu21
detU
gU21,
detUgUll.
By the proof of
(i),
we have dt21Ull
+
t22U21
and thenIdetUI
IdetU[
gd
t21(gUll)
+
t22(gu21)
ord g. Therefore g d This
completes the proof of
(2).
THEOREM 2.
Let
U=/
ull
u21
u12)
u22
Mat2(Z)
with detU#
0,
letThen J
{R
[
|
rll
rl2j
\
d
)=
g cd.(Ull
u21
Mat2(Z)
0 <rll
\
jr21
r22
r21
< d, 0 <r12,
r22
<d is a complete residue system
(rood. U)
inMat2
(Z).
PROOF
(I)
From dI
o,d
U
r
(
d1
U0
I
I
we haveIdetUl
)
d
U 0
0
01
there exists T
i
Mat2(Z)
i1,2,3,4
such thatTIU,
dT2U,
T3U,
r d 0
IdetU
O)
T4U.
d
all
a12
)
For any matrix A
Mat2(Z)
there existsPlI’ rll
a21
a22
rll
that
all
Pll
d+
rll
where 0<_
rll
< d. ThusA-
PllTl
Ub21
for some
b12,b21,b22
Z.Moreover,
b12
PI2
d+
r12
for somePI2’
r12
Z,
0<_
r12
< d ThenA-
PllTl
UP12T2
Uc21
c22
such
b22
for some
c21,c22
Z. Againc21
P21
d+
r21
for someP21,r21
eZ,
0
<r21
rll
r12
)
for some< d. Then
A-
PllTl
UP12T2
UP21T3
Ur21 r22
d22
e Z. Finallyd22
P22
d
+
r22
for someP22,r22
eZ,
0<_
r22
<rl
I
r12
)
or impliesA-
PIITI
UP12T2
u
P21T3
UP22T4
Ur21
r22
U
A
rllr21 r22r12
where 0_<
rll,
r21
< d, 0--<
r22’
r12
<d
This proves that for any matrix
A
Mat
2(z)
there exists R eJ2
such thatA
R(mod. U).
rll
(2)
Assume
thatr21
r12
)
-=
i
sll
r22
s21
s12
h
(rood.
U)
wheres22
0
<_
rll, r21,
Sll
s21
<d,
0<_
r12 r22 s12 s22
IdetU
<This implies
U
I
rll-Sll
r12-s121
i eIo
or drll
Sll
r21-s21
r22-s22
.,
rll
Sll
0
Now 0 <
rll- Sll
<d,
rll
Sll.
It
follows that U21-s21
i.e.,
r12-
s12
eIi,
or’d
rl2-Slll
r22-s
2(r12
s12).
But 0 <Ir12-s121
<d
so that
r12
s12.
It
follows thatU i e e
I
or d(r21-
s21)
r21-s21
r22-s22
r21
s21
oAlso 0
<_
Ir21-s211
<d,
so thatr21--s21.
This implies that Ur22-s22
IdetU
IdetU
i.e.,
r22
s22
eI
I
or d(r22
s22).
Finally 0<_
Ir22-s221
< drll
r12
)
I
sll
so that
r22
s22
i.e.r21 r22
s21
two elements in
J2
are incongruent.s12
I
s22
This proves that anyCOROLLARY
3.Let
U eMat2(Z
with detU#
0. Then the cardinallty of thecomplete residue system
(rood. U)
isdetUl2.
REMARK.
If we consider the ring of 3x3 matrices, the correspondingresults will read as
follows,
the proofs will be as inLemma
3 and Theorem2,
with possible minor
changes.
LEMMA
4.Let
uI
uij
I
Mat3(Z>
with detU#
0. Thena
el2
el3h
(i)
Io
{a
eZ
Ue21 22
231
31 =32
e33/
I’
{aeZ
U0
0 0 0
a
21
u22
31 u32
33
for some
eiJ
Z}.
I"
{a
Z
U0
0 0 0
0 0 0
a
32
u33
for some
32’ a33
tZ}
are nonzero principal ideals of
Z
generated by the positive integergo
g.c.d.(Ull,U21,u31).
Moreover,
I
I’
I
0 0 0
0 0 a
(2)
12
{a
e Z U21 22 23
for someiJ
eZ},
u31 u32 33
O
0 0{a
e Z U 0 0 a for somesij
12
31 32 33
0 0
12
{a
eZ
U 0 00 0
01
e
Z),
are nonzero principal ideals of
Z
generated by the positive integerg’
g2
cofulj
is the cofactor of the elementuij.
Moreover,
12
(3)
I
I
{a
e Z U21 a22
23
for someaij
a31
a32 a33
/0
0 0I
1
{a
Z UI
0 a23
for someiJ
u31
e32 33
II--
{aZ
Uwhere
g’
g.c.d.
(coful3
cofu23
cofu33),
and12
12
0 0
a33
are
nonzero principal ideals ofZ
generated by the positive integergl
Moreover,
II
II
II.
THEOREM
3.Let
UUll
u12
u13
u21
u22
u23
u31 u32 u33
Mat3(Z)
with detU0,
letgo
g’c’d’(Ull’
u21’
u31)’
g’
g’c’d’(cful3’
cfu23’
cfu33)"
ThenJ3
{R
[rij]
eMat3(Z)
0 <rij
<gJ-i
i,J1,2,3}
is a completeg’
detUl
residue system
(mod.
U)
wheregl
go
g2
REFERENCE
I.
Jordan,J.
H. andC. J.
Potratz.
Complete ResidueSystems
in the