Difference between revisions of "General semiaffine group"

From Groupprops
Jump to: navigation, search
(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 semilinar group]] <math>\Gamma L(n,K)</math> with the natural action of the latter on the former.
+
# 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 K is a field and n is a natural number. The general semiaffine group of degree n over K, denoted \Gamma A(n,K) or A \Gamma L(n,K), is defined in either of these equivalent ways:

  1. It is the group of all maps from K^n to K^n of the form v \mapsto A \sigma(v) + b where A \in GL(n,K), b \in K^n, \sigma \in \operatorname{Aut}(K).
  2. It is the semidirect product GA(n,K) \rtimes \operatorname{Aut}(K) of the general affine group GA(n,K) by the group \operatorname{Aut}(K) of field automorphisms of K, 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.
  3. It is the semidirect product K \rtimes \Gamma L(n,K) of the additive group of K by the general semilinear group \Gamma L(n,K) 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:

K \rtimes \Gamma L(n,K) = K \rtimes (GL(n,K) \rtimes \operatorname{Aut}(K)) = (K \rtimes GL(n,K)) \rtimes \operatorname{Aut}(K) = GA(n,K) \rtimes \operatorname{Aut}(K)

Suppose k is the prime subfield of K. Then, if K is a Galois extension of k, \operatorname{Aut}(K) is the Galois group \operatorname{Gal}(K/k). This case always occurs if K is a finite field.