Facit til kursusgang 16:
-
- 15-puslespil: Ja.
-
-
- F5
- 24*20=480 , se note om endelige legemer, Proposition 9.
- Diagonal matricen diag(a,1) har determinant a. det er derfor surjektiv.
- Kvotientgruppen GL(2,𝔽5) / SL(2,𝔽5) er isomorf med 𝔽5\{0} ifølge isomorfisætningen.
Ordenen af SL(2,𝔽5) er derfor ordenen af GL(2,𝔽5) divideret med ordenen af 𝔽5\{0}. Altså 480/4=120.
- Z ={ I, 4I}. det(I)=1, det(2I)=2*2=4, det(3I)=3*3=4, det(4I)=4*4=1.
-
- PSL(2,𝔽5) har orden 120/2= 60.