Copied to
clipboard

## G = C22×C22⋊A4order 192 = 26·3

### Direct product of C22 and C22⋊A4

Aliases: C22×C22⋊A4, C22C3, C262C3, C254C6, C247A4, C233(C2×A4), C22⋊(C22×A4), C2410(C2×C6), SmallGroup(192,1540)

Series: Derived Chief Lower central Upper central

 Derived series C1 — C24 — C22×C22⋊A4
 Chief series C1 — C22 — C24 — C22⋊A4 — C2×C22⋊A4 — C22×C22⋊A4
 Lower central C24 — C22×C22⋊A4
 Upper central C1 — C22

Generators and relations for C22×C22⋊A4
G = < a,b,c,d,e,f,g | a2=b2=c2=d2=e2=f2=g3=1, ab=ba, ac=ca, ad=da, ae=ea, af=fa, ag=ga, bc=cb, bd=db, be=eb, bf=fb, bg=gb, gcg-1=cd=dc, ce=ec, cf=fc, de=ed, df=fd, gdg-1=c, geg-1=ef=fe, gfg-1=e >

Subgroups: 3010 in 1000 conjugacy classes, 40 normal (6 characteristic)
C1, C2 [×3], C2 [×20], C3, C22, C22 [×5], C22 [×215], C6 [×3], C23 [×15], C23 [×460], A4 [×5], C2×C6, C24, C24 [×5], C24 [×215], C2×A4 [×15], C25 [×3], C25 [×20], C22×A4 [×5], C22⋊A4, C26, C2×C22⋊A4 [×3], C22×C22⋊A4
Quotients: C1, C2 [×3], C3, C22, C6 [×3], A4 [×5], C2×C6, C2×A4 [×15], C22×A4 [×5], C22⋊A4, C2×C22⋊A4 [×3], C22×C22⋊A4

Permutation representations of C22×C22⋊A4
On 12 points - transitive group 12T90
Generators in S12
(1 10)(2 11)(3 12)(4 8)(5 9)(6 7)
(1 4)(2 5)(3 6)(7 12)(8 10)(9 11)
(1 4)(2 11)(3 7)(5 9)(6 12)(8 10)
(1 8)(2 5)(3 12)(4 10)(6 7)(9 11)
(2 9)(3 7)(5 11)(6 12)
(1 8)(3 7)(4 10)(6 12)
(1 2 3)(4 5 6)(7 8 9)(10 11 12)

G:=sub<Sym(12)| (1,10)(2,11)(3,12)(4,8)(5,9)(6,7), (1,4)(2,5)(3,6)(7,12)(8,10)(9,11), (1,4)(2,11)(3,7)(5,9)(6,12)(8,10), (1,8)(2,5)(3,12)(4,10)(6,7)(9,11), (2,9)(3,7)(5,11)(6,12), (1,8)(3,7)(4,10)(6,12), (1,2,3)(4,5,6)(7,8,9)(10,11,12)>;

G:=Group( (1,10)(2,11)(3,12)(4,8)(5,9)(6,7), (1,4)(2,5)(3,6)(7,12)(8,10)(9,11), (1,4)(2,11)(3,7)(5,9)(6,12)(8,10), (1,8)(2,5)(3,12)(4,10)(6,7)(9,11), (2,9)(3,7)(5,11)(6,12), (1,8)(3,7)(4,10)(6,12), (1,2,3)(4,5,6)(7,8,9)(10,11,12) );

G=PermutationGroup([(1,10),(2,11),(3,12),(4,8),(5,9),(6,7)], [(1,4),(2,5),(3,6),(7,12),(8,10),(9,11)], [(1,4),(2,11),(3,7),(5,9),(6,12),(8,10)], [(1,8),(2,5),(3,12),(4,10),(6,7),(9,11)], [(2,9),(3,7),(5,11),(6,12)], [(1,8),(3,7),(4,10),(6,12)], [(1,2,3),(4,5,6),(7,8,9),(10,11,12)])

G:=TransitiveGroup(12,90);

On 24 points - transitive group 24T457
Generators in S24
(1 12)(2 10)(3 11)(4 16)(5 17)(6 18)(7 21)(8 19)(9 20)(13 22)(14 23)(15 24)
(1 19)(2 20)(3 21)(4 14)(5 15)(6 13)(7 11)(8 12)(9 10)(16 23)(17 24)(18 22)
(1 19)(3 21)(4 14)(6 13)(7 11)(8 12)(16 23)(18 22)
(1 19)(2 20)(4 14)(5 15)(8 12)(9 10)(16 23)(17 24)
(1 23)(2 9)(3 6)(4 8)(5 24)(7 22)(10 20)(11 18)(12 14)(13 21)(15 17)(16 19)
(1 4)(2 24)(3 7)(5 9)(6 22)(8 23)(10 15)(11 21)(12 16)(13 18)(14 19)(17 20)
(1 2 3)(4 5 6)(7 8 9)(10 11 12)(13 14 15)(16 17 18)(19 20 21)(22 23 24)

G:=sub<Sym(24)| (1,12)(2,10)(3,11)(4,16)(5,17)(6,18)(7,21)(8,19)(9,20)(13,22)(14,23)(15,24), (1,19)(2,20)(3,21)(4,14)(5,15)(6,13)(7,11)(8,12)(9,10)(16,23)(17,24)(18,22), (1,19)(3,21)(4,14)(6,13)(7,11)(8,12)(16,23)(18,22), (1,19)(2,20)(4,14)(5,15)(8,12)(9,10)(16,23)(17,24), (1,23)(2,9)(3,6)(4,8)(5,24)(7,22)(10,20)(11,18)(12,14)(13,21)(15,17)(16,19), (1,4)(2,24)(3,7)(5,9)(6,22)(8,23)(10,15)(11,21)(12,16)(13,18)(14,19)(17,20), (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)>;

G:=Group( (1,12)(2,10)(3,11)(4,16)(5,17)(6,18)(7,21)(8,19)(9,20)(13,22)(14,23)(15,24), (1,19)(2,20)(3,21)(4,14)(5,15)(6,13)(7,11)(8,12)(9,10)(16,23)(17,24)(18,22), (1,19)(3,21)(4,14)(6,13)(7,11)(8,12)(16,23)(18,22), (1,19)(2,20)(4,14)(5,15)(8,12)(9,10)(16,23)(17,24), (1,23)(2,9)(3,6)(4,8)(5,24)(7,22)(10,20)(11,18)(12,14)(13,21)(15,17)(16,19), (1,4)(2,24)(3,7)(5,9)(6,22)(8,23)(10,15)(11,21)(12,16)(13,18)(14,19)(17,20), (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24) );

G=PermutationGroup([(1,12),(2,10),(3,11),(4,16),(5,17),(6,18),(7,21),(8,19),(9,20),(13,22),(14,23),(15,24)], [(1,19),(2,20),(3,21),(4,14),(5,15),(6,13),(7,11),(8,12),(9,10),(16,23),(17,24),(18,22)], [(1,19),(3,21),(4,14),(6,13),(7,11),(8,12),(16,23),(18,22)], [(1,19),(2,20),(4,14),(5,15),(8,12),(9,10),(16,23),(17,24)], [(1,23),(2,9),(3,6),(4,8),(5,24),(7,22),(10,20),(11,18),(12,14),(13,21),(15,17),(16,19)], [(1,4),(2,24),(3,7),(5,9),(6,22),(8,23),(10,15),(11,21),(12,16),(13,18),(14,19),(17,20)], [(1,2,3),(4,5,6),(7,8,9),(10,11,12),(13,14,15),(16,17,18),(19,20,21),(22,23,24)])

G:=TransitiveGroup(24,457);

On 24 points - transitive group 24T458
Generators in S24
(1 15)(2 13)(3 14)(4 20)(5 21)(6 19)(7 24)(8 22)(9 23)(10 18)(11 16)(12 17)
(1 4)(2 5)(3 6)(7 17)(8 18)(9 16)(10 22)(11 23)(12 24)(13 21)(14 19)(15 20)
(1 15)(2 11)(3 17)(4 20)(5 23)(6 7)(8 22)(9 21)(10 18)(12 14)(13 16)(19 24)
(1 18)(2 13)(3 12)(4 8)(5 21)(6 24)(7 19)(9 23)(10 15)(11 16)(14 17)(20 22)
(2 11)(3 12)(5 23)(6 24)(7 19)(9 21)(13 16)(14 17)
(1 10)(3 12)(4 22)(6 24)(7 19)(8 20)(14 17)(15 18)
(1 2 3)(4 5 6)(7 8 9)(10 11 12)(13 14 15)(16 17 18)(19 20 21)(22 23 24)

G:=sub<Sym(24)| (1,15)(2,13)(3,14)(4,20)(5,21)(6,19)(7,24)(8,22)(9,23)(10,18)(11,16)(12,17), (1,4)(2,5)(3,6)(7,17)(8,18)(9,16)(10,22)(11,23)(12,24)(13,21)(14,19)(15,20), (1,15)(2,11)(3,17)(4,20)(5,23)(6,7)(8,22)(9,21)(10,18)(12,14)(13,16)(19,24), (1,18)(2,13)(3,12)(4,8)(5,21)(6,24)(7,19)(9,23)(10,15)(11,16)(14,17)(20,22), (2,11)(3,12)(5,23)(6,24)(7,19)(9,21)(13,16)(14,17), (1,10)(3,12)(4,22)(6,24)(7,19)(8,20)(14,17)(15,18), (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)>;

G:=Group( (1,15)(2,13)(3,14)(4,20)(5,21)(6,19)(7,24)(8,22)(9,23)(10,18)(11,16)(12,17), (1,4)(2,5)(3,6)(7,17)(8,18)(9,16)(10,22)(11,23)(12,24)(13,21)(14,19)(15,20), (1,15)(2,11)(3,17)(4,20)(5,23)(6,7)(8,22)(9,21)(10,18)(12,14)(13,16)(19,24), (1,18)(2,13)(3,12)(4,8)(5,21)(6,24)(7,19)(9,23)(10,15)(11,16)(14,17)(20,22), (2,11)(3,12)(5,23)(6,24)(7,19)(9,21)(13,16)(14,17), (1,10)(3,12)(4,22)(6,24)(7,19)(8,20)(14,17)(15,18), (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24) );

G=PermutationGroup([(1,15),(2,13),(3,14),(4,20),(5,21),(6,19),(7,24),(8,22),(9,23),(10,18),(11,16),(12,17)], [(1,4),(2,5),(3,6),(7,17),(8,18),(9,16),(10,22),(11,23),(12,24),(13,21),(14,19),(15,20)], [(1,15),(2,11),(3,17),(4,20),(5,23),(6,7),(8,22),(9,21),(10,18),(12,14),(13,16),(19,24)], [(1,18),(2,13),(3,12),(4,8),(5,21),(6,24),(7,19),(9,23),(10,15),(11,16),(14,17),(20,22)], [(2,11),(3,12),(5,23),(6,24),(7,19),(9,21),(13,16),(14,17)], [(1,10),(3,12),(4,22),(6,24),(7,19),(8,20),(14,17),(15,18)], [(1,2,3),(4,5,6),(7,8,9),(10,11,12),(13,14,15),(16,17,18),(19,20,21),(22,23,24)])

G:=TransitiveGroup(24,458);

On 24 points - transitive group 24T459
Generators in S24
(1 4)(2 5)(3 6)(7 22)(8 23)(9 24)(10 17)(11 18)(12 16)(13 21)(14 19)(15 20)
(1 12)(2 10)(3 11)(4 16)(5 17)(6 18)(7 21)(8 19)(9 20)(13 22)(14 23)(15 24)
(1 19)(3 21)(4 14)(6 13)(7 11)(8 12)(16 23)(18 22)
(1 19)(2 20)(4 14)(5 15)(8 12)(9 10)(16 23)(17 24)
(1 23)(2 9)(3 6)(4 8)(5 24)(7 22)(10 20)(11 18)(12 14)(13 21)(15 17)(16 19)
(1 4)(2 24)(3 7)(5 9)(6 22)(8 23)(10 15)(11 21)(12 16)(13 18)(14 19)(17 20)
(1 2 3)(4 5 6)(7 8 9)(10 11 12)(13 14 15)(16 17 18)(19 20 21)(22 23 24)

G:=sub<Sym(24)| (1,4)(2,5)(3,6)(7,22)(8,23)(9,24)(10,17)(11,18)(12,16)(13,21)(14,19)(15,20), (1,12)(2,10)(3,11)(4,16)(5,17)(6,18)(7,21)(8,19)(9,20)(13,22)(14,23)(15,24), (1,19)(3,21)(4,14)(6,13)(7,11)(8,12)(16,23)(18,22), (1,19)(2,20)(4,14)(5,15)(8,12)(9,10)(16,23)(17,24), (1,23)(2,9)(3,6)(4,8)(5,24)(7,22)(10,20)(11,18)(12,14)(13,21)(15,17)(16,19), (1,4)(2,24)(3,7)(5,9)(6,22)(8,23)(10,15)(11,21)(12,16)(13,18)(14,19)(17,20), (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24)>;

G:=Group( (1,4)(2,5)(3,6)(7,22)(8,23)(9,24)(10,17)(11,18)(12,16)(13,21)(14,19)(15,20), (1,12)(2,10)(3,11)(4,16)(5,17)(6,18)(7,21)(8,19)(9,20)(13,22)(14,23)(15,24), (1,19)(3,21)(4,14)(6,13)(7,11)(8,12)(16,23)(18,22), (1,19)(2,20)(4,14)(5,15)(8,12)(9,10)(16,23)(17,24), (1,23)(2,9)(3,6)(4,8)(5,24)(7,22)(10,20)(11,18)(12,14)(13,21)(15,17)(16,19), (1,4)(2,24)(3,7)(5,9)(6,22)(8,23)(10,15)(11,21)(12,16)(13,18)(14,19)(17,20), (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18)(19,20,21)(22,23,24) );

G=PermutationGroup([(1,4),(2,5),(3,6),(7,22),(8,23),(9,24),(10,17),(11,18),(12,16),(13,21),(14,19),(15,20)], [(1,12),(2,10),(3,11),(4,16),(5,17),(6,18),(7,21),(8,19),(9,20),(13,22),(14,23),(15,24)], [(1,19),(3,21),(4,14),(6,13),(7,11),(8,12),(16,23),(18,22)], [(1,19),(2,20),(4,14),(5,15),(8,12),(9,10),(16,23),(17,24)], [(1,23),(2,9),(3,6),(4,8),(5,24),(7,22),(10,20),(11,18),(12,14),(13,21),(15,17),(16,19)], [(1,4),(2,24),(3,7),(5,9),(6,22),(8,23),(10,15),(11,21),(12,16),(13,18),(14,19),(17,20)], [(1,2,3),(4,5,6),(7,8,9),(10,11,12),(13,14,15),(16,17,18),(19,20,21),(22,23,24)])

G:=TransitiveGroup(24,459);

Polynomial with Galois group C22×C22⋊A4 over ℚ
actionf(x)Disc(f)
12T90x12-13x10+60x8-116x6+85x4-17x2+1212·78·132·1132

32 conjugacy classes

 class 1 2A 2B 2C 2D ··· 2W 3A 3B 6A ··· 6F order 1 2 2 2 2 ··· 2 3 3 6 ··· 6 size 1 1 1 1 3 ··· 3 16 16 16 ··· 16

32 irreducible representations

 dim 1 1 1 1 3 3 type + + + + image C1 C2 C3 C6 A4 C2×A4 kernel C22×C22⋊A4 C2×C22⋊A4 C26 C25 C24 C23 # reps 1 3 2 6 5 15

Matrix representation of C22×C22⋊A4 in GL6(ℤ)

 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0 0 -1 0 0 0 0 0 0 -1
,
 -1 0 0 0 0 0 0 -1 0 0 0 0 0 0 -1 0 0 0 0 0 0 -1 0 0 0 0 0 0 -1 0 0 0 0 0 0 -1
,
 1 0 0 0 0 0 0 -1 0 0 0 0 0 0 -1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1
,
 -1 0 0 0 0 0 0 -1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1
,
 -1 0 0 0 0 0 0 -1 0 0 0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0 0 -1 0 0 0 0 0 0 1
,
 -1 0 0 0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0 0 -1 0 0 0 0 0 0 1 0 0 0 0 0 0 -1
,
 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0

G:=sub<GL(6,Integers())| [1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1],[-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1],[1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1],[-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1],[-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,1],[-1,0,0,0,0,0,0,1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,1,0,0,0,0,0,0,-1],[0,0,1,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,0,0,1,0] >;

C22×C22⋊A4 in GAP, Magma, Sage, TeX

C_2^2\times C_2^2\rtimes A_4
% in TeX

G:=Group("C2^2xC2^2:A4");
// GroupNames label

G:=SmallGroup(192,1540);
// by ID

G=gap.SmallGroup(192,1540);
# by ID

G:=PCGroup([7,-2,-2,-3,-2,2,-2,2,185,333,1027,1784]);
// Polycyclic

G:=Group<a,b,c,d,e,f,g|a^2=b^2=c^2=d^2=e^2=f^2=g^3=1,a*b=b*a,a*c=c*a,a*d=d*a,a*e=e*a,a*f=f*a,a*g=g*a,b*c=c*b,b*d=d*b,b*e=e*b,b*f=f*b,b*g=g*b,g*c*g^-1=c*d=d*c,c*e=e*c,c*f=f*c,d*e=e*d,d*f=f*d,g*d*g^-1=c,g*e*g^-1=e*f=f*e,g*f*g^-1=e>;
// generators/relations

׿
×
𝔽