Definition
PSL(1,R)
PSL(1,R) as a separately identified real Lie group, with its defining operations and dimension.
is the projective special linear Lie group
with the quotient Lie group structure.
Dimensions and structure
This group has real dimension . It acts on projective space by applying a representative matrix to a line. In size one both numerator and scalar subgroup coincide (or are trivial), so the projective group is trivial.
The map induced by inclusion SL→GL is an isomorphism: normalize a representative by a 1th root of its determinant. See .
References
- Pavel Etingof, Lie Groups and Lie Algebras (MIT lecture notes), §6.1, pp. 38–39; Proposition 6.3 and Exercise 6.5.