Projective linear group (source code)

= Projective linear group
{wiki}

TODO motivation. Motivation. Motivation. Motivation. The definitin with <quotient group> is easy to understand.