Outer linear group

From Groupprops
Revision as of 19:51, 7 July 2019 by Vipul (talk | contribs) (→‎Definition)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Definition

In terms of the transpose-inverse map

The outer linear group of degree n over a commutative unital ring R is defined as the external semidirect product of the general linear group GL(n,R) with a cyclic group of order two, where the non-identity element of the cyclic group acts by the transpose-inverse map.

Particular cases

Finite fields

Size of field Degree (order of matrices) Common name for the outer linear group Order of group Comment
q 1 Dihedral group D2(q1) 2(q1) Multiplicative group of field is cyclic of order q1, outer automorphism acts by inverse map.
2n 2 Direct product of SL(2,2n) and dihedral group D2(2n1)
2 1 Cyclic group:Z2 2
2 2 Dihedral group:D12 (also, direct product of S3 and Z2 12=223 supersolvable but not nilpotent.
3 2 Outer linear group:OL(2,3) 96=253 solvable
4 2 Direct product of A5 and S3 360=23325
5 2 Outer linear group:OL(2,5) 960=2635
2 3 Projective general linear group:PGL(2,7) 336=2437