↑

Properties

Label 15T3
Degree $15$
Order $30$
Cyclic no
Abelian no
Solvable yes
Primitive no
$p$-group no
Group: $D_5\times C_3$

Related objects

Downloads

Learn more

Show commands: Magma

magma: G := TransitiveGroup(15, 3);
 

Group action invariants

Degree $n$:  $15$
magma: t, n := TransitiveGroupIdentification(G); n;
 
Transitive number $t$:  $3$
magma: t, n := TransitiveGroupIdentification(G); t;
 
Group:  $D_5\times C_3$
CHM label:  $D(5)[x]3$
Parity:  $1$
magma: IsEven(G);
 
Primitive:  no
magma: IsPrimitive(G);
 
magma: NilpotencyClass(G);
 
$\card{\Aut(F/K)}$:  $3$
magma: Order(Centralizer(SymmetricGroup(n), G));
 
Generators:  (1,4)(2,8)(3,12)(6,9)(7,13)(11,14), (1,2,3,4,5,6,7,8,9,10,11,12,13,14,15)
magma: Generators(G);
 

Low degree resolvents

|G/N|Galois groups for stem field(s)
$2$:  $C_2$
$3$:  $C_3$
$6$:  $C_6$
$10$:  $D_{5}$

Resolvents shown for degrees $\leq 47$

Subfields

Degree 3: $C_3$

Degree 5: $D_{5}$

Low degree siblings

30T4

Siblings are shown with degree $\leq 47$

A number field with this Galois group has no arithmetically equivalent fields.

Conjugacy classes

Cycle TypeSizeOrderRepresentative
$ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 $ $1$ $1$ $()$
$ 2, 2, 2, 2, 2, 2, 1, 1, 1 $ $5$ $2$ $( 2, 5)( 3, 9)( 4,13)( 7,10)( 8,14)(12,15)$
$ 15 $ $2$ $15$ $( 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15)$
$ 6, 6, 3 $ $5$ $6$ $( 1, 2, 6, 7,11,12)( 3,10, 8,15,13, 5)( 4,14, 9)$
$ 15 $ $2$ $15$ $( 1, 3, 5, 7, 9,11,13,15, 2, 4, 6, 8,10,12,14)$
$ 6, 6, 3 $ $5$ $6$ $( 1, 3,11,13, 6, 8)( 2, 7,12)( 4,15,14,10, 9, 5)$
$ 5, 5, 5 $ $2$ $5$ $( 1, 4, 7,10,13)( 2, 5, 8,11,14)( 3, 6, 9,12,15)$
$ 3, 3, 3, 3, 3 $ $1$ $3$ $( 1, 6,11)( 2, 7,12)( 3, 8,13)( 4, 9,14)( 5,10,15)$
$ 5, 5, 5 $ $2$ $5$ $( 1, 7,13, 4,10)( 2, 8,14, 5,11)( 3, 9,15, 6,12)$
$ 15 $ $2$ $15$ $( 1, 8,15, 7,14, 6,13, 5,12, 4,11, 3,10, 2, 9)$
$ 3, 3, 3, 3, 3 $ $1$ $3$ $( 1,11, 6)( 2,12, 7)( 3,13, 8)( 4,14, 9)( 5,15,10)$
$ 15 $ $2$ $15$ $( 1,12, 8, 4,15,11, 7, 3,14,10, 6, 2,13, 9, 5)$

magma: ConjugacyClasses(G);
 

Group invariants

Order:  $30=2 \cdot 3 \cdot 5$
magma: Order(G);
 
Cyclic:  no
magma: IsCyclic(G);
 
Abelian:  no
magma: IsAbelian(G);
 
Solvable:  yes
magma: IsSolvable(G);
 
Nilpotency class:   not nilpotent
Label:  30.2
magma: IdentifyGroup(G);
 
Character table:    
      2  1  1   .   1   .   1  .  1  .   .  1   .
      3  1  1   1   1   1   1  1  1  1   1  1   1
      5  1  .   1   .   1   .  1  1  1   1  1   1

        1a 2a 15a  6a 15b  6b 5a 3a 5b 15c 3b 15d
     2P 1a 1a 15b  3a 15a  3b 5b 3b 5a 15d 3a 15c
     3P 1a 2a  5a  2a  5b  2a 5b 1a 5a  5b 1a  5a
     5P 1a 2a  3a  6b  3b  6a 1a 3b 1a  3a 3a  3b
     7P 1a 2a 15c  6a 15d  6b 5b 3a 5a 15a 3b 15b
    11P 1a 2a 15d  6b 15c  6a 5a 3b 5b 15b 3a 15a
    13P 1a 2a 15c  6a 15d  6b 5b 3a 5a 15a 3b 15b

X.1      1  1   1   1   1   1  1  1  1   1  1   1
X.2      1 -1   1  -1   1  -1  1  1  1   1  1   1
X.3      1 -1   A  -A  /A -/A  1 /A  1   A  A  /A
X.4      1 -1  /A -/A   A  -A  1  A  1  /A /A   A
X.5      1  1   A   A  /A  /A  1 /A  1   A  A  /A
X.6      1  1  /A  /A   A   A  1  A  1  /A /A   A
X.7      2  .   B   .   C   . *D  E  D  /C /E  /B
X.8      2  .   C   .   B   .  D /E *D  /B  E  /C
X.9      2  .  /C   .  /B   .  D  E *D   B /E   C
X.10     2  .  /B   .  /C   . *D /E  D   C  E   B
X.11     2  .   D   .  *D   . *D  2  D  *D  2   D
X.12     2  .  *D   .   D   .  D  2 *D   D  2  *D

A = E(3)^2
  = (-1-Sqrt(-3))/2 = -1-b3
B = E(15)^2+E(15)^8
C = E(15)+E(15)^4
D = E(5)+E(5)^4
  = (-1+Sqrt(5))/2 = b5
E = 2*E(3)^2
  = -1-Sqrt(-3) = -1-i3

magma: CharacterTable(G);