# General affine group of degree one

From Groupprops

Revision as of 19:32, 3 September 2008 by Vipul (talk | contribs) (New page: ==Definition== Let <math>p</math> be a prime number and <math>q = p^r</math> be a power of <math>p</math>. The '''general affine group''' or '''collineation group''' <math>GA(1,q)</ma...)

## Definition

Let be a prime number and be a power of . The **general affine group** or **collineation group** is defined as follows. Let denote the field with elements. Then is the semidirect product of the additive group of with its multiplicative group.

Equivalently it is the general affine group of order over the field of elements.

## Group properties

### Frobenius group

The additive subgroup is a Frobenius kernel and the multiplicative subgroup is a Frobenius complement. (note: the case is an exception, where it fails to be a Frobenius group on account of the multiplicative group being trivial).

### Solvable group

The group is solvable of solvable length two. Specifically, its commutator subgroup is precisely the additive group of the field.