metacyclic, supersoluble, monomial, Z-group
Aliases: C31⋊C15, C31⋊C5⋊C3, C31⋊C3⋊C5, SmallGroup(465,1)
Series: Derived ►Chief ►Lower central ►Upper central
C1 — C31 — C31⋊C5 — C31⋊C15 |
C31 — C31⋊C15 |
Generators and relations for C31⋊C15
G = < a,b | a31=b15=1, bab-1=a20 >
Character table of C31⋊C15
class | 1 | 3A | 3B | 5A | 5B | 5C | 5D | 15A | 15B | 15C | 15D | 15E | 15F | 15G | 15H | 31A | 31B | |
size | 1 | 31 | 31 | 31 | 31 | 31 | 31 | 31 | 31 | 31 | 31 | 31 | 31 | 31 | 31 | 15 | 15 | |
ρ1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | trivial |
ρ2 | 1 | ζ32 | ζ3 | 1 | 1 | 1 | 1 | ζ32 | ζ3 | ζ3 | ζ3 | ζ32 | ζ32 | ζ32 | ζ3 | 1 | 1 | linear of order 3 |
ρ3 | 1 | ζ3 | ζ32 | 1 | 1 | 1 | 1 | ζ3 | ζ32 | ζ32 | ζ32 | ζ3 | ζ3 | ζ3 | ζ32 | 1 | 1 | linear of order 3 |
ρ4 | 1 | 1 | 1 | ζ5 | ζ53 | ζ52 | ζ54 | ζ53 | ζ5 | ζ53 | ζ52 | ζ52 | ζ54 | ζ5 | ζ54 | 1 | 1 | linear of order 5 |
ρ5 | 1 | 1 | 1 | ζ53 | ζ54 | ζ5 | ζ52 | ζ54 | ζ53 | ζ54 | ζ5 | ζ5 | ζ52 | ζ53 | ζ52 | 1 | 1 | linear of order 5 |
ρ6 | 1 | 1 | 1 | ζ54 | ζ52 | ζ53 | ζ5 | ζ52 | ζ54 | ζ52 | ζ53 | ζ53 | ζ5 | ζ54 | ζ5 | 1 | 1 | linear of order 5 |
ρ7 | 1 | 1 | 1 | ζ52 | ζ5 | ζ54 | ζ53 | ζ5 | ζ52 | ζ5 | ζ54 | ζ54 | ζ53 | ζ52 | ζ53 | 1 | 1 | linear of order 5 |
ρ8 | 1 | ζ32 | ζ3 | ζ53 | ζ54 | ζ5 | ζ52 | ζ32ζ54 | ζ3ζ53 | ζ3ζ54 | ζ3ζ5 | ζ32ζ5 | ζ32ζ52 | ζ32ζ53 | ζ3ζ52 | 1 | 1 | linear of order 15 |
ρ9 | 1 | ζ3 | ζ32 | ζ54 | ζ52 | ζ53 | ζ5 | ζ3ζ52 | ζ32ζ54 | ζ32ζ52 | ζ32ζ53 | ζ3ζ53 | ζ3ζ5 | ζ3ζ54 | ζ32ζ5 | 1 | 1 | linear of order 15 |
ρ10 | 1 | ζ32 | ζ3 | ζ5 | ζ53 | ζ52 | ζ54 | ζ32ζ53 | ζ3ζ5 | ζ3ζ53 | ζ3ζ52 | ζ32ζ52 | ζ32ζ54 | ζ32ζ5 | ζ3ζ54 | 1 | 1 | linear of order 15 |
ρ11 | 1 | ζ32 | ζ3 | ζ52 | ζ5 | ζ54 | ζ53 | ζ32ζ5 | ζ3ζ52 | ζ3ζ5 | ζ3ζ54 | ζ32ζ54 | ζ32ζ53 | ζ32ζ52 | ζ3ζ53 | 1 | 1 | linear of order 15 |
ρ12 | 1 | ζ3 | ζ32 | ζ53 | ζ54 | ζ5 | ζ52 | ζ3ζ54 | ζ32ζ53 | ζ32ζ54 | ζ32ζ5 | ζ3ζ5 | ζ3ζ52 | ζ3ζ53 | ζ32ζ52 | 1 | 1 | linear of order 15 |
ρ13 | 1 | ζ32 | ζ3 | ζ54 | ζ52 | ζ53 | ζ5 | ζ32ζ52 | ζ3ζ54 | ζ3ζ52 | ζ3ζ53 | ζ32ζ53 | ζ32ζ5 | ζ32ζ54 | ζ3ζ5 | 1 | 1 | linear of order 15 |
ρ14 | 1 | ζ3 | ζ32 | ζ52 | ζ5 | ζ54 | ζ53 | ζ3ζ5 | ζ32ζ52 | ζ32ζ5 | ζ32ζ54 | ζ3ζ54 | ζ3ζ53 | ζ3ζ52 | ζ32ζ53 | 1 | 1 | linear of order 15 |
ρ15 | 1 | ζ3 | ζ32 | ζ5 | ζ53 | ζ52 | ζ54 | ζ3ζ53 | ζ32ζ5 | ζ32ζ53 | ζ32ζ52 | ζ3ζ52 | ζ3ζ54 | ζ3ζ5 | ζ32ζ54 | 1 | 1 | linear of order 15 |
ρ16 | 15 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1+√-31/2 | -1-√-31/2 | complex faithful |
ρ17 | 15 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1-√-31/2 | -1+√-31/2 | complex faithful |
(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)
(2 15 11 17 8 6 9 20 19 5 26 10 3 29 21)(4 12 31 18 22 16 25 27 24 13 14 28 7 23 30)
G:=sub<Sym(31)| (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), (2,15,11,17,8,6,9,20,19,5,26,10,3,29,21)(4,12,31,18,22,16,25,27,24,13,14,28,7,23,30)>;
G:=Group( (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), (2,15,11,17,8,6,9,20,19,5,26,10,3,29,21)(4,12,31,18,22,16,25,27,24,13,14,28,7,23,30) );
G=PermutationGroup([[(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)], [(2,15,11,17,8,6,9,20,19,5,26,10,3,29,21),(4,12,31,18,22,16,25,27,24,13,14,28,7,23,30)]])
G:=TransitiveGroup(31,7);
Matrix representation of C31⋊C15 ►in GL15(𝔽1861)
0 | 1 | 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 | 1 | 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 | 1 | 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 | 1 | 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 | 1 | 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 | 1 | 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 | 1 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
1 | 874 | 870 | 982 | 115 | 4 | 872 | 985 | 990 | 875 | 1857 | 113 | 993 | 877 | 873 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1750 | 752 | 1844 | 1324 | 1112 | 765 | 977 | 229 | 11 | 1739 | 220 | 354 | 1763 | 1637 | 868 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1857 | 110 | 232 | 12 | 763 | 1855 | 118 | 881 | 1744 | 113 | 997 | 1640 | 754 | 1854 | 987 |
112 | 1112 | 1767 | 420 | 743 | 223 | 1759 | 640 | 974 | 124 | 1525 | 1500 | 209 | 1214 | 994 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
880 | 644 | 1614 | 323 | 348 | 1757 | 860 | 1210 | 126 | 1628 | 1085 | 1446 | 134 | 770 | 1745 |
873 | 1854 | 1096 | 235 | 883 | 1746 | 111 | 995 | 1751 | 1855 | 1105 | 12 | 1637 | 1743 | 1857 |
0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
982 | 232 | 130 | 1531 | 1625 | 106 | 11 | 1634 | 863 | 1107 | 770 | 526 | 1844 | 1094 | 117 |
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 |
5 | 761 | 1625 | 98 | 227 | 9 | 1740 | 107 | 1107 | 760 | 1850 | 336 | 1113 | 883 | 1746 |
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 |
G:=sub<GL(15,GF(1861))| [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,874,0,1,0,0,0,0,0,0,0,0,0,0,0,0,870,0,0,1,0,0,0,0,0,0,0,0,0,0,0,982,0,0,0,1,0,0,0,0,0,0,0,0,0,0,115,0,0,0,0,1,0,0,0,0,0,0,0,0,0,4,0,0,0,0,0,1,0,0,0,0,0,0,0,0,872,0,0,0,0,0,0,1,0,0,0,0,0,0,0,985,0,0,0,0,0,0,0,1,0,0,0,0,0,0,990,0,0,0,0,0,0,0,0,1,0,0,0,0,0,875,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1857,0,0,0,0,0,0,0,0,0,0,1,0,0,0,113,0,0,0,0,0,0,0,0,0,0,0,1,0,0,993,0,0,0,0,0,0,0,0,0,0,0,0,1,0,877,0,0,0,0,0,0,0,0,0,0,0,0,0,1,873],[1,1750,0,1857,112,0,880,873,0,982,0,0,5,0,0,0,752,0,110,1112,0,644,1854,0,232,0,0,761,0,1,0,1844,0,232,1767,0,1614,1096,0,130,0,0,1625,0,0,0,1324,0,12,420,0,323,235,0,1531,0,1,98,0,0,0,1112,0,763,743,0,348,883,0,1625,0,0,227,0,0,0,765,0,1855,223,0,1757,1746,1,106,0,0,9,0,0,0,977,0,118,1759,0,860,111,0,11,0,0,1740,0,0,0,229,0,881,640,1,1210,995,0,1634,0,0,107,0,0,0,11,0,1744,974,0,126,1751,0,863,0,0,1107,0,0,0,1739,1,113,124,0,1628,1855,0,1107,0,0,760,0,0,0,220,0,997,1525,0,1085,1105,0,770,0,0,1850,0,0,0,354,0,1640,1500,0,1446,12,0,526,0,0,336,0,0,0,1763,0,754,209,0,134,1637,0,1844,0,0,1113,1,0,0,1637,0,1854,1214,0,770,1743,0,1094,0,0,883,0,0,0,868,0,987,994,0,1745,1857,0,117,1,0,1746,0,0] >;
C31⋊C15 in GAP, Magma, Sage, TeX
C_{31}\rtimes C_{15}
% in TeX
G:=Group("C31:C15");
// GroupNames label
G:=SmallGroup(465,1);
// by ID
G=gap.SmallGroup(465,1);
# by ID
G:=PCGroup([3,-3,-5,-31,3377,725]);
// Polycyclic
G:=Group<a,b|a^31=b^15=1,b*a*b^-1=a^20>;
// generators/relations
Export
Subgroup lattice of C31⋊C15 in TeX
Character table of C31⋊C15 in TeX