GroupTheory/AffineGeneralLinearGroup - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Mozilla Firefox.

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : GroupTheory/AffineGeneralLinearGroup

GroupTheory

  

AffineGeneralLinearGroup

  

construct the affine general linear group as a permutation group

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

AffineGeneralLinearGroup( n, q )

AGL( n, q )

Parameters

n

-

a positive integer

q

-

a prime power greater than 1

Description

• 

The affine general linear group AGL⁡n,q is the semi-direct product of the general linear group GL⁡n,q with the natural module of dimension n over the field with q elements.

• 

The AffineGeneralLinearGroup command produces a permutation group isomorphic to the group AGL⁡n,q.

Examples

> 

with⁡GroupTheory:

> 

G≔AffineGeneralLinearGroup⁡1,2

G≔AGL1,2

(1)
> 

G≔AGL⁡1,2

G≔AGL1,2

(2)
> 

G≔AGL⁡1,3

G≔AGL1,3

(3)
> 

AreIsomorphic⁡G,Symm⁡3

true

(4)
> 

G≔AGL⁡1,4

G≔AGL1,4

(5)
> 

AreIsomorphic⁡G,Alt⁡4

true

(6)
> 

G≔AGL⁡1,5

G≔AGL1,5

(7)
> 

IsFrobeniusGroup⁡G

true

(8)
> 

PermGroupRank⁡G

2

(9)
> 

G≔AGL⁡2,2

G≔AGL2,2

(10)
> 

AreIsomorphic⁡G,Symm⁡4

true

(11)
> 

G≔AGL⁡2,3

G≔AGL2,3

(12)
> 

Transitivity⁡G

2

(13)
> 

PermGroupRank⁡G

2

(14)
> 

S≔Stabilizer⁡1,G

S≔2,6,5,3,8,94,7,2,6,73,8,4,2,93,56,8

(15)
> 

AreIsomorphic⁡S,GL⁡2,3

true

(16)
> 

G≔AGL⁡3,2

G≔AGL3,2

(17)
> 

IsPrimitive⁡G

true

(18)
> 

EARNS⁡G

1,32,45,76,8,1,23,45,67,8,1,52,63,74,8

(19)
> 

Transitivity⁡G

3

(20)
> 

AreIsomorphic⁡Stabilizer⁡1,G,GL⁡3,2

true

(21)
> 

G≔AGL⁡3,3

G≔AGL3,3

(22)
> 

Transitivity⁡G

2

(23)
> 

PermGroupRank⁡G

2

(24)
> 

GroupOrder⁡Stabilizer⁡1,G=GroupOrder⁡GL⁡3,3

11232=11232

(25)
> 

EARNS⁡G

1,19,102,20,113,21,124,22,135,23,146,24,157,25,168,26,179,27,18,1,3,24,6,57,9,810,12,1113,15,1416,18,1719,21,2022,24,2325,27,26,1,4,72,5,83,6,910,13,1611,14,1712,15,1819,22,2520,23,2621,24,27

(26)

See Also

GroupTheory[AffineSpecialLinearGroup]

GroupTheory[GeneralLinearGroup]