| Presentation: |
${\langle a, b, c, d, e, f \mid b^{12}=c^{3}=d^{3}=e^{3}=f^{3}=[c,d]=[c,e]= \!\cdots\! \rangle}$
|
magma:G := PCGroup([8, -2, -2, -2, -3, -3, 3, -3, 3, 96, 225, 41, 66, 68164, 18732, 13460, 6628, 16133, 16717, 12117, 5645, 72582, 42350, 6070, 13831, 55311, 20759]); a,b,c,d,e,f := Explode([G.1, G.2, G.5, G.6, G.7, G.8]); AssignNames(~G, ["a", "b", "b2", "b4", "c", "d", "e", "f"]);
gap:G := PcGroupCode(2846413238178539785685225181832678586897982556016441737899179027236639,1944); a := G.1; b := G.2; c := G.5; d := G.6; e := G.7; f := G.8;
sage:# This uses Sage's interface to GAP, as Sage (currently) has no native support for PC groups
G = gap.new('PcGroupCode(2846413238178539785685225181832678586897982556016441737899179027236639,1944)'); a = G.1; b = G.2; c = G.5; d = G.6; e = G.7; f = G.8;
sage_gap:# This uses Sage's interface to GAP, as Sage (currently) has no native support for PC groups
G = gap.new('PcGroupCode(2846413238178539785685225181832678586897982556016441737899179027236639,1944)'); a = G.1; b = G.2; c = G.5; d = G.6; e = G.7; f = G.8;
|
| Permutation group: | Degree $27$
$\langle(2,5,3,9)(4,8,7,6)(11,14,12,18)(13,17,16,15)(20,23,21,27)(22,26,25,24), (2,8,3,6) \!\cdots\! \rangle$
|
magma:G := PermutationGroup< 27 | (2,5,3,9)(4,8,7,6)(11,14,12,18)(13,17,16,15)(20,23,21,27)(22,26,25,24), (2,8,3,6)(4,9,7,5)(11,17,12,15)(13,18,16,14)(20,26,21,24)(22,27,25,23), (1,19,10)(2,20,11)(3,21,12)(4,22,13)(5,23,14)(6,24,15)(7,25,16)(8,26,17)(9,27,18), (2,3)(4,7)(5,9)(6,8)(11,12)(13,16)(14,18)(15,17)(20,21)(22,25)(23,27)(24,26), (10,13,16)(11,14,17)(12,15,18)(19,25,22)(20,26,23)(21,27,24), (10,17,15)(11,18,13)(12,16,14)(19,24,26)(20,22,27)(21,23,25), (1,7,4)(2,8,5)(3,9,6)(10,16,13)(11,17,14)(12,18,15)(19,25,22)(20,26,23)(21,27,24), (1,3,2)(4,6,5)(7,9,8)(10,12,11)(13,15,14)(16,18,17)(19,21,20)(22,24,23)(25,27,26) >;
gap:G := Group( (2,5,3,9)(4,8,7,6)(11,14,12,18)(13,17,16,15)(20,23,21,27)(22,26,25,24), (2,8,3,6)(4,9,7,5)(11,17,12,15)(13,18,16,14)(20,26,21,24)(22,27,25,23), (1,19,10)(2,20,11)(3,21,12)(4,22,13)(5,23,14)(6,24,15)(7,25,16)(8,26,17)(9,27,18), (2,3)(4,7)(5,9)(6,8)(11,12)(13,16)(14,18)(15,17)(20,21)(22,25)(23,27)(24,26), (10,13,16)(11,14,17)(12,15,18)(19,25,22)(20,26,23)(21,27,24), (10,17,15)(11,18,13)(12,16,14)(19,24,26)(20,22,27)(21,23,25), (1,7,4)(2,8,5)(3,9,6)(10,16,13)(11,17,14)(12,18,15)(19,25,22)(20,26,23)(21,27,24), (1,3,2)(4,6,5)(7,9,8)(10,12,11)(13,15,14)(16,18,17)(19,21,20)(22,24,23)(25,27,26) );
sage:G = PermutationGroup(['(2,5,3,9)(4,8,7,6)(11,14,12,18)(13,17,16,15)(20,23,21,27)(22,26,25,24)', '(2,8,3,6)(4,9,7,5)(11,17,12,15)(13,18,16,14)(20,26,21,24)(22,27,25,23)', '(1,19,10)(2,20,11)(3,21,12)(4,22,13)(5,23,14)(6,24,15)(7,25,16)(8,26,17)(9,27,18)', '(2,3)(4,7)(5,9)(6,8)(11,12)(13,16)(14,18)(15,17)(20,21)(22,25)(23,27)(24,26)', '(10,13,16)(11,14,17)(12,15,18)(19,25,22)(20,26,23)(21,27,24)', '(10,17,15)(11,18,13)(12,16,14)(19,24,26)(20,22,27)(21,23,25)', '(1,7,4)(2,8,5)(3,9,6)(10,16,13)(11,17,14)(12,18,15)(19,25,22)(20,26,23)(21,27,24)', '(1,3,2)(4,6,5)(7,9,8)(10,12,11)(13,15,14)(16,18,17)(19,21,20)(22,24,23)(25,27,26)'])
sage_gap:G = gap.new('Group( (2,5,3,9)(4,8,7,6)(11,14,12,18)(13,17,16,15)(20,23,21,27)(22,26,25,24), (2,8,3,6)(4,9,7,5)(11,17,12,15)(13,18,16,14)(20,26,21,24)(22,27,25,23), (1,19,10)(2,20,11)(3,21,12)(4,22,13)(5,23,14)(6,24,15)(7,25,16)(8,26,17)(9,27,18), (2,3)(4,7)(5,9)(6,8)(11,12)(13,16)(14,18)(15,17)(20,21)(22,25)(23,27)(24,26), (10,13,16)(11,14,17)(12,15,18)(19,25,22)(20,26,23)(21,27,24), (10,17,15)(11,18,13)(12,16,14)(19,24,26)(20,22,27)(21,23,25), (1,7,4)(2,8,5)(3,9,6)(10,16,13)(11,17,14)(12,18,15)(19,25,22)(20,26,23)(21,27,24), (1,3,2)(4,6,5)(7,9,8)(10,12,11)(13,15,14)(16,18,17)(19,21,20)(22,24,23)(25,27,26) )')
oscar:G = @permutation_group(27, (2,5,3,9)(4,8,7,6)(11,14,12,18)(13,17,16,15)(20,23,21,27)(22,26,25,24), (2,8,3,6)(4,9,7,5)(11,17,12,15)(13,18,16,14)(20,26,21,24)(22,27,25,23), (1,19,10)(2,20,11)(3,21,12)(4,22,13)(5,23,14)(6,24,15)(7,25,16)(8,26,17)(9,27,18), (2,3)(4,7)(5,9)(6,8)(11,12)(13,16)(14,18)(15,17)(20,21)(22,25)(23,27)(24,26), (10,13,16)(11,14,17)(12,15,18)(19,25,22)(20,26,23)(21,27,24), (10,17,15)(11,18,13)(12,16,14)(19,24,26)(20,22,27)(21,23,25), (1,7,4)(2,8,5)(3,9,6)(10,16,13)(11,17,14)(12,18,15)(19,25,22)(20,26,23)(21,27,24), (1,3,2)(4,6,5)(7,9,8)(10,12,11)(13,15,14)(16,18,17)(19,21,20)(22,24,23)(25,27,26))
|
| Matrix group: | $\left\langle \left(\begin{array}{rrrr}
1 & 0 & 0 & 0 \\
0 & 0 & 1 & 1 \\
1 & 2 & 1 & 1 \\
0 & 1 & 2 & 0
\end{array}\right), \left(\begin{array}{rrrr}
0 & 0 & 1 & 0 \\
0 & 1 & 0 & 0 \\
2 & 0 & 2 & 0 \\
1 & 0 & 2 & 1
\end{array}\right), \left(\begin{array}{rrrr}
1 & 0 & 0 & 0 \\
1 & 1 & 2 & 0 \\
0 & 0 & 1 & 0 \\
1 & 0 & 2 & 1
\end{array}\right), \left(\begin{array}{rrrr}
2 & 0 & 0 & 1 \\
0 & 1 & 0 & 0 \\
1 & 0 & 1 & 1 \\
2 & 0 & 0 & 0
\end{array}\right), \left(\begin{array}{rrrr}
2 & 0 & 2 & 0 \\
0 & 0 & 1 & 1 \\
1 & 1 & 2 & 2 \\
0 & 0 & 0 & 1
\end{array}\right), \left(\begin{array}{rrrr}
2 & 2 & 0 & 1 \\
0 & 1 & 0 & 0 \\
1 & 2 & 1 & 1 \\
2 & 1 & 0 & 0
\end{array}\right), \left(\begin{array}{rrrr}
1 & 0 & 0 & 0 \\
0 & 0 & 1 & 1 \\
0 & 0 & 1 & 0 \\
0 & 2 & 1 & 2
\end{array}\right), \left(\begin{array}{rrrr}
1 & 1 & 2 & 2 \\
0 & 1 & 0 & 0 \\
2 & 1 & 1 & 2 \\
1 & 1 & 1 & 0
\end{array}\right) \right\rangle \subseteq \GL_{4}(\F_{3})$ |
magma:G := MatrixGroup< 4, GF(3) | [[1, 0, 0, 0, 0, 0, 1, 1, 1, 2, 1, 1, 0, 1, 2, 0], [0, 0, 1, 0, 0, 1, 0, 0, 2, 0, 2, 0, 1, 0, 2, 1], [1, 0, 0, 0, 1, 1, 2, 0, 0, 0, 1, 0, 1, 0, 2, 1], [2, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 1, 2, 0, 0, 0], [2, 0, 2, 0, 0, 0, 1, 1, 1, 1, 2, 2, 0, 0, 0, 1], [2, 2, 0, 1, 0, 1, 0, 0, 1, 2, 1, 1, 2, 1, 0, 0], [1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 2, 1, 2], [1, 1, 2, 2, 0, 1, 0, 0, 2, 1, 1, 2, 1, 1, 1, 0]] >;
gap:G := Group([[[ Z(3)^0, 0*Z(3), 0*Z(3), 0*Z(3) ], [ 0*Z(3), 0*Z(3), Z(3)^0, Z(3)^0 ], [ Z(3)^0, Z(3), Z(3)^0, Z(3)^0 ], [ 0*Z(3), Z(3)^0, Z(3), 0*Z(3) ]], [[ 0*Z(3), 0*Z(3), Z(3)^0, 0*Z(3) ], [ 0*Z(3), Z(3)^0, 0*Z(3), 0*Z(3) ], [ Z(3), 0*Z(3), Z(3), 0*Z(3) ], [ Z(3)^0, 0*Z(3), Z(3), Z(3)^0 ]], [[ Z(3)^0, 0*Z(3), 0*Z(3), 0*Z(3) ], [ Z(3)^0, Z(3)^0, Z(3), 0*Z(3) ], [ 0*Z(3), 0*Z(3), Z(3)^0, 0*Z(3) ], [ Z(3)^0, 0*Z(3), Z(3), Z(3)^0 ]], [[ Z(3), 0*Z(3), 0*Z(3), Z(3)^0 ], [ 0*Z(3), Z(3)^0, 0*Z(3), 0*Z(3) ], [ Z(3)^0, 0*Z(3), Z(3)^0, Z(3)^0 ], [ Z(3), 0*Z(3), 0*Z(3), 0*Z(3) ]], [[ Z(3), 0*Z(3), Z(3), 0*Z(3) ], [ 0*Z(3), 0*Z(3), Z(3)^0, Z(3)^0 ], [ Z(3)^0, Z(3)^0, Z(3), Z(3) ], [ 0*Z(3), 0*Z(3), 0*Z(3), Z(3)^0 ]], [[ Z(3), Z(3), 0*Z(3), Z(3)^0 ], [ 0*Z(3), Z(3)^0, 0*Z(3), 0*Z(3) ], [ Z(3)^0, Z(3), Z(3)^0, Z(3)^0 ], [ Z(3), Z(3)^0, 0*Z(3), 0*Z(3) ]], [[ Z(3)^0, 0*Z(3), 0*Z(3), 0*Z(3) ], [ 0*Z(3), 0*Z(3), Z(3)^0, Z(3)^0 ], [ 0*Z(3), 0*Z(3), Z(3)^0, 0*Z(3) ], [ 0*Z(3), Z(3), Z(3)^0, Z(3) ]], [[ Z(3)^0, Z(3)^0, Z(3), Z(3) ], [ 0*Z(3), Z(3)^0, 0*Z(3), 0*Z(3) ], [ Z(3), Z(3)^0, Z(3)^0, Z(3) ], [ Z(3)^0, Z(3)^0, Z(3)^0, 0*Z(3) ]]]);
sage:MS = MatrixSpace(GF(3), 4, 4)
G = MatrixGroup([MS([[1, 0, 0, 0], [0, 0, 1, 1], [1, 2, 1, 1], [0, 1, 2, 0]]), MS([[0, 0, 1, 0], [0, 1, 0, 0], [2, 0, 2, 0], [1, 0, 2, 1]]), MS([[1, 0, 0, 0], [1, 1, 2, 0], [0, 0, 1, 0], [1, 0, 2, 1]]), MS([[2, 0, 0, 1], [0, 1, 0, 0], [1, 0, 1, 1], [2, 0, 0, 0]]), MS([[2, 0, 2, 0], [0, 0, 1, 1], [1, 1, 2, 2], [0, 0, 0, 1]]), MS([[2, 2, 0, 1], [0, 1, 0, 0], [1, 2, 1, 1], [2, 1, 0, 0]]), MS([[1, 0, 0, 0], [0, 0, 1, 1], [0, 0, 1, 0], [0, 2, 1, 2]]), MS([[1, 1, 2, 2], [0, 1, 0, 0], [2, 1, 1, 2], [1, 1, 1, 0]])])
sage_gap:G = gap.new('Group([[[ Z(3)^0, 0*Z(3), 0*Z(3), 0*Z(3) ], [ 0*Z(3), 0*Z(3), Z(3)^0, Z(3)^0 ], [ Z(3)^0, Z(3), Z(3)^0, Z(3)^0 ], [ 0*Z(3), Z(3)^0, Z(3), 0*Z(3) ]], [[ 0*Z(3), 0*Z(3), Z(3)^0, 0*Z(3) ], [ 0*Z(3), Z(3)^0, 0*Z(3), 0*Z(3) ], [ Z(3), 0*Z(3), Z(3), 0*Z(3) ], [ Z(3)^0, 0*Z(3), Z(3), Z(3)^0 ]], [[ Z(3)^0, 0*Z(3), 0*Z(3), 0*Z(3) ], [ Z(3)^0, Z(3)^0, Z(3), 0*Z(3) ], [ 0*Z(3), 0*Z(3), Z(3)^0, 0*Z(3) ], [ Z(3)^0, 0*Z(3), Z(3), Z(3)^0 ]], [[ Z(3), 0*Z(3), 0*Z(3), Z(3)^0 ], [ 0*Z(3), Z(3)^0, 0*Z(3), 0*Z(3) ], [ Z(3)^0, 0*Z(3), Z(3)^0, Z(3)^0 ], [ Z(3), 0*Z(3), 0*Z(3), 0*Z(3) ]], [[ Z(3), 0*Z(3), Z(3), 0*Z(3) ], [ 0*Z(3), 0*Z(3), Z(3)^0, Z(3)^0 ], [ Z(3)^0, Z(3)^0, Z(3), Z(3) ], [ 0*Z(3), 0*Z(3), 0*Z(3), Z(3)^0 ]], [[ Z(3), Z(3), 0*Z(3), Z(3)^0 ], [ 0*Z(3), Z(3)^0, 0*Z(3), 0*Z(3) ], [ Z(3)^0, Z(3), Z(3)^0, Z(3)^0 ], [ Z(3), Z(3)^0, 0*Z(3), 0*Z(3) ]], [[ Z(3)^0, 0*Z(3), 0*Z(3), 0*Z(3) ], [ 0*Z(3), 0*Z(3), Z(3)^0, Z(3)^0 ], [ 0*Z(3), 0*Z(3), Z(3)^0, 0*Z(3) ], [ 0*Z(3), Z(3), Z(3)^0, Z(3) ]], [[ Z(3)^0, Z(3)^0, Z(3), Z(3) ], [ 0*Z(3), Z(3)^0, 0*Z(3), 0*Z(3) ], [ Z(3), Z(3)^0, Z(3)^0, Z(3) ], [ Z(3)^0, Z(3)^0, Z(3)^0, 0*Z(3) ]]])')
oscar:G = matrix_group([matrix(GF(3), [[1, 0, 0, 0], [0, 0, 1, 1], [1, 2, 1, 1], [0, 1, 2, 0]]), matrix(GF(3), [[0, 0, 1, 0], [0, 1, 0, 0], [2, 0, 2, 0], [1, 0, 2, 1]]), matrix(GF(3), [[1, 0, 0, 0], [1, 1, 2, 0], [0, 0, 1, 0], [1, 0, 2, 1]]), matrix(GF(3), [[2, 0, 0, 1], [0, 1, 0, 0], [1, 0, 1, 1], [2, 0, 0, 0]]), matrix(GF(3), [[2, 0, 2, 0], [0, 0, 1, 1], [1, 1, 2, 2], [0, 0, 0, 1]]), matrix(GF(3), [[2, 2, 0, 1], [0, 1, 0, 0], [1, 2, 1, 1], [2, 1, 0, 0]]), matrix(GF(3), [[1, 0, 0, 0], [0, 0, 1, 1], [0, 0, 1, 0], [0, 2, 1, 2]]), matrix(GF(3), [[1, 1, 2, 2], [0, 1, 0, 0], [2, 1, 1, 2], [1, 1, 1, 0]])])
|
| Transitive group: |
27T415 |
36T2813 |
36T2814 |
36T2994 |
all 5 |
magma:G := TransitiveGroup(27, 415);
gap:G := TransitiveGroup(27, 415);
sage:G = TransitiveGroup(27, 415)
sage_gap:G = libgap.TransitiveGroup(27, 415)
oscar:G = transitive_group(27, 415)
magma:G := TransitiveGroup(36, 2813);
gap:G := TransitiveGroup(36, 2813);
sage:G = TransitiveGroup(36, 2813)
sage_gap:G = libgap.TransitiveGroup(36, 2813)
oscar:G = transitive_group(36, 2813)
magma:G := TransitiveGroup(36, 2814);
gap:G := TransitiveGroup(36, 2814);
sage:G = TransitiveGroup(36, 2814)
sage_gap:G = libgap.TransitiveGroup(36, 2814)
oscar:G = transitive_group(36, 2814)
magma:G := TransitiveGroup(36, 2994);
gap:G := TransitiveGroup(36, 2994);
sage:G = TransitiveGroup(36, 2994)
sage_gap:G = libgap.TransitiveGroup(36, 2994)
oscar:G = transitive_group(36, 2994)
magma:G := TransitiveGroup(36, 2995);
gap:G := TransitiveGroup(36, 2995);
sage:G = TransitiveGroup(36, 2995)
sage_gap:G = libgap.TransitiveGroup(36, 2995)
oscar:G = transitive_group(36, 2995)
|
| Direct product: |
not isomorphic to a non-trivial direct product |
| Semidirect product: |
$C_3^3$ $\,\rtimes\,$ $\PSU(3,2)$ |
$(C_3^4:Q_8)$ $\,\rtimes\,$ $C_3$ |
$(C_3^4:C_3)$ $\,\rtimes\,$ $Q_8$ |
$C_3^4$ $\,\rtimes\,$ $(C_3\times Q_8)$ |
more information |
| Trans. wreath product: |
not isomorphic to a non-trivial transitive wreath product |
| Non-split product: |
$(C_3^4:C_4)$ . $C_6$ (3) |
$(C_3^4:C_{12})$ . $C_2$ (3) |
$C_3^2$ . $(C_3^3:Q_8)$ |
$(C_3^4:C_6)$ . $C_2^2$ |
all 5 |
Elements of the group are displayed as matrices in $\GL_{4}(\F_{3})$.