Difference between revisions of "PSL(2,7) is isomorphic to PSL(3,2)"

From Groupprops
Jump to: navigation, search
 
Line 8: Line 8:
  
 
Here, [[PSL(3,2)]] stands for the [[projective special linear group]] of [[projective special linear group of degree three|degree three]] over [[field:F2]]. <math>PGL</math> stands for the [[projective general linear group]] of [[projective general linear group of degree three|degree three]], <math>SL</math> stands for the [[special linear group]] of [[special linear group of degree three|degree three]], and <math>GL</math> stands for the [[general linear group]] of [[general linear group of degree three|degree three]].
 
Here, [[PSL(3,2)]] stands for the [[projective special linear group]] of [[projective special linear group of degree three|degree three]] over [[field:F2]]. <math>PGL</math> stands for the [[projective general linear group]] of [[projective general linear group of degree three|degree three]], <math>SL</math> stands for the [[special linear group]] of [[special linear group of degree three|degree three]], and <math>GL</math> stands for the [[general linear group]] of [[general linear group of degree three|degree three]].
 
  
 
The claim is that all of these isomorphic groups are isomorphic to the [[projective special linear group]] of [[projective special linear group of degree two|degree two]] over [[field:F7]], denoted <math>PSL(2,7)</math>.
 
The claim is that all of these isomorphic groups are isomorphic to the [[projective special linear group]] of [[projective special linear group of degree two|degree two]] over [[field:F7]], denoted <math>PSL(2,7)</math>.

Latest revision as of 23:11, 30 April 2012

This article gives a proof/explanation of the equivalence of multiple definitions for the term projective special linear group:PSL(3,2)
View a complete list of pages giving proofs of equivalence of definitions

Statement

First, note that, by the isomorphism between linear groups over field:F2, we have:

PSL(3,2) \cong PGL(3,2) \cong SL(3,2) \cong GL(3,2)

Here, PSL(3,2) stands for the projective special linear group of degree three over field:F2. PGL stands for the projective general linear group of degree three, SL stands for the special linear group of degree three, and GL stands for the general linear group of degree three.

The claim is that all of these isomorphic groups are isomorphic to the projective special linear group of degree two over field:F7, denoted PSL(2,7).