An elementary simple group on the projective line — Examples

The projective line over the seven-element field has eight points: its seven affine coordinates and the point at infinity. The translation matrices fix infinity and act transitively on the seven other points, which is the stabilizer calculation used in the simplicity proof.