# Difference between revisions of "General semiaffine group"

From Groupprops

(Created page with "==Definition== Suppose <math>K</math> is a field and <math>n</math> is a natural number. The '''general semiaffine group''' of degree <math>n</math> over <math>K</math>, deno...") |
(→Definition) |
||

Line 5: | Line 5: | ||

# It is the group of all maps from <math>K^n</math> to <math>K^n</math> of the form <math>v \mapsto A \sigma(v) + b</math> where <math>A \in GL(n,K)</math>, <math>b \in K^n</math>, <math>\sigma \in \operatorname{Aut}(K)</math>. | # It is the group of all maps from <math>K^n</math> to <math>K^n</math> of the form <math>v \mapsto A \sigma(v) + b</math> where <math>A \in GL(n,K)</math>, <math>b \in K^n</math>, <math>\sigma \in \operatorname{Aut}(K)</math>. | ||

# It is the semidirect product <math>GA(n,K) \rtimes \operatorname{Aut}(K)</math> of the [[general affine group]] <math>GA(n,K)</math> by the group <math>\operatorname{Aut}(K)</math> of field automorphisms of <math>K</math>, where the latter acts on the former by making the automorphism act coordinate-wise on the entries of the matrix ''and'' on the entries of the translation vector. | # It is the semidirect product <math>GA(n,K) \rtimes \operatorname{Aut}(K)</math> of the [[general affine group]] <math>GA(n,K)</math> by the group <math>\operatorname{Aut}(K)</math> of field automorphisms of <math>K</math>, where the latter acts on the former by making the automorphism act coordinate-wise on the entries of the matrix ''and'' on the entries of the translation vector. | ||

− | # It is the semidirect product <math>K \rtimes \Gamma L(n,K)</math> of the additive group of <math>K</matH> by the [[general | + | # It is the semidirect product <math>K \rtimes \Gamma L(n,K)</math> of the additive group of <math>K</matH> by the [[general semilinear group]] <math>\Gamma L(n,K)</math> with the natural action of the latter on the former. |

We can think of the group as an iterated semidirect product that can be associated two ways: | We can think of the group as an iterated semidirect product that can be associated two ways: |

## Latest revision as of 02:20, 1 June 2012

## Definition

Suppose is a field and is a natural number. The **general semiaffine group** of degree over , denoted or , is defined in either of these equivalent ways:

- It is the group of all maps from to of the form where , , .
- It is the semidirect product of the general affine group by the group of field automorphisms of , where the latter acts on the former by making the automorphism act coordinate-wise on the entries of the matrix
*and*on the entries of the translation vector. - It is the semidirect product of the additive group of by the general semilinear group with the natural action of the latter on the former.

We can think of the group as an iterated semidirect product that can be associated two ways:

Suppose is the prime subfield of . Then, if is a Galois extension of , is the Galois group . This case always occurs if is a finite field.