metacyclic, supersoluble, monomial, Z-group
Aliases: F19, AGL1(𝔽19), C19⋊C18, D19⋊C9, C19⋊C9⋊C2, C19⋊C3.C6, C19⋊C6.C3, Aut(D19), Hol(C19), SmallGroup(342,7)
Series: Derived ►Chief ►Lower central ►Upper central
C1 — C19 — C19⋊C3 — C19⋊C9 — F19 |
C19 — F19 |
Generators and relations for F19
G = < a,b | a19=b18=1, bab-1=a3 >
Character table of F19
class | 1 | 2 | 3A | 3B | 6A | 6B | 9A | 9B | 9C | 9D | 9E | 9F | 18A | 18B | 18C | 18D | 18E | 18F | 19 | |
size | 1 | 19 | 19 | 19 | 19 | 19 | 19 | 19 | 19 | 19 | 19 | 19 | 19 | 19 | 19 | 19 | 19 | 19 | 18 | |
ρ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 | linear of order 2 |
ρ3 | 1 | -1 | 1 | 1 | -1 | -1 | ζ3 | ζ3 | ζ32 | ζ32 | ζ32 | ζ3 | ζ65 | ζ6 | ζ6 | ζ6 | ζ65 | ζ65 | 1 | linear of order 6 |
ρ4 | 1 | 1 | 1 | 1 | 1 | 1 | ζ3 | ζ3 | ζ32 | ζ32 | ζ32 | ζ3 | ζ3 | ζ32 | ζ32 | ζ32 | ζ3 | ζ3 | 1 | linear of order 3 |
ρ5 | 1 | -1 | 1 | 1 | -1 | -1 | ζ32 | ζ32 | ζ3 | ζ3 | ζ3 | ζ32 | ζ6 | ζ65 | ζ65 | ζ65 | ζ6 | ζ6 | 1 | linear of order 6 |
ρ6 | 1 | 1 | 1 | 1 | 1 | 1 | ζ32 | ζ32 | ζ3 | ζ3 | ζ3 | ζ32 | ζ32 | ζ3 | ζ3 | ζ3 | ζ32 | ζ32 | 1 | linear of order 3 |
ρ7 | 1 | 1 | ζ3 | ζ32 | ζ3 | ζ32 | ζ94 | ζ97 | ζ95 | ζ92 | ζ98 | ζ9 | ζ94 | ζ95 | ζ92 | ζ98 | ζ9 | ζ97 | 1 | linear of order 9 |
ρ8 | 1 | -1 | ζ3 | ζ32 | ζ65 | ζ6 | ζ94 | ζ97 | ζ95 | ζ92 | ζ98 | ζ9 | -ζ94 | -ζ95 | -ζ92 | -ζ98 | -ζ9 | -ζ97 | 1 | linear of order 18 |
ρ9 | 1 | -1 | ζ32 | ζ3 | ζ6 | ζ65 | ζ95 | ζ92 | ζ94 | ζ97 | ζ9 | ζ98 | -ζ95 | -ζ94 | -ζ97 | -ζ9 | -ζ98 | -ζ92 | 1 | linear of order 18 |
ρ10 | 1 | 1 | ζ32 | ζ3 | ζ32 | ζ3 | ζ92 | ζ98 | ζ97 | ζ9 | ζ94 | ζ95 | ζ92 | ζ97 | ζ9 | ζ94 | ζ95 | ζ98 | 1 | linear of order 9 |
ρ11 | 1 | 1 | ζ32 | ζ3 | ζ32 | ζ3 | ζ98 | ζ95 | ζ9 | ζ94 | ζ97 | ζ92 | ζ98 | ζ9 | ζ94 | ζ97 | ζ92 | ζ95 | 1 | linear of order 9 |
ρ12 | 1 | -1 | ζ3 | ζ32 | ζ65 | ζ6 | ζ97 | ζ9 | ζ92 | ζ98 | ζ95 | ζ94 | -ζ97 | -ζ92 | -ζ98 | -ζ95 | -ζ94 | -ζ9 | 1 | linear of order 18 |
ρ13 | 1 | 1 | ζ3 | ζ32 | ζ3 | ζ32 | ζ9 | ζ94 | ζ98 | ζ95 | ζ92 | ζ97 | ζ9 | ζ98 | ζ95 | ζ92 | ζ97 | ζ94 | 1 | linear of order 9 |
ρ14 | 1 | 1 | ζ3 | ζ32 | ζ3 | ζ32 | ζ97 | ζ9 | ζ92 | ζ98 | ζ95 | ζ94 | ζ97 | ζ92 | ζ98 | ζ95 | ζ94 | ζ9 | 1 | linear of order 9 |
ρ15 | 1 | -1 | ζ3 | ζ32 | ζ65 | ζ6 | ζ9 | ζ94 | ζ98 | ζ95 | ζ92 | ζ97 | -ζ9 | -ζ98 | -ζ95 | -ζ92 | -ζ97 | -ζ94 | 1 | linear of order 18 |
ρ16 | 1 | 1 | ζ32 | ζ3 | ζ32 | ζ3 | ζ95 | ζ92 | ζ94 | ζ97 | ζ9 | ζ98 | ζ95 | ζ94 | ζ97 | ζ9 | ζ98 | ζ92 | 1 | linear of order 9 |
ρ17 | 1 | -1 | ζ32 | ζ3 | ζ6 | ζ65 | ζ92 | ζ98 | ζ97 | ζ9 | ζ94 | ζ95 | -ζ92 | -ζ97 | -ζ9 | -ζ94 | -ζ95 | -ζ98 | 1 | linear of order 18 |
ρ18 | 1 | -1 | ζ32 | ζ3 | ζ6 | ζ65 | ζ98 | ζ95 | ζ9 | ζ94 | ζ97 | ζ92 | -ζ98 | -ζ9 | -ζ94 | -ζ97 | -ζ92 | -ζ95 | 1 | linear of order 18 |
ρ19 | 18 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 | orthogonal faithful |
(1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19)
(2 14 18 13 5 15 12 11 17 19 7 3 8 16 6 9 10 4)
G:=sub<Sym(19)| (1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19), (2,14,18,13,5,15,12,11,17,19,7,3,8,16,6,9,10,4)>;
G:=Group( (1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19), (2,14,18,13,5,15,12,11,17,19,7,3,8,16,6,9,10,4) );
G=PermutationGroup([[(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19)], [(2,14,18,13,5,15,12,11,17,19,7,3,8,16,6,9,10,4)]])
G:=TransitiveGroup(19,6);
Matrix representation of F19 ►in GL18(ℤ)
0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
-1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
-1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 |
0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
G:=sub<GL(18,Integers())| [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-1],[1,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,-1,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,-1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,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,0,0,0,0,0,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,1,0,0,0,0,0] >;
F19 in GAP, Magma, Sage, TeX
F_{19}
% in TeX
G:=Group("F19");
// GroupNames label
G:=SmallGroup(342,7);
// by ID
G=gap.SmallGroup(342,7);
# by ID
G:=PCGroup([4,-2,-3,-3,-19,29,5187,2455,539]);
// Polycyclic
G:=Group<a,b|a^19=b^18=1,b*a*b^-1=a^3>;
// generators/relations
Export
Subgroup lattice of F19 in TeX
Character table of F19 in TeX