direct product, metacyclic, supersoluble, monomial
Aliases: C2×C9⋊C6, C18⋊C6, D9⋊C6, D18⋊C3, C32.D6, 3- 1+2⋊C22, C9⋊(C2×C6), C6.6(C3×S3), C3.3(S3×C6), (C3×C6).4S3, (C2×3- 1+2)⋊C2, Aut(D18), Hol(C18), SmallGroup(108,26)
Series: Derived ►Chief ►Lower central ►Upper central
C1 — C3 — C9 — 3- 1+2 — C9⋊C6 — C2×C9⋊C6 |
C9 — C2×C9⋊C6 |
Generators and relations for C2×C9⋊C6
G = < a,b,c | a2=b9=c6=1, ab=ba, ac=ca, cbc-1=b2 >
Character table of C2×C9⋊C6
class | 1 | 2A | 2B | 2C | 3A | 3B | 3C | 6A | 6B | 6C | 6D | 6E | 6F | 6G | 9A | 9B | 9C | 18A | 18B | 18C | |
size | 1 | 1 | 9 | 9 | 2 | 3 | 3 | 2 | 3 | 3 | 9 | 9 | 9 | 9 | 6 | 6 | 6 | 6 | 6 | 6 | |
ρ1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | trivial |
ρ2 | 1 | 1 | -1 | -1 | 1 | 1 | 1 | 1 | 1 | 1 | -1 | -1 | -1 | -1 | 1 | 1 | 1 | 1 | 1 | 1 | linear of order 2 |
ρ3 | 1 | -1 | 1 | -1 | 1 | 1 | 1 | -1 | -1 | -1 | 1 | -1 | -1 | 1 | 1 | 1 | 1 | -1 | -1 | -1 | linear of order 2 |
ρ4 | 1 | -1 | -1 | 1 | 1 | 1 | 1 | -1 | -1 | -1 | -1 | 1 | 1 | -1 | 1 | 1 | 1 | -1 | -1 | -1 | linear of order 2 |
ρ5 | 1 | 1 | -1 | -1 | 1 | ζ32 | ζ3 | 1 | ζ32 | ζ3 | ζ65 | ζ6 | ζ65 | ζ6 | 1 | ζ32 | ζ3 | 1 | ζ3 | ζ32 | linear of order 6 |
ρ6 | 1 | -1 | 1 | -1 | 1 | ζ32 | ζ3 | -1 | ζ6 | ζ65 | ζ3 | ζ6 | ζ65 | ζ32 | 1 | ζ32 | ζ3 | -1 | ζ65 | ζ6 | linear of order 6 |
ρ7 | 1 | 1 | 1 | 1 | 1 | ζ32 | ζ3 | 1 | ζ32 | ζ3 | ζ3 | ζ32 | ζ3 | ζ32 | 1 | ζ32 | ζ3 | 1 | ζ3 | ζ32 | linear of order 3 |
ρ8 | 1 | 1 | -1 | -1 | 1 | ζ3 | ζ32 | 1 | ζ3 | ζ32 | ζ6 | ζ65 | ζ6 | ζ65 | 1 | ζ3 | ζ32 | 1 | ζ32 | ζ3 | linear of order 6 |
ρ9 | 1 | -1 | -1 | 1 | 1 | ζ32 | ζ3 | -1 | ζ6 | ζ65 | ζ65 | ζ32 | ζ3 | ζ6 | 1 | ζ32 | ζ3 | -1 | ζ65 | ζ6 | linear of order 6 |
ρ10 | 1 | 1 | 1 | 1 | 1 | ζ3 | ζ32 | 1 | ζ3 | ζ32 | ζ32 | ζ3 | ζ32 | ζ3 | 1 | ζ3 | ζ32 | 1 | ζ32 | ζ3 | linear of order 3 |
ρ11 | 1 | -1 | 1 | -1 | 1 | ζ3 | ζ32 | -1 | ζ65 | ζ6 | ζ32 | ζ65 | ζ6 | ζ3 | 1 | ζ3 | ζ32 | -1 | ζ6 | ζ65 | linear of order 6 |
ρ12 | 1 | -1 | -1 | 1 | 1 | ζ3 | ζ32 | -1 | ζ65 | ζ6 | ζ6 | ζ3 | ζ32 | ζ65 | 1 | ζ3 | ζ32 | -1 | ζ6 | ζ65 | linear of order 6 |
ρ13 | 2 | -2 | 0 | 0 | 2 | 2 | 2 | -2 | -2 | -2 | 0 | 0 | 0 | 0 | -1 | -1 | -1 | 1 | 1 | 1 | orthogonal lifted from D6 |
ρ14 | 2 | 2 | 0 | 0 | 2 | 2 | 2 | 2 | 2 | 2 | 0 | 0 | 0 | 0 | -1 | -1 | -1 | -1 | -1 | -1 | orthogonal lifted from S3 |
ρ15 | 2 | 2 | 0 | 0 | 2 | -1-√-3 | -1+√-3 | 2 | -1-√-3 | -1+√-3 | 0 | 0 | 0 | 0 | -1 | ζ6 | ζ65 | -1 | ζ65 | ζ6 | complex lifted from C3×S3 |
ρ16 | 2 | 2 | 0 | 0 | 2 | -1+√-3 | -1-√-3 | 2 | -1+√-3 | -1-√-3 | 0 | 0 | 0 | 0 | -1 | ζ65 | ζ6 | -1 | ζ6 | ζ65 | complex lifted from C3×S3 |
ρ17 | 2 | -2 | 0 | 0 | 2 | -1+√-3 | -1-√-3 | -2 | 1-√-3 | 1+√-3 | 0 | 0 | 0 | 0 | -1 | ζ65 | ζ6 | 1 | ζ32 | ζ3 | complex lifted from S3×C6 |
ρ18 | 2 | -2 | 0 | 0 | 2 | -1-√-3 | -1+√-3 | -2 | 1+√-3 | 1-√-3 | 0 | 0 | 0 | 0 | -1 | ζ6 | ζ65 | 1 | ζ3 | ζ32 | complex lifted from S3×C6 |
ρ19 | 6 | -6 | 0 | 0 | -3 | 0 | 0 | 3 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | orthogonal faithful |
ρ20 | 6 | 6 | 0 | 0 | -3 | 0 | 0 | -3 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | orthogonal lifted from C9⋊C6 |
(1 11)(2 12)(3 13)(4 14)(5 15)(6 16)(7 17)(8 18)(9 10)
(1 2 3 4 5 6 7 8 9)(10 11 12 13 14 15 16 17 18)
(2 6 8 9 5 3)(4 7)(10 15 13 12 16 18)(14 17)
G:=sub<Sym(18)| (1,11)(2,12)(3,13)(4,14)(5,15)(6,16)(7,17)(8,18)(9,10), (1,2,3,4,5,6,7,8,9)(10,11,12,13,14,15,16,17,18), (2,6,8,9,5,3)(4,7)(10,15,13,12,16,18)(14,17)>;
G:=Group( (1,11)(2,12)(3,13)(4,14)(5,15)(6,16)(7,17)(8,18)(9,10), (1,2,3,4,5,6,7,8,9)(10,11,12,13,14,15,16,17,18), (2,6,8,9,5,3)(4,7)(10,15,13,12,16,18)(14,17) );
G=PermutationGroup([[(1,11),(2,12),(3,13),(4,14),(5,15),(6,16),(7,17),(8,18),(9,10)], [(1,2,3,4,5,6,7,8,9),(10,11,12,13,14,15,16,17,18)], [(2,6,8,9,5,3),(4,7),(10,15,13,12,16,18),(14,17)]])
G:=TransitiveGroup(18,45);
C2×C9⋊C6 is a maximal subgroup of
D36⋊C3 Dic9⋊C6 C32.GL2(𝔽3) D18.A4
C2×C9⋊C6 is a maximal quotient of C36.C6 D36⋊C3 Dic9⋊C6
Matrix representation of C2×C9⋊C6 ►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 |
0 | 0 | 0 | 1 | 0 | 0 |
0 | 0 | -1 | -1 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 1 |
0 | 0 | 0 | 0 | -1 | -1 |
1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 | 0 |
-1 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | -1 | 0 |
0 | 0 | 0 | 0 | 1 | 1 |
0 | 0 | 1 | 1 | 0 | 0 |
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],[0,0,0,0,1,0,0,0,0,0,0,1,0,-1,0,0,0,0,1,-1,0,0,0,0,0,0,0,-1,0,0,0,0,1,-1,0,0],[-1,1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,-1,0,0,-1,1,0,0,0,0,0,1,0,0] >;
C2×C9⋊C6 in GAP, Magma, Sage, TeX
C_2\times C_9\rtimes C_6
% in TeX
G:=Group("C2xC9:C6");
// GroupNames label
G:=SmallGroup(108,26);
// by ID
G=gap.SmallGroup(108,26);
# by ID
G:=PCGroup([5,-2,-2,-3,-3,-3,1203,253,138,1804]);
// Polycyclic
G:=Group<a,b,c|a^2=b^9=c^6=1,a*b=b*a,a*c=c*a,c*b*c^-1=b^2>;
// generators/relations
Export
Subgroup lattice of C2×C9⋊C6 in TeX
Character table of C2×C9⋊C6 in TeX