# Projective special linear group:PSL(2,C)

This article is about a particular group, i.e., a group unique upto isomorphism. View specific information (such as linear representation theory, subgroup structure) about this groupView a complete list of particular groups (this is a very huge list!)[SHOW MORE]

## Contents

## Definition

This group, denoted or , is defined in the following equivalent ways:

- It is the projective special linear group of degree two over the field of complex numbers.
- It is the projective general linear group of degree two over the field of complex numbers.

### As a group of conformal automorphisms

The group is the automorphism group of the Riemann sphere. Explicitly, viewing the Riemann sphere as , its automorphisms are given as fractional linear transformations of the form:

The composition of these works like multiplication of the corresponding matrices .

The reason why the group is the *projective special linear group* rather than the *general linear group* is that matrices that are scalar multiples of each other define the same fractional linear transformation, so we need to quotient out by the center. The fact that is the same as follows from the fact that every nonzero element of is the square of a nonzero element (this follows from being algebraically closed).

From an algebraic perspective, if we think of the Riemann sphere as , the action by fractional linear transformations is just the usual way any projective special linear group of degree two over a field acts on the corresponding projective line.

**Note**: It requires a bit of complex analysis to show that the *only* conformal automorphisms possible for the Riemann sphere are the ones described by fractional linear transformations.

### Structures

The group can be viewed at many levels of structure:

- It is a topological group, with the quotient topology from special linear group:SL(2,C), which in turn gets a subspace topology living inside a Euclidean space of matrices over .
- It is an algebraic group over the field of complex numbers.
- It is a complex Lie group.
- It is a real Lie group.

## Arithmetic functions

Function | Value | Similar groups | Explanation |
---|---|---|---|

dimension of an algebraic group | 3 | As : (note that this dimension is considering the group as an algebraic group over . The dimension as an algebraic group over is twice this dimension, i.e., 6. | |

dimension of a complex Lie group | 3 | As : | |

dimension of a real Lie group | 6 | Twice the dimension as a complex Lie group. |

## Group properties

Property | Satisfied? | Explanation |
---|---|---|

simple group, simple non-abelian group | Yes | projective special linear group is simple (with exceptions and ) |

abelian group | No | |

nilpotent group | No | |

solvable group | No |

## Elements

`Further information: element structure of projective special linear group:PSL(2,C)`

## Subgroups

`Further information: subgroup structure of projective special linear group:PSL(2,C)`

Closed subgroups that are discrete under the subspace topology are termed Kleinian groups.