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