x4−x−2=(x+1)(x3−x2+x−2)
if x≡−1[m]
x4−x−2 is a multiple of m
B=M2(Z/mZ)
C is the multiplicative group of invertible elements of B.
C is finite.
M=(.0.1.1.1)
is an invertible element of B. M has a multiplicative order k.
(.ak.ak+1)=Mk (.0.1)=(.0.1)
.ak−2=−˙1
ak−2≡−1[m]
x4−x−2=(x+1)(x3−x2+x−2)
if x≡−1[m]
x4−x−2 is a multiple of m
B=M2(Z/mZ)
C is the multiplicative group of invertible elements of B.
C is finite.
M=(.0.1.1.1)
is an invertible element of B. M has a multiplicative order k.
(.ak.ak+1)=Mk (.0.1)=(.0.1)
.ak−2=−˙1
ak−2≡−1[m]