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

From Groupprops

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:

Here, PSL(3,2) stands for the projective special linear group of degree three over field:F2. stands for the projective general linear group of degree three, stands for the special linear group of degree three, and 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 .