# Element structure of special linear group:SL(2,C)

This article gives specific information, namely, element structure, about a particular group, namely: special linear group:SL(2,C).

View element structure of particular groups | View other specific information about special linear group:SL(2,C)

## Related information

- Element structure of special linear group of degree two over a field
- Element structure of special linear group:SL(2,R)
- Element structure of special linear group of degree two over a finite field

## Conjugacy class structure

The case of is easy because in this case, the characteristic is not two and the field is algebraically closed, which means in particular that every element is a square. We thus do not have to worry about conjugacy classes that can be diagonalized over extensions but not over the field. Also, there is no splitting of conjugacy classes in relative to , again because every element is a square. In alternative mathematical jargon, is a central factor (the other factor being the scalar matrices) and hence a conjugacy-closed subgroup of .

Nature of conjugacy class | Eigenvalues | Characteristic polynomial | Minimal polynomial | What set can each conjugacy class be identified with? (rough measure of size of conjugacy class) | What can the set of conjuacy classes be identified with (rough measure of number of conjugacy classes) | What can the union of conjugacy classes be identified with? | Semisimple? | Diagonalizable over ? | Splits in relative to ? |
---|---|---|---|---|---|---|---|---|---|

Diagonalizable over with equal diagonal entries, hence a scalar | or | where | where | one-point set | two-point set (characteristic not two) one-point set (characteristic two) |
two-point set (characteristic not two) one-point set (characteristic two) |
Yes | Yes | No |

Not diagonal, has Jordan block of size two | (multiplicity 2) or (multiplicity 2) | where | Same as characteristic polynomial | ? | ? | ? | No | No | No |

Diagonalizable over with distinct (and hence mutually inverse) diagonal entries |
where | Same as characteristic polynomial | ? | quotient space of under the inverse map action | ? | Yes | Yes | No |

### Identification between conjugacy classes and field elements

The *trace* is a continuous mapping:

Conjugacy classes in

Further, this mapping is *almost* bijective. For any , there is a unique conjugacy class in with trace . For , there are two conjugacy classes mapping to : the scalar matrix class and the Jordan block class.

If we give the set of conjugacy classes in the quotient topology from the topology on , it will look as follows: setwise, it is a union of and two open points. One of the open points has closure defined to be that point and . The other open point has closure defined to be that point and . The open points correspond to the Jordan block classes and the points -2,2 in to the scalar matrix classes.