A∈GLk(Z/nZ) girdileri modülo n sayılardan, ve tersinir bir matris olsun. Yani
AB=BA=I
eşitliğini sağlayacak bir B∈GLk(Z/nZ) var.
Bu B'yi nasıl buluruz?
A'nın girdileri çeşitli x tamsayıları için ˉx∈Z/nZ biçiminde elemanlar. Bu girdilerin tepesindeki çizgiyi kaldır. Şimdi elinde tamsayı girdili bir matris var.
Bu matrisin, adına ˜A diyelim, determinantı sıfırdan farklı d gibi bir sayı. Hatta det(A)=¯det(˜A)=¯d∈(Z/nZ)∗.
d˜A−1∈Mat(n,Z),
ve tamsayı (ya da gerçel) girdili bir matrisin tersinin nasıl bulunacağını biliyorsunuz varsayıyorum.
˜Ad˜A−1=dI
eşitliğiinde her tarafı modülo n indirirsek,
A¯d˜A−1=¯dI
elde ederiz. Şimdi her iki tarafı da ¯d−1∈(Z/nZ)∗ ile çarpalım. Yani sonuç,
A−1=B=¯d−1¯d˜A−1.