metacyclic, supersoluble, monomial, Z-group, 2-hyperelementary
Aliases: D45, C9⋊D5, C5⋊D9, C45⋊1C2, C3.D15, C15.1S3, sometimes denoted D90 or Dih45 or Dih90, SmallGroup(90,3)
Series: Derived ►Chief ►Lower central ►Upper central
C45 — D45 |
Generators and relations for D45
G = < a,b | a45=b2=1, bab=a-1 >
Character table of D45
class | 1 | 2 | 3 | 5A | 5B | 9A | 9B | 9C | 15A | 15B | 15C | 15D | 45A | 45B | 45C | 45D | 45E | 45F | 45G | 45H | 45I | 45J | 45K | 45L | |
size | 1 | 45 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | |
ρ1 | 1 | 1 | 1 | 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 | 1 | 1 | 1 | 1 | linear of order 2 |
ρ3 | 2 | 0 | 2 | 2 | 2 | -1 | -1 | -1 | 2 | 2 | 2 | 2 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | orthogonal lifted from S3 |
ρ4 | 2 | 0 | 2 | -1+√5/2 | -1-√5/2 | 2 | 2 | 2 | -1+√5/2 | -1-√5/2 | -1-√5/2 | -1+√5/2 | -1+√5/2 | -1+√5/2 | -1-√5/2 | -1-√5/2 | -1-√5/2 | -1-√5/2 | -1-√5/2 | -1-√5/2 | -1+√5/2 | -1+√5/2 | -1+√5/2 | -1+√5/2 | orthogonal lifted from D5 |
ρ5 | 2 | 0 | 2 | -1-√5/2 | -1+√5/2 | 2 | 2 | 2 | -1-√5/2 | -1+√5/2 | -1+√5/2 | -1-√5/2 | -1-√5/2 | -1-√5/2 | -1+√5/2 | -1+√5/2 | -1+√5/2 | -1+√5/2 | -1+√5/2 | -1+√5/2 | -1-√5/2 | -1-√5/2 | -1-√5/2 | -1-√5/2 | orthogonal lifted from D5 |
ρ6 | 2 | 0 | -1 | 2 | 2 | ζ97+ζ92 | ζ95+ζ94 | ζ98+ζ9 | -1 | -1 | -1 | -1 | ζ98+ζ9 | ζ97+ζ92 | ζ95+ζ94 | ζ98+ζ9 | ζ97+ζ92 | ζ95+ζ94 | ζ98+ζ9 | ζ97+ζ92 | ζ95+ζ94 | ζ98+ζ9 | ζ97+ζ92 | ζ95+ζ94 | orthogonal lifted from D9 |
ρ7 | 2 | 0 | -1 | 2 | 2 | ζ98+ζ9 | ζ97+ζ92 | ζ95+ζ94 | -1 | -1 | -1 | -1 | ζ95+ζ94 | ζ98+ζ9 | ζ97+ζ92 | ζ95+ζ94 | ζ98+ζ9 | ζ97+ζ92 | ζ95+ζ94 | ζ98+ζ9 | ζ97+ζ92 | ζ95+ζ94 | ζ98+ζ9 | ζ97+ζ92 | orthogonal lifted from D9 |
ρ8 | 2 | 0 | -1 | 2 | 2 | ζ95+ζ94 | ζ98+ζ9 | ζ97+ζ92 | -1 | -1 | -1 | -1 | ζ97+ζ92 | ζ95+ζ94 | ζ98+ζ9 | ζ97+ζ92 | ζ95+ζ94 | ζ98+ζ9 | ζ97+ζ92 | ζ95+ζ94 | ζ98+ζ9 | ζ97+ζ92 | ζ95+ζ94 | ζ98+ζ9 | orthogonal lifted from D9 |
ρ9 | 2 | 0 | 2 | -1-√5/2 | -1+√5/2 | -1 | -1 | -1 | -1-√5/2 | -1+√5/2 | -1+√5/2 | -1-√5/2 | -ζ3ζ53+ζ3ζ52-ζ53 | -ζ3ζ53+ζ3ζ52-ζ53 | ζ3ζ54-ζ3ζ5-ζ5 | ζ3ζ54-ζ3ζ5-ζ5 | ζ3ζ54-ζ3ζ5-ζ5 | ζ32ζ54-ζ32ζ5-ζ5 | ζ32ζ54-ζ32ζ5-ζ5 | ζ32ζ54-ζ32ζ5-ζ5 | ζ3ζ53-ζ3ζ52-ζ52 | ζ3ζ53-ζ3ζ52-ζ52 | ζ3ζ53-ζ3ζ52-ζ52 | -ζ3ζ53+ζ3ζ52-ζ53 | orthogonal lifted from D15 |
ρ10 | 2 | 0 | 2 | -1+√5/2 | -1-√5/2 | -1 | -1 | -1 | -1+√5/2 | -1-√5/2 | -1-√5/2 | -1+√5/2 | ζ3ζ54-ζ3ζ5-ζ5 | ζ3ζ54-ζ3ζ5-ζ5 | ζ3ζ53-ζ3ζ52-ζ52 | ζ3ζ53-ζ3ζ52-ζ52 | ζ3ζ53-ζ3ζ52-ζ52 | -ζ3ζ53+ζ3ζ52-ζ53 | -ζ3ζ53+ζ3ζ52-ζ53 | -ζ3ζ53+ζ3ζ52-ζ53 | ζ32ζ54-ζ32ζ5-ζ5 | ζ32ζ54-ζ32ζ5-ζ5 | ζ32ζ54-ζ32ζ5-ζ5 | ζ3ζ54-ζ3ζ5-ζ5 | orthogonal lifted from D15 |
ρ11 | 2 | 0 | 2 | -1+√5/2 | -1-√5/2 | -1 | -1 | -1 | -1+√5/2 | -1-√5/2 | -1-√5/2 | -1+√5/2 | ζ32ζ54-ζ32ζ5-ζ5 | ζ32ζ54-ζ32ζ5-ζ5 | -ζ3ζ53+ζ3ζ52-ζ53 | -ζ3ζ53+ζ3ζ52-ζ53 | -ζ3ζ53+ζ3ζ52-ζ53 | ζ3ζ53-ζ3ζ52-ζ52 | ζ3ζ53-ζ3ζ52-ζ52 | ζ3ζ53-ζ3ζ52-ζ52 | ζ3ζ54-ζ3ζ5-ζ5 | ζ3ζ54-ζ3ζ5-ζ5 | ζ3ζ54-ζ3ζ5-ζ5 | ζ32ζ54-ζ32ζ5-ζ5 | orthogonal lifted from D15 |
ρ12 | 2 | 0 | 2 | -1-√5/2 | -1+√5/2 | -1 | -1 | -1 | -1-√5/2 | -1+√5/2 | -1+√5/2 | -1-√5/2 | ζ3ζ53-ζ3ζ52-ζ52 | ζ3ζ53-ζ3ζ52-ζ52 | ζ32ζ54-ζ32ζ5-ζ5 | ζ32ζ54-ζ32ζ5-ζ5 | ζ32ζ54-ζ32ζ5-ζ5 | ζ3ζ54-ζ3ζ5-ζ5 | ζ3ζ54-ζ3ζ5-ζ5 | ζ3ζ54-ζ3ζ5-ζ5 | -ζ3ζ53+ζ3ζ52-ζ53 | -ζ3ζ53+ζ3ζ52-ζ53 | -ζ3ζ53+ζ3ζ52-ζ53 | ζ3ζ53-ζ3ζ52-ζ52 | orthogonal lifted from D15 |
ρ13 | 2 | 0 | -1 | -1-√5/2 | -1+√5/2 | ζ97+ζ92 | ζ95+ζ94 | ζ98+ζ9 | ζ93ζ53-ζ93ζ52-ζ52 | -ζ96ζ54+ζ96ζ5-ζ54 | -ζ93ζ54+ζ93ζ5-ζ54 | -ζ93ζ53+ζ93ζ52-ζ53 | ζ98ζ53+ζ9ζ52 | ζ97ζ52+ζ92ζ53 | ζ95ζ5+ζ94ζ54 | ζ98ζ5+ζ9ζ54 | ζ97ζ54+ζ92ζ5 | ζ95ζ54+ζ94ζ5 | ζ98ζ54+ζ9ζ5 | ζ97ζ5+ζ92ζ54 | ζ95ζ52+ζ94ζ53 | ζ98ζ52+ζ9ζ53 | ζ97ζ53+ζ92ζ52 | ζ95ζ53+ζ94ζ52 | orthogonal faithful |
ρ14 | 2 | 0 | -1 | -1+√5/2 | -1-√5/2 | ζ98+ζ9 | ζ97+ζ92 | ζ95+ζ94 | -ζ93ζ54+ζ93ζ5-ζ54 | ζ93ζ53-ζ93ζ52-ζ52 | -ζ93ζ53+ζ93ζ52-ζ53 | -ζ96ζ54+ζ96ζ5-ζ54 | ζ95ζ5+ζ94ζ54 | ζ98ζ5+ζ9ζ54 | ζ97ζ53+ζ92ζ52 | ζ95ζ52+ζ94ζ53 | ζ98ζ52+ζ9ζ53 | ζ97ζ52+ζ92ζ53 | ζ95ζ53+ζ94ζ52 | ζ98ζ53+ζ9ζ52 | ζ97ζ5+ζ92ζ54 | ζ95ζ54+ζ94ζ5 | ζ98ζ54+ζ9ζ5 | ζ97ζ54+ζ92ζ5 | orthogonal faithful |
ρ15 | 2 | 0 | -1 | -1+√5/2 | -1-√5/2 | ζ95+ζ94 | ζ98+ζ9 | ζ97+ζ92 | -ζ96ζ54+ζ96ζ5-ζ54 | -ζ93ζ53+ζ93ζ52-ζ53 | ζ93ζ53-ζ93ζ52-ζ52 | -ζ93ζ54+ζ93ζ5-ζ54 | ζ97ζ5+ζ92ζ54 | ζ95ζ54+ζ94ζ5 | ζ98ζ53+ζ9ζ52 | ζ97ζ52+ζ92ζ53 | ζ95ζ53+ζ94ζ52 | ζ98ζ52+ζ9ζ53 | ζ97ζ53+ζ92ζ52 | ζ95ζ52+ζ94ζ53 | ζ98ζ5+ζ9ζ54 | ζ97ζ54+ζ92ζ5 | ζ95ζ5+ζ94ζ54 | ζ98ζ54+ζ9ζ5 | orthogonal faithful |
ρ16 | 2 | 0 | -1 | -1-√5/2 | -1+√5/2 | ζ95+ζ94 | ζ98+ζ9 | ζ97+ζ92 | ζ93ζ53-ζ93ζ52-ζ52 | -ζ96ζ54+ζ96ζ5-ζ54 | -ζ93ζ54+ζ93ζ5-ζ54 | -ζ93ζ53+ζ93ζ52-ζ53 | ζ97ζ52+ζ92ζ53 | ζ95ζ53+ζ94ζ52 | ζ98ζ5+ζ9ζ54 | ζ97ζ54+ζ92ζ5 | ζ95ζ5+ζ94ζ54 | ζ98ζ54+ζ9ζ5 | ζ97ζ5+ζ92ζ54 | ζ95ζ54+ζ94ζ5 | ζ98ζ52+ζ9ζ53 | ζ97ζ53+ζ92ζ52 | ζ95ζ52+ζ94ζ53 | ζ98ζ53+ζ9ζ52 | orthogonal faithful |
ρ17 | 2 | 0 | -1 | -1-√5/2 | -1+√5/2 | ζ98+ζ9 | ζ97+ζ92 | ζ95+ζ94 | -ζ93ζ53+ζ93ζ52-ζ53 | -ζ93ζ54+ζ93ζ5-ζ54 | -ζ96ζ54+ζ96ζ5-ζ54 | ζ93ζ53-ζ93ζ52-ζ52 | ζ95ζ52+ζ94ζ53 | ζ98ζ52+ζ9ζ53 | ζ97ζ5+ζ92ζ54 | ζ95ζ54+ζ94ζ5 | ζ98ζ54+ζ9ζ5 | ζ97ζ54+ζ92ζ5 | ζ95ζ5+ζ94ζ54 | ζ98ζ5+ζ9ζ54 | ζ97ζ52+ζ92ζ53 | ζ95ζ53+ζ94ζ52 | ζ98ζ53+ζ9ζ52 | ζ97ζ53+ζ92ζ52 | orthogonal faithful |
ρ18 | 2 | 0 | -1 | -1+√5/2 | -1-√5/2 | ζ97+ζ92 | ζ95+ζ94 | ζ98+ζ9 | -ζ96ζ54+ζ96ζ5-ζ54 | -ζ93ζ53+ζ93ζ52-ζ53 | ζ93ζ53-ζ93ζ52-ζ52 | -ζ93ζ54+ζ93ζ5-ζ54 | ζ98ζ54+ζ9ζ5 | ζ97ζ5+ζ92ζ54 | ζ95ζ53+ζ94ζ52 | ζ98ζ53+ζ9ζ52 | ζ97ζ52+ζ92ζ53 | ζ95ζ52+ζ94ζ53 | ζ98ζ52+ζ9ζ53 | ζ97ζ53+ζ92ζ52 | ζ95ζ5+ζ94ζ54 | ζ98ζ5+ζ9ζ54 | ζ97ζ54+ζ92ζ5 | ζ95ζ54+ζ94ζ5 | orthogonal faithful |
ρ19 | 2 | 0 | -1 | -1+√5/2 | -1-√5/2 | ζ97+ζ92 | ζ95+ζ94 | ζ98+ζ9 | -ζ93ζ54+ζ93ζ5-ζ54 | ζ93ζ53-ζ93ζ52-ζ52 | -ζ93ζ53+ζ93ζ52-ζ53 | -ζ96ζ54+ζ96ζ5-ζ54 | ζ98ζ5+ζ9ζ54 | ζ97ζ54+ζ92ζ5 | ζ95ζ52+ζ94ζ53 | ζ98ζ52+ζ9ζ53 | ζ97ζ53+ζ92ζ52 | ζ95ζ53+ζ94ζ52 | ζ98ζ53+ζ9ζ52 | ζ97ζ52+ζ92ζ53 | ζ95ζ54+ζ94ζ5 | ζ98ζ54+ζ9ζ5 | ζ97ζ5+ζ92ζ54 | ζ95ζ5+ζ94ζ54 | orthogonal faithful |
ρ20 | 2 | 0 | -1 | -1-√5/2 | -1+√5/2 | ζ95+ζ94 | ζ98+ζ9 | ζ97+ζ92 | -ζ93ζ53+ζ93ζ52-ζ53 | -ζ93ζ54+ζ93ζ5-ζ54 | -ζ96ζ54+ζ96ζ5-ζ54 | ζ93ζ53-ζ93ζ52-ζ52 | ζ97ζ53+ζ92ζ52 | ζ95ζ52+ζ94ζ53 | ζ98ζ54+ζ9ζ5 | ζ97ζ5+ζ92ζ54 | ζ95ζ54+ζ94ζ5 | ζ98ζ5+ζ9ζ54 | ζ97ζ54+ζ92ζ5 | ζ95ζ5+ζ94ζ54 | ζ98ζ53+ζ9ζ52 | ζ97ζ52+ζ92ζ53 | ζ95ζ53+ζ94ζ52 | ζ98ζ52+ζ9ζ53 | orthogonal faithful |
ρ21 | 2 | 0 | -1 | -1-√5/2 | -1+√5/2 | ζ97+ζ92 | ζ95+ζ94 | ζ98+ζ9 | -ζ93ζ53+ζ93ζ52-ζ53 | -ζ93ζ54+ζ93ζ5-ζ54 | -ζ96ζ54+ζ96ζ5-ζ54 | ζ93ζ53-ζ93ζ52-ζ52 | ζ98ζ52+ζ9ζ53 | ζ97ζ53+ζ92ζ52 | ζ95ζ54+ζ94ζ5 | ζ98ζ54+ζ9ζ5 | ζ97ζ5+ζ92ζ54 | ζ95ζ5+ζ94ζ54 | ζ98ζ5+ζ9ζ54 | ζ97ζ54+ζ92ζ5 | ζ95ζ53+ζ94ζ52 | ζ98ζ53+ζ9ζ52 | ζ97ζ52+ζ92ζ53 | ζ95ζ52+ζ94ζ53 | orthogonal faithful |
ρ22 | 2 | 0 | -1 | -1+√5/2 | -1-√5/2 | ζ95+ζ94 | ζ98+ζ9 | ζ97+ζ92 | -ζ93ζ54+ζ93ζ5-ζ54 | ζ93ζ53-ζ93ζ52-ζ52 | -ζ93ζ53+ζ93ζ52-ζ53 | -ζ96ζ54+ζ96ζ5-ζ54 | ζ97ζ54+ζ92ζ5 | ζ95ζ5+ζ94ζ54 | ζ98ζ52+ζ9ζ53 | ζ97ζ53+ζ92ζ52 | ζ95ζ52+ζ94ζ53 | ζ98ζ53+ζ9ζ52 | ζ97ζ52+ζ92ζ53 | ζ95ζ53+ζ94ζ52 | ζ98ζ54+ζ9ζ5 | ζ97ζ5+ζ92ζ54 | ζ95ζ54+ζ94ζ5 | ζ98ζ5+ζ9ζ54 | orthogonal faithful |
ρ23 | 2 | 0 | -1 | -1-√5/2 | -1+√5/2 | ζ98+ζ9 | ζ97+ζ92 | ζ95+ζ94 | ζ93ζ53-ζ93ζ52-ζ52 | -ζ96ζ54+ζ96ζ5-ζ54 | -ζ93ζ54+ζ93ζ5-ζ54 | -ζ93ζ53+ζ93ζ52-ζ53 | ζ95ζ53+ζ94ζ52 | ζ98ζ53+ζ9ζ52 | ζ97ζ54+ζ92ζ5 | ζ95ζ5+ζ94ζ54 | ζ98ζ5+ζ9ζ54 | ζ97ζ5+ζ92ζ54 | ζ95ζ54+ζ94ζ5 | ζ98ζ54+ζ9ζ5 | ζ97ζ53+ζ92ζ52 | ζ95ζ52+ζ94ζ53 | ζ98ζ52+ζ9ζ53 | ζ97ζ52+ζ92ζ53 | orthogonal faithful |
ρ24 | 2 | 0 | -1 | -1+√5/2 | -1-√5/2 | ζ98+ζ9 | ζ97+ζ92 | ζ95+ζ94 | -ζ96ζ54+ζ96ζ5-ζ54 | -ζ93ζ53+ζ93ζ52-ζ53 | ζ93ζ53-ζ93ζ52-ζ52 | -ζ93ζ54+ζ93ζ5-ζ54 | ζ95ζ54+ζ94ζ5 | ζ98ζ54+ζ9ζ5 | ζ97ζ52+ζ92ζ53 | ζ95ζ53+ζ94ζ52 | ζ98ζ53+ζ9ζ52 | ζ97ζ53+ζ92ζ52 | ζ95ζ52+ζ94ζ53 | ζ98ζ52+ζ9ζ53 | ζ97ζ54+ζ92ζ5 | ζ95ζ5+ζ94ζ54 | ζ98ζ5+ζ9ζ54 | ζ97ζ5+ζ92ζ54 | orthogonal 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 32 33 34 35 36 37 38 39 40 41 42 43 44 45)
(2 45)(3 44)(4 43)(5 42)(6 41)(7 40)(8 39)(9 38)(10 37)(11 36)(12 35)(13 34)(14 33)(15 32)(16 31)(17 30)(18 29)(19 28)(20 27)(21 26)(22 25)(23 24)
G:=sub<Sym(45)| (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,33,34,35,36,37,38,39,40,41,42,43,44,45), (2,45)(3,44)(4,43)(5,42)(6,41)(7,40)(8,39)(9,38)(10,37)(11,36)(12,35)(13,34)(14,33)(15,32)(16,31)(17,30)(18,29)(19,28)(20,27)(21,26)(22,25)(23,24)>;
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,32,33,34,35,36,37,38,39,40,41,42,43,44,45), (2,45)(3,44)(4,43)(5,42)(6,41)(7,40)(8,39)(9,38)(10,37)(11,36)(12,35)(13,34)(14,33)(15,32)(16,31)(17,30)(18,29)(19,28)(20,27)(21,26)(22,25)(23,24) );
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,32,33,34,35,36,37,38,39,40,41,42,43,44,45)], [(2,45),(3,44),(4,43),(5,42),(6,41),(7,40),(8,39),(9,38),(10,37),(11,36),(12,35),(13,34),(14,33),(15,32),(16,31),(17,30),(18,29),(19,28),(20,27),(21,26),(22,25),(23,24)]])
D45 is a maximal subgroup of
D5×D9 D135 D45⋊C3 C3⋊D45 C22⋊D45 D225 C5⋊D45
D45 is a maximal quotient of Dic45 D135 C3⋊D45 C22⋊D45 D225 C5⋊D45
Matrix representation of D45 ►in GL4(𝔽181) generated by
177 | 50 | 0 | 0 |
131 | 127 | 0 | 0 |
0 | 0 | 32 | 167 |
0 | 0 | 45 | 167 |
1 | 0 | 0 | 0 |
180 | 180 | 0 | 0 |
0 | 0 | 1 | 0 |
0 | 0 | 55 | 180 |
G:=sub<GL(4,GF(181))| [177,131,0,0,50,127,0,0,0,0,32,45,0,0,167,167],[1,180,0,0,0,180,0,0,0,0,1,55,0,0,0,180] >;
D45 in GAP, Magma, Sage, TeX
D_{45}
% in TeX
G:=Group("D45");
// GroupNames label
G:=SmallGroup(90,3);
// by ID
G=gap.SmallGroup(90,3);
# by ID
G:=PCGroup([4,-2,-3,-5,-3,273,245,290,963]);
// Polycyclic
G:=Group<a,b|a^45=b^2=1,b*a*b=a^-1>;
// generators/relations
Export
Subgroup lattice of D45 in TeX
Character table of D45 in TeX