Copied to
clipboard

G = C23×C4order 32 = 25

Abelian group of type [2,2,2,4]

direct product, p-group, abelian, monomial

Aliases: C23×C4, SmallGroup(32,45)

Series: Derived Chief Lower central Upper central Jennings

C1 — C23×C4
C1C2C22C23C24 — C23×C4
C1 — C23×C4
C1 — C23×C4
C1C2 — C23×C4

Generators and relations for C23×C4
 G = < a,b,c,d | a2=b2=c2=d4=1, ab=ba, ac=ca, ad=da, bc=cb, bd=db, cd=dc >

Subgroups: 118, all normal (4 characteristic)
C1, C2, C2 [×14], C4 [×8], C22 [×35], C2×C4 [×28], C23 [×15], C22×C4 [×14], C24, C23×C4
Quotients: C1, C2 [×15], C4 [×8], C22 [×35], C2×C4 [×28], C23 [×15], C22×C4 [×14], C24, C23×C4

Smallest permutation representation of C23×C4
Regular action on 32 points
Generators in S32
(1 23)(2 24)(3 21)(4 22)(5 10)(6 11)(7 12)(8 9)(13 19)(14 20)(15 17)(16 18)(25 29)(26 30)(27 31)(28 32)
(1 11)(2 12)(3 9)(4 10)(5 22)(6 23)(7 24)(8 21)(13 25)(14 26)(15 27)(16 28)(17 31)(18 32)(19 29)(20 30)
(1 27)(2 28)(3 25)(4 26)(5 20)(6 17)(7 18)(8 19)(9 13)(10 14)(11 15)(12 16)(21 29)(22 30)(23 31)(24 32)
(1 2 3 4)(5 6 7 8)(9 10 11 12)(13 14 15 16)(17 18 19 20)(21 22 23 24)(25 26 27 28)(29 30 31 32)

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

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

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

32 conjugacy classes

class 1 2A···2O4A···4P
order12···24···4
size11···11···1

32 irreducible representations

dim1111
type+++
imageC1C2C2C4
kernelC23×C4C22×C4C24C23
# reps114116

Matrix representation of C23×C4 in GL4(𝔽5) generated by

4000
0400
0010
0001
,
4000
0100
0040
0004
,
4000
0100
0040
0001
,
2000
0200
0020
0001
G:=sub<GL(4,GF(5))| [4,0,0,0,0,4,0,0,0,0,1,0,0,0,0,1],[4,0,0,0,0,1,0,0,0,0,4,0,0,0,0,4],[4,0,0,0,0,1,0,0,0,0,4,0,0,0,0,1],[2,0,0,0,0,2,0,0,0,0,2,0,0,0,0,1] >;

C23×C4 in GAP, Magma, Sage, TeX

C_2^3\times C_4
% in TeX

G:=Group("C2^3xC4");
// GroupNames label

G:=SmallGroup(32,45);
// by ID

G=gap.SmallGroup(32,45);
# by ID

G:=PCGroup([5,-2,2,2,2,-2,80]);
// Polycyclic

G:=Group<a,b,c,d|a^2=b^2=c^2=d^4=1,a*b=b*a,a*c=c*a,a*d=d*a,b*c=c*b,b*d=d*b,c*d=d*c>;
// generators/relations

׿
×
𝔽