| Presentation: |
$\langle a, b, c, d \mid a^{3}=b^{4}=c^{2}=d^{4}=[a,c]=[b,c]=[c,d]=1, b^{a}=b^{3}cd^{3}, d^{a}=b, d^{b}=cd \rangle$
|
magma:G := PCGroup([6, 3, 2, 2, 2, 2, 2, 1117, 31, 1190, 94, 370, 88, 221]); a,b,c,d := Explode([G.1, G.2, G.4, G.5]); AssignNames(~G, ["a", "b", "b2", "c", "d", "d2"]);
gap:G := PcGroupCode(215176033529778986144,96); a := G.1; b := G.2; c := G.4; d := G.5;
sage:# This uses Sage's interface to GAP, as Sage (currently) has no native support for PC groups
G = gap.new('PcGroupCode(215176033529778986144,96)'); a = G.1; b = G.2; c = G.4; d = G.5;
sage_gap:# This uses Sage's interface to GAP, as Sage (currently) has no native support for PC groups
G = gap.new('PcGroupCode(215176033529778986144,96)'); a = G.1; b = G.2; c = G.4; d = G.5;
oscar:# This uses Oscar's interface to GAP, as Oscar (currently) has no native support for PC groups
G = PcGroup(GAP.evalstr("PcGroupCode(215176033529778986144,96)")); a = gen(G, 1); b = gen(G, 2); c = gen(G, 4); d = gen(G, 5);
|
| Permutation group: | Degree $12$
$\langle(1,9,5)(2,10,6)(3,11,7)(4,12,8), (3,4)(5,8,6,7)(9,11)(10,12), (1,4,2,3) \!\cdots\! \rangle$
|
magma:G := PermutationGroup< 12 | (1,9,5)(2,10,6)(3,11,7)(4,12,8), (3,4)(5,8,6,7)(9,11)(10,12), (1,4,2,3)(5,7)(6,8)(11,12), (1,2)(3,4), (1,2)(3,4)(5,6)(7,8), (1,2)(3,4)(5,6)(7,8)(9,10)(11,12) >;
gap:G := Group( (1,9,5)(2,10,6)(3,11,7)(4,12,8), (3,4)(5,8,6,7)(9,11)(10,12), (1,4,2,3)(5,7)(6,8)(11,12), (1,2)(3,4), (1,2)(3,4)(5,6)(7,8), (1,2)(3,4)(5,6)(7,8)(9,10)(11,12) );
sage:G = PermutationGroup(['(1,9,5)(2,10,6)(3,11,7)(4,12,8)', '(3,4)(5,8,6,7)(9,11)(10,12)', '(1,4,2,3)(5,7)(6,8)(11,12)', '(1,2)(3,4)', '(1,2)(3,4)(5,6)(7,8)', '(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)'])
sage_gap:G = gap.new('Group( (1,9,5)(2,10,6)(3,11,7)(4,12,8), (3,4)(5,8,6,7)(9,11)(10,12), (1,4,2,3)(5,7)(6,8)(11,12), (1,2)(3,4), (1,2)(3,4)(5,6)(7,8), (1,2)(3,4)(5,6)(7,8)(9,10)(11,12) )')
oscar:G = @permutation_group(12, (1,9,5)(2,10,6)(3,11,7)(4,12,8), (3,4)(5,8,6,7)(9,11)(10,12), (1,4,2,3)(5,7)(6,8)(11,12), (1,2)(3,4), (1,2)(3,4)(5,6)(7,8), (1,2)(3,4)(5,6)(7,8)(9,10)(11,12))
|
| Matrix group: | $\left\langle \left(\begin{array}{rrrrrr}
0 & 1 & 0 & 0 & 0 & 0 \\
0 & 0 & 0 & 0 & -1 & 0 \\
0 & 0 & 0 & 0 & 0 & 1 \\
0 & 0 & -1 & 0 & 0 & 0 \\
-1 & 0 & 0 & 0 & 0 & 0 \\
0 & 0 & 0 & -1 & 0 & 0
\end{array}\right), \left(\begin{array}{rrrrrr}
1 & 0 & 0 & 0 & 0 & 0 \\
0 & 0 & 0 & 0 & 0 & -1 \\
0 & 0 & -1 & 0 & 0 & 0 \\
0 & 0 & 0 & 0 & 1 & 0 \\
0 & 0 & 0 & 1 & 0 & 0 \\
0 & 1 & 0 & 0 & 0 & 0
\end{array}\right) \right\rangle \subseteq \GL_{6}(\Z)$ |
magma:G := MatrixGroup< 6, Integers() | [[0, 1, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 1, 0, 0, -1, 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, -1, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0]] >;
gap:G := Group([[[0, 1, 0, 0, 0, 0], [0, 0, 0, 0, -1, 0], [0, 0, 0, 0, 0, 1], [0, 0, -1, 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, -1], [0, 0, -1, 0, 0, 0], [0, 0, 0, 0, 1, 0], [0, 0, 0, 1, 0, 0], [0, 1, 0, 0, 0, 0]]]);
sage:MS = MatrixSpace(Integers(), 6, 6)
G = MatrixGroup([MS([[0, 1, 0, 0, 0, 0], [0, 0, 0, 0, -1, 0], [0, 0, 0, 0, 0, 1], [0, 0, -1, 0, 0, 0], [-1, 0, 0, 0, 0, 0], [0, 0, 0, -1, 0, 0]]), MS([[1, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, -1], [0, 0, -1, 0, 0, 0], [0, 0, 0, 0, 1, 0], [0, 0, 0, 1, 0, 0], [0, 1, 0, 0, 0, 0]])])
sage_gap:G = gap.new('Group([[[0, 1, 0, 0, 0, 0], [0, 0, 0, 0, -1, 0], [0, 0, 0, 0, 0, 1], [0, 0, -1, 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, -1], [0, 0, -1, 0, 0, 0], [0, 0, 0, 0, 1, 0], [0, 0, 0, 1, 0, 0], [0, 1, 0, 0, 0, 0]]])')
oscar:G = matrix_group([matrix(ZZ, [[0, 1, 0, 0, 0, 0], [0, 0, 0, 0, -1, 0], [0, 0, 0, 0, 0, 1], [0, 0, -1, 0, 0, 0], [-1, 0, 0, 0, 0, 0], [0, 0, 0, -1, 0, 0]]), matrix(ZZ, [[1, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, -1], [0, 0, -1, 0, 0, 0], [0, 0, 0, 0, 1, 0], [0, 0, 0, 1, 0, 0], [0, 1, 0, 0, 0, 0]])])
|
| $\left\langle \left(\begin{array}{rrrrr}
0 & 0 & 0 & 1 & 0 \\
0 & 1 & 1 & 1 & 1 \\
1 & 1 & 1 & 1 & 1 \\
0 & 1 & 1 & 0 & 0 \\
1 & 1 & 0 & 1 & 1
\end{array}\right), \left(\begin{array}{rrrrr}
1 & 1 & 0 & 0 & 1 \\
1 & 0 & 1 & 0 & 1 \\
0 & 1 & 1 & 0 & 1 \\
1 & 1 & 1 & 1 & 1 \\
1 & 1 & 1 & 0 & 0
\end{array}\right), \left(\begin{array}{rrrrr}
0 & 1 & 1 & 1 & 0 \\
0 & 1 & 0 & 1 & 1 \\
1 & 1 & 0 & 1 & 0 \\
1 & 0 & 1 & 0 & 1 \\
0 & 0 & 0 & 1 & 0
\end{array}\right), \left(\begin{array}{rrrrr}
1 & 0 & 0 & 0 & 0 \\
1 & 0 & 1 & 0 & 1 \\
0 & 0 & 1 & 0 & 0 \\
1 & 1 & 1 & 1 & 1 \\
1 & 1 & 1 & 0 & 0
\end{array}\right), \left(\begin{array}{rrrrr}
1 & 0 & 0 & 0 & 0 \\
0 & 1 & 0 & 1 & 1 \\
0 & 0 & 1 & 0 & 0 \\
1 & 1 & 1 & 0 & 0 \\
0 & 0 & 0 & 1 & 0
\end{array}\right), \left(\begin{array}{rrrrr}
0 & 0 & 1 & 0 & 0 \\
0 & 0 & 0 & 0 & 1 \\
1 & 0 & 0 & 0 & 0 \\
0 & 1 & 0 & 1 & 1 \\
0 & 1 & 0 & 0 & 0
\end{array}\right) \right\rangle \subseteq \GL_{5}(\F_{2})$ |
magma:G := MatrixGroup< 5, GF(2) | [[0, 0, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0, 1, 1], [1, 1, 0, 0, 1, 1, 0, 1, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0], [0, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0], [1, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0], [1, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0, 1, 0], [0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 1, 0, 0, 0]] >;
gap:G := Group([[[ 0*Z(2), 0*Z(2), 0*Z(2), Z(2)^0, 0*Z(2) ], [ 0*Z(2), Z(2)^0, Z(2)^0, Z(2)^0, Z(2)^0 ], [ Z(2)^0, Z(2)^0, Z(2)^0, Z(2)^0, Z(2)^0 ], [ 0*Z(2), Z(2)^0, Z(2)^0, 0*Z(2), 0*Z(2) ], [ Z(2)^0, Z(2)^0, 0*Z(2), Z(2)^0, Z(2)^0 ]], [[ Z(2)^0, Z(2)^0, 0*Z(2), 0*Z(2), Z(2)^0 ], [ Z(2)^0, 0*Z(2), Z(2)^0, 0*Z(2), Z(2)^0 ], [ 0*Z(2), Z(2)^0, Z(2)^0, 0*Z(2), Z(2)^0 ], [ Z(2)^0, Z(2)^0, Z(2)^0, Z(2)^0, Z(2)^0 ], [ Z(2)^0, Z(2)^0, Z(2)^0, 0*Z(2), 0*Z(2) ]], [[ 0*Z(2), Z(2)^0, Z(2)^0, Z(2)^0, 0*Z(2) ], [ 0*Z(2), Z(2)^0, 0*Z(2), Z(2)^0, Z(2)^0 ], [ Z(2)^0, Z(2)^0, 0*Z(2), Z(2)^0, 0*Z(2) ], [ Z(2)^0, 0*Z(2), Z(2)^0, 0*Z(2), Z(2)^0 ], [ 0*Z(2), 0*Z(2), 0*Z(2), Z(2)^0, 0*Z(2) ]], [[ Z(2)^0, 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2) ], [ Z(2)^0, 0*Z(2), Z(2)^0, 0*Z(2), Z(2)^0 ], [ 0*Z(2), 0*Z(2), Z(2)^0, 0*Z(2), 0*Z(2) ], [ Z(2)^0, Z(2)^0, Z(2)^0, Z(2)^0, Z(2)^0 ], [ Z(2)^0, Z(2)^0, Z(2)^0, 0*Z(2), 0*Z(2) ]], [[ Z(2)^0, 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2) ], [ 0*Z(2), Z(2)^0, 0*Z(2), Z(2)^0, Z(2)^0 ], [ 0*Z(2), 0*Z(2), Z(2)^0, 0*Z(2), 0*Z(2) ], [ Z(2)^0, Z(2)^0, Z(2)^0, 0*Z(2), 0*Z(2) ], [ 0*Z(2), 0*Z(2), 0*Z(2), Z(2)^0, 0*Z(2) ]], [[ 0*Z(2), 0*Z(2), Z(2)^0, 0*Z(2), 0*Z(2) ], [ 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2), Z(2)^0 ], [ Z(2)^0, 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2) ], [ 0*Z(2), Z(2)^0, 0*Z(2), Z(2)^0, Z(2)^0 ], [ 0*Z(2), Z(2)^0, 0*Z(2), 0*Z(2), 0*Z(2) ]]]);
sage:MS = MatrixSpace(GF(2), 5, 5)
G = MatrixGroup([MS([[0, 0, 0, 1, 0], [0, 1, 1, 1, 1], [1, 1, 1, 1, 1], [0, 1, 1, 0, 0], [1, 1, 0, 1, 1]]), MS([[1, 1, 0, 0, 1], [1, 0, 1, 0, 1], [0, 1, 1, 0, 1], [1, 1, 1, 1, 1], [1, 1, 1, 0, 0]]), MS([[0, 1, 1, 1, 0], [0, 1, 0, 1, 1], [1, 1, 0, 1, 0], [1, 0, 1, 0, 1], [0, 0, 0, 1, 0]]), MS([[1, 0, 0, 0, 0], [1, 0, 1, 0, 1], [0, 0, 1, 0, 0], [1, 1, 1, 1, 1], [1, 1, 1, 0, 0]]), MS([[1, 0, 0, 0, 0], [0, 1, 0, 1, 1], [0, 0, 1, 0, 0], [1, 1, 1, 0, 0], [0, 0, 0, 1, 0]]), MS([[0, 0, 1, 0, 0], [0, 0, 0, 0, 1], [1, 0, 0, 0, 0], [0, 1, 0, 1, 1], [0, 1, 0, 0, 0]])])
sage_gap:G = gap.new('Group([[[ 0*Z(2), 0*Z(2), 0*Z(2), Z(2)^0, 0*Z(2) ], [ 0*Z(2), Z(2)^0, Z(2)^0, Z(2)^0, Z(2)^0 ], [ Z(2)^0, Z(2)^0, Z(2)^0, Z(2)^0, Z(2)^0 ], [ 0*Z(2), Z(2)^0, Z(2)^0, 0*Z(2), 0*Z(2) ], [ Z(2)^0, Z(2)^0, 0*Z(2), Z(2)^0, Z(2)^0 ]], [[ Z(2)^0, Z(2)^0, 0*Z(2), 0*Z(2), Z(2)^0 ], [ Z(2)^0, 0*Z(2), Z(2)^0, 0*Z(2), Z(2)^0 ], [ 0*Z(2), Z(2)^0, Z(2)^0, 0*Z(2), Z(2)^0 ], [ Z(2)^0, Z(2)^0, Z(2)^0, Z(2)^0, Z(2)^0 ], [ Z(2)^0, Z(2)^0, Z(2)^0, 0*Z(2), 0*Z(2) ]], [[ 0*Z(2), Z(2)^0, Z(2)^0, Z(2)^0, 0*Z(2) ], [ 0*Z(2), Z(2)^0, 0*Z(2), Z(2)^0, Z(2)^0 ], [ Z(2)^0, Z(2)^0, 0*Z(2), Z(2)^0, 0*Z(2) ], [ Z(2)^0, 0*Z(2), Z(2)^0, 0*Z(2), Z(2)^0 ], [ 0*Z(2), 0*Z(2), 0*Z(2), Z(2)^0, 0*Z(2) ]], [[ Z(2)^0, 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2) ], [ Z(2)^0, 0*Z(2), Z(2)^0, 0*Z(2), Z(2)^0 ], [ 0*Z(2), 0*Z(2), Z(2)^0, 0*Z(2), 0*Z(2) ], [ Z(2)^0, Z(2)^0, Z(2)^0, Z(2)^0, Z(2)^0 ], [ Z(2)^0, Z(2)^0, Z(2)^0, 0*Z(2), 0*Z(2) ]], [[ Z(2)^0, 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2) ], [ 0*Z(2), Z(2)^0, 0*Z(2), Z(2)^0, Z(2)^0 ], [ 0*Z(2), 0*Z(2), Z(2)^0, 0*Z(2), 0*Z(2) ], [ Z(2)^0, Z(2)^0, Z(2)^0, 0*Z(2), 0*Z(2) ], [ 0*Z(2), 0*Z(2), 0*Z(2), Z(2)^0, 0*Z(2) ]], [[ 0*Z(2), 0*Z(2), Z(2)^0, 0*Z(2), 0*Z(2) ], [ 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2), Z(2)^0 ], [ Z(2)^0, 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2) ], [ 0*Z(2), Z(2)^0, 0*Z(2), Z(2)^0, Z(2)^0 ], [ 0*Z(2), Z(2)^0, 0*Z(2), 0*Z(2), 0*Z(2) ]]])')
oscar:G = matrix_group([matrix(GF(2), [[0, 0, 0, 1, 0], [0, 1, 1, 1, 1], [1, 1, 1, 1, 1], [0, 1, 1, 0, 0], [1, 1, 0, 1, 1]]), matrix(GF(2), [[1, 1, 0, 0, 1], [1, 0, 1, 0, 1], [0, 1, 1, 0, 1], [1, 1, 1, 1, 1], [1, 1, 1, 0, 0]]), matrix(GF(2), [[0, 1, 1, 1, 0], [0, 1, 0, 1, 1], [1, 1, 0, 1, 0], [1, 0, 1, 0, 1], [0, 0, 0, 1, 0]]), matrix(GF(2), [[1, 0, 0, 0, 0], [1, 0, 1, 0, 1], [0, 0, 1, 0, 0], [1, 1, 1, 1, 1], [1, 1, 1, 0, 0]]), matrix(GF(2), [[1, 0, 0, 0, 0], [0, 1, 0, 1, 1], [0, 0, 1, 0, 0], [1, 1, 1, 0, 0], [0, 0, 0, 1, 0]]), matrix(GF(2), [[0, 0, 1, 0, 0], [0, 0, 0, 0, 1], [1, 0, 0, 0, 0], [0, 1, 0, 1, 1], [0, 1, 0, 0, 0]])])
|
| $\left\langle \left(\begin{array}{rr}
5 & 4 \\
4 & 5
\end{array}\right), \left(\begin{array}{rr}
5 & 0 \\
0 & 5
\end{array}\right), \left(\begin{array}{rr}
3 & 4 \\
2 & 3
\end{array}\right), \left(\begin{array}{rr}
1 & 4 \\
0 & 1
\end{array}\right), \left(\begin{array}{rr}
5 & 2 \\
2 & 1
\end{array}\right), \left(\begin{array}{rr}
4 & 3 \\
1 & 3
\end{array}\right) \right\rangle \subseteq \GL_{2}(\Z/8\Z)$ |
magma:G := MatrixGroup< 2, Integers(8) | [[5, 4, 4, 5], [5, 0, 0, 5], [3, 4, 2, 3], [1, 4, 0, 1], [5, 2, 2, 1], [4, 3, 1, 3]] >;
gap:G := Group([[[ZmodnZObj(5,8), ZmodnZObj(4,8)], [ZmodnZObj(4,8), ZmodnZObj(5,8)]],[[ZmodnZObj(5,8), ZmodnZObj(0,8)], [ZmodnZObj(0,8), ZmodnZObj(5,8)]],[[ZmodnZObj(3,8), ZmodnZObj(4,8)], [ZmodnZObj(2,8), ZmodnZObj(3,8)]],[[ZmodnZObj(1,8), ZmodnZObj(4,8)], [ZmodnZObj(0,8), ZmodnZObj(1,8)]],[[ZmodnZObj(5,8), ZmodnZObj(2,8)], [ZmodnZObj(2,8), ZmodnZObj(1,8)]],[[ZmodnZObj(4,8), ZmodnZObj(3,8)], [ZmodnZObj(1,8), ZmodnZObj(3,8)]]]);
sage:MS = MatrixSpace(Integers(8), 2, 2)
G = MatrixGroup([MS([[5, 4], [4, 5]]), MS([[5, 0], [0, 5]]), MS([[3, 4], [2, 3]]), MS([[1, 4], [0, 1]]), MS([[5, 2], [2, 1]]), MS([[4, 3], [1, 3]])])
sage_gap:G = gap.new('Group([[[ZmodnZObj(5,8), ZmodnZObj(4,8)], [ZmodnZObj(4,8), ZmodnZObj(5,8)]],[[ZmodnZObj(5,8), ZmodnZObj(0,8)], [ZmodnZObj(0,8), ZmodnZObj(5,8)]],[[ZmodnZObj(3,8), ZmodnZObj(4,8)], [ZmodnZObj(2,8), ZmodnZObj(3,8)]],[[ZmodnZObj(1,8), ZmodnZObj(4,8)], [ZmodnZObj(0,8), ZmodnZObj(1,8)]],[[ZmodnZObj(5,8), ZmodnZObj(2,8)], [ZmodnZObj(2,8), ZmodnZObj(1,8)]],[[ZmodnZObj(4,8), ZmodnZObj(3,8)], [ZmodnZObj(1,8), ZmodnZObj(3,8)]]])')
oscar:G = matrix_group([matrix(residue_ring(ZZ, 8)[1], [[5, 4], [4, 5]]), matrix(residue_ring(ZZ, 8)[1], [[5, 0], [0, 5]]), matrix(residue_ring(ZZ, 8)[1], [[3, 4], [2, 3]]), matrix(residue_ring(ZZ, 8)[1], [[1, 4], [0, 1]]), matrix(residue_ring(ZZ, 8)[1], [[5, 2], [2, 1]]), matrix(residue_ring(ZZ, 8)[1], [[4, 3], [1, 3]])])
|
| Transitive group: |
12T57 |
24T179 |
24T180 |
32T417 |
more information |
magma:G := TransitiveGroup(12, 57);
gap:G := TransitiveGroup(12, 57);
sage:G = TransitiveGroup(12, 57)
sage_gap:G = libgap.TransitiveGroup(12, 57)
oscar:G = transitive_group(12, 57)
magma:G := TransitiveGroup(24, 179);
gap:G := TransitiveGroup(24, 179);
sage:G = TransitiveGroup(24, 179)
sage_gap:G = libgap.TransitiveGroup(24, 179)
oscar:G = transitive_group(24, 179)
magma:G := TransitiveGroup(24, 180);
gap:G := TransitiveGroup(24, 180);
sage:G = TransitiveGroup(24, 180)
sage_gap:G = libgap.TransitiveGroup(24, 180)
oscar:G = transitive_group(24, 180)
magma:G := TransitiveGroup(32, 417);
gap:G := TransitiveGroup(32, 417);
sage:G = TransitiveGroup(32, 417)
sage_gap:G = libgap.TransitiveGroup(32, 417)
oscar:G = transitive_group(32, 417)
|
| Direct product: |
not isomorphic to a non-trivial direct product |
| Semidirect product: |
$(C_2.C_4^2)$ $\,\rtimes\,$ $C_3$ |
|
|
|
more information |
| Trans. wreath product: |
not isomorphic to a non-trivial transitive wreath product |
| Non-split product: |
$C_2^3$ . $A_4$ |
$C_2^2$ . $\SL(2,3)$ |
$C_2$ . $(C_4^2:C_3)$ |
|
more information |
Elements of the group are displayed as matrices in $\GL_{2}(\Z/{8}\Z)$.