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.
d \tilde{A}^{-1} \in \operatorname{Mat}(n, \mathbb{Z}),
ve tamsayı (ya da gerçel) girdili bir matrisin tersinin nasıl bulunacağını biliyorsunuz varsayıyorum.
\tilde{A} d \tilde{A}^{-1} = d I
eşitliğiinde her tarafı modülo n indirirsek,
A \overline{d\tilde{A}^{-1}} = \overline{d} I
elde ederiz. Şimdi her iki tarafı da \overline{d}^{-1} \in (\mathbb{Z}/n\mathbb{Z})^* ile çarpalım. Yani sonuç,
A^{-1} = B = \overline{d}^{-1} \overline{d \tilde{A}^{-1}}.