# PSL(2,4) is isomorphic to A5

From Groupprops

This article gives a proof/explanation of the equivalence of multiple definitions for the term alternating group:A5

View a complete list of pages giving proofs of equivalence of definitions

## Contents

## Statement

Note that, due to the isomorphism between linear groups when degree power map is bijective, we know that over field:F4:

where denotes the projective general linear group of degree two, denotes the projective special linear group of degree two, and denotes the special linear group of degree two.

The claim is that all these isomorphic groups are isomorphic to alternating group:A5.

## Facts used

### Facts used for short proof using simplicity

The table below lists key facts useddirectlyandexplicitlyin the proof. Fact numbers as used in the table may be referenced in the proof. This table neednotlist facts used indirectly, i.e., facts that are used to prove these facts, and it need not list facts used implicitly through assumptions embedded in the choice of terminology and language.

Fact no. | Statement | Qualitative description of how it is used |
---|---|---|

(S1) | For , the group has order | Used to calculate the order of as |

(S2) | order formulas for linear groups of degree two. In particular, has order | The group has order |

(S3) | A5 is the unique simple non-abelian group of smallest order: is a simple non-abelian group of smallest order and any simple non-abelian group of the same order is isomorphic to . | Used to force any other simple non-abelian group of that order to be isomorphic to it. |

(S4) | Projective special linear group is simple (non-abelian) with some exceptions for small sizes and degrees | is simple. |

### Facts used for proof with explicit isomorphism

Fact no. | Statement | Qualitative description of how it is used |
---|---|---|

(E1) | For , the group has order | Used to calculate the order of as |

(E2) | Equivalence of definitions of size of projective space | Used to calculate size of projective space of dimension one over field with four elements. |

(E3) | Order formulas for linear groups of degree two . In particular, has order | The group has order |

(E4) | The only subgroup of order 60 in symmetric group:S5 is alternating group:A5 as A5 in S5. For more, see subgroup structure of symmetric group:S5. | Determining the image of an injective group homomorphism to show isomorphism to the image. |

## Proof

### Direct proof

The proof follows directly by combining (S1)-(S4) as follows: (S1) and (S2) establish that and both have order 60. (S3) and (S4) establish that both are simple non-abelian, but is also the only one up to isomorphism for order 60 by (S3). This forces them to be isomorphic.

### Explicit bijection

Step no. | Assertion/construction | Facts used | Previous steps used | Explanation |
---|---|---|---|---|

1 | For any field , there is a natural faithful group action of on , the set of lines through the origin in , and hence an injective group homomorphism from to the symmetric group on . | Follows from definitions. | ||

2 | For the field of size , has size and thus the symmetric group on it has size . | (E1) | ||

3 | For the field of size , has order and is the symmetric group of degree and has order . | (E2), (E3) | Steps (2), (3) | Plug in and evaluate. |

4 | The only subgroup of of order 60 is alternating group:A5 as A5 in S5. | (E4) | ||

5 | For the field of size , the homomorphism of Step (1) gives an injective group homomorphism from to whose image is the subgroup . In particular, is isomorphic to . | Steps (1), (3), (4) | By Steps (1) and (3), we get an injective homomorphism from to whose image has order the same as , which is 60. By Step (4), the only possibility for the image is the subgroup , completing the proof. |