Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/grp/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 18.9.2025 mit Größe 8 kB image not shown  

Quelle  perf34.grp   Sprache: unbekannt

 
#############################################################################
##
##  This file is part of GAP, a system for computational discrete algebra.
##  It contains the perfect groups of order 1975680
##  This data was computed by Alexander Hulpke
##  It is distributed under the artistic license 2.0
##  https://opensource.org/licenses/Artistic-2.0
##  as well as (dual licensing) under GPL 2

PERFGRP[452]:=[# 1975680.1
[[1,"abcd",
function(a,b,c,d)
return [[ a^4, a*b*a^2*b^-1*a, c^-1*a^-2*c*a^-2, d^6, b*c^2*b^-1*c^-2,
  b*a^2*c*b^2*c*b, a*b*d^-2*b^-1*a^-1*b*d^2*b^-1,
  d^-1*a^-1*d*a^2*d*a^-1*d*(a^-1*d^-1*a^-1)^2,
  d^-2*b*d^-2*c^-1*d^2*c*b^-1*c^-1*d^2*c, d^3*c^-1*d^-2*c*d^-3*c^-1*d^2*c,
  a^2*c^-1*b^-1*c^-1*b*c*b*a^-1*c^2*a*c^-1*b^-1,
  c^-1*d^-2*c*d^-1*b*d^-1*c^-1*d^-2*c*d*b^-1*d,
  c^-1*d^2*c*b^-1*a*b*c^-1*d^-2*c*b^-1*a^-1*b,
  c*b*c^-1*a^-1*(b*c)^2*a^-1*(c^-1*b^-1)^2*a*b^-1,
  b*c^-1*d^-2*c*d^2*b*d*c^-1*d^-2*c*d^-1*b^2,
  a^-1*c*a^-1*b*c*a*c*b*c*a*b^-1*c^-1*b^-1*c*b*c^-1,
  b*a^-2*b*d^-1*a^-2*d*a^-1*b^-2*a^-1*d^-1*a^-2*d,
  b*a^-1*(b*c)^2*a^-1*b^-2*a*(c^-1*b^-1)^2*a*b,
  d^-1*b*d*c^-1*d^-2*c*d*b^-1*d^-1*b*c^-1*d^2*c*b^-1,
  a*d^-1*a^-1*d^-1*a*(a*d)^2*a*b^-1*a*d^-1*a^-2*d*a*b,
  (d^-1*c*d^-1*c^-1*d^2*c*d^-1*c^-1)^2,
  c^-1*d^-2*(c*d*c^-1*d^-2*c)^2*d*c^-1*d^-1,
  d^-2*c*d^-1*b*d^2*b^-1*d^-1*b*c^-1*d^-2*c*d^-2*b^-1*c^-1,
  c^-1*a*(c^-1*b^-1)^2*a*b^-1*c*a*c*a^-1*b*c*a*c^-2*b*c^-1,
  c^-1*b^-1*a^-1*c^-1*b^-2*c*a^-1*b*c*d*b*d^2*c^-1*d^-2*c*b^-1*d,
  b^-2*d^-2*c^-1*a*c^2*a*c^-1*b^-3*d*c^-1*d^-2*c*d^-1*b^-1*d^2,
  b^-1*c*b^-1*c^-1*a^-1*d^-1*a^2*d*a^-2*c^-2*d^-1*a^-2*d*a*(b*c)^2,
  d*b*c*b*a*c^-1*b^-2*c*a^-1*b*d^-2*c*d^-1*c^-1*d^2*c*d^-1*b*d,
  a*d*b*c^-1*d^-2*c*d^-2*b^-1*d^-1*a^-1*d*b*d^2*c^-1*d^2*c*b^-1*d^-1,
  b^-1*c*b^-1*c^-1*a^-1*d^-2*b^-1*a*b*c*d*c^-1*d^-2*c*d*b*c*b*a*b^-1*a,
  c*a^-1*d*b*c^-1*d^-2*c*d*c^-1*d^-2*c*d^-1*b^-1*c^-1*a*d^-1*a^-2*d*c^-1*a,
  (c^-1*b^-1)^2*a*b*a^-1*c^2*b^2*a^-1*(b*c)^2*b^-1*a*c^-1*b*c*b*a,
  c^-1*d^-1*c^-1*(d^-2*c)^2*a^-1*b*c^-1*d^2*c*d^-2*b^-1*d^-1*a^-2*d*a,
  a*c^-1*d*a^-1*d^-1*a^-2*d*a*c^-1*d*b*c^-1*d^-2*c*d^-2*b^-1*c*d*c^-1*a,
  a*c^-1*b^-1*d^2*b*d^2*c^-1*d^2*c*b^-1*c^-1*d^-2*c*d^-2*b^-1*d^-2*c^-1*a*c^2
    ,
  c^-1*b^-1*a^-1*c^-1*b*a*c^-1*b^-1*a^-1*b*a*(c^-1*b^-1)^2*(a^-1*b)^2*c^-1*a^\
-1*(b*c*a)^2,
  b*d^2*c^-1*d^2*c*b^-1*d^-1*c*b*d^2*b^-1*c^-1*d^-2*c*d^2*a^-1*d^-1*a^-2*d*a*\
c^-1,
  a^-1*d*a^-2*d*a*c^-1*a^-1*d^-1*a^-1*(a^-1*d)^2*d*c*b^-1*d^-1*b^2*c^-1*d^-2*\
c*d^-2*b^-1,
  a^-1*b^-1*a*c^-1*b*c*b*a*b^-1*a^-1*b^-1*(c^-1*d^-2*c*d)^2*c^-1*b^-1*c*b*c^2
    ,
  d*(b*c)^2*a*b^-1*a^-1*c^-1*b^-1*c^-1*d^-2*b^-1*a*(b*c)^2*a^-1*b*a*(c^-1*b^-\
1)^2*a*d,
  (b*c)^2*d^-1*a^-2*d*a^-2*d^-1*a^-2*d*a*d^-1*a^-2*d*a^-1*c^-1*b*c*b*d^-1*a^-\
2*d, a*c^-1*b^-1*c^-1*(d^-1*c*d*c^-1*d^-1)^2*c*b*c*a^-1*(d*c^-1*d^-2*c)^2,
  c^-1*d^2*c*d^-1*c^-1*a*d^-1*a^2*d*a*c*a*d^-1*a^-2*d*a*c^-1*d*c*d^-1*c^-1*d^\
2*c*d,
  d^-1*a^2*d*a^-1*d^-1*a^-2*d*a^-2*d^-1*a^-2*d*(c^-1*b^-1)^2*d^-1*a^-2*d*(b*c\
)^2*a^-1,
  b^-1*a^-1*b^-1*c*b^-1*c^-1*a*d^-1*a^2*d*a*(c^-1*b^-1)^2*a^-1*b*(a^-1*d^-1*a\
^-2*d*a^-1)^2,
  b*d^2*c^-1*d^2*c*b^-1*d^-1*a*d^-1*a^-2*d*a*b*c^-1*d^-2*c*d^-2*b^-1*d^-1*a*d\
^-1*a^-2*d*a,
  d*a*c^-1*d^2*c*d^-2*b*c^2*a^-1*d^-1*c^-1*d^2*c*d*b*(c^-1*b^-1)^2*a^-1*b*a*b\
^-1*c*b^-1*c^-1*d,
  b*c*a^-1*b*a*c*b*c^-1*b*a*b^-1*a^-1*(c^-1*b^-1)^2*c*b^3*c^-1*b*d^2*c*d^-1*c\
^-1*d^2*c*d^-1,
  b^-2*a*d*c^-1*d^2*c*d^-2*a^-2*d^-1*a*d*b*d^-2*b^-1*d^-1*c^-1*d^-2*c*d^-2*c^\
-1*d^3*c,
  c^-2*a^-1*d^-1*a^-2*d*a^-2*d^-1*a^-2*d*a*b*a*b^-1*c^-1*b^-1*c*a^-1*d^-1*a^-\
2*d*a*b^-1*c*b^-1*c^-1*a^-1*b^-1,
  c*b*c^-1*b*a*b^-1*c*a^-1*(b*c)^2*a*b*a^-1*c*b*a*b*(b*d^2*b^-1*d^-1)^2*c^-1*\
b*a^-1,
  c^-1*a^-1*c^-3*a*c*a^-1*d^3*c^-1*d^2*c*a*b*a^-1*c^-1*b*c*b*a*b*a^-1*b*c^-1*\
b*c*d^-2*b^-1*d^-1,
  c^-1*b^-1*a*c*b*c*a^-1*c*b*c^-1*a*b*c*(b*a)^2*b^-1*c*b^-1*c^-1*a^-1*b^-1*a*\
b^-1*c^-1*b^-1*c*a^-1*c^2*a^-1*b^-1,
  b*a*c*b*c^-1*b*a*c^-1*a^-1*c*a^-1*(b^-1*c^-1)^2*b*a*b^-1*a*c*a*b^-1*c*b^-1*\
c^-1*b^-1*a^-1*c*b*c^-1*b*a^-1*c*a,
  d*a^-1*(b*c)^2*a^-1*c^-1*d^2*c*d^-1*(d^-1*a^-1)^2*a^-1*d*a^-1*d^-1*c^-1*a^-\
1*d^-1*a^-2*d*a^-1*c*a*(c^-1*b^-1)^2*a,
  c*d*a^-1*d^-1*b*a^2*d^2*c^-1*d^2*c*b^-1*d^2*b^-1*d*b*c^-1*d^-2*c^-1*a*(b*c)\
^2*d^-1*a^-2*d*b^-1*c^-1*b^-1,
  c^-1*a*b*d^2*c*d^-1*c^-1*d^2*c*d^-1*c*a^-1*c^-1*b*(a*b^-1)^2*c^-1*b^-1*a*b^\
-1*c*b^-1*c^-1*a^-1*b^-1*a^-1*(c^-1*b^-1)^2*a,
  c^-1*a*d*b*d^2*c^-1*d^2*a^-2*d^2*c*b^-1*d^-1*a*b*d^-2*b^-1*d^-1*c*d^2*c^-1*\
d^2*c*d^-1*a*d^-1*a^-2*d*a,
  c*d^-1*a^2*d*a^-2*d^-1*a^-2*d*(b*c)^2*d^-1*a^-2*d*a*b*d^-1*a^-2*d*c^-1*a^-1\
*d^-1*a^-2*d*a^-1*c^-1*b^-1*a*b*c*b,
  c^-1*b^-1*a*b^-1*c*d^2*c*d^-1*c^-1*d^2*c*d^-1*b^-1*c^-1*b*c*b*(c^-1*b^-1)^2\
*c*b*c^-1*(a^-1*b)^2*c*b*c*a^-1*c^-3*a^-2,
  d^-1*b*c^2*a^-1*b^-1*d^-1*a^2*d*a^-1*(c^-1*b^-1)^2*a*b*a*d^-1*a^-2*d*b^-2*d\
^-1*a^-2*d*(b*c)^2*d^-1*a^2*d^-1*a*d*a*d^-1,
  (c^-1*b^-1)^2*a*c*a^-1*c^-1*b^-1*c^-1*b*a*b*a^-1*c^-1*b*c*b*a*b*a^-1*b*c^-1\
*b*a*(c*b)^2*c^-1*b*a*b^-1*a*c^-1*b^-1*a*c^2*b*a^-1,
  c^-1*d^2*b*c^3*a^-1*b^-1*a*c^-1*b^-1*c^-1*d^-2*b*c^-1*b*c*b^-1*d^-1*a^-2*d*\
a*b*a*b^-1*c^-1*b^-1*c*a^-1*c^-1*d^-2*c*d^-1*a^-1*b*d^-2,
  a^-2*b^-1*c^-1*b^-1*d^2*c^-1*d^-2*c*a*d^-1*a*c*b*c^-1*b*a^-1*c*d^2*c*a^-1*b\
*c^-1*d^2*c*d^-2*b^-1*d*a^-1*d^-1*a^-2*d^-1*a*d*c^-1,
  d^-1*c^-3*b^-1*d^-2*c*d^-2*b^-1*a*d^-1*a^-1*(b*c)^2*a^-1*b*d^2*b^-2*a*b*d^2\
*c^-1*d^2*c*b^-1*d^-1*a^-2*d*a^-1*b*a*d^-1,
  b*a^-1*b^-1*c*b^-1*c^-1*d^-1*a^2*d*b*a^-1*c^-2*(d^-1*c*d*c^-1*d^-1)^2*b^-1*\
a*c*b*d^-1*a^-2*d*c^-1*a^-1*d^-1*a^-2*d*a*b*a,
  b^-1*c^-1*b^-1*c*a*d^-1*a^2*d*a^-1*b*(b*c^-1)^2*b^-1*a*(b*c)^2*d^-1*a^-2*d*\
b^-1*c^-1*b^-1*c*d*a^-1*d^-1*(a^-1*d^-1*a^-2*d)^2,
  a*(d^-1*a^-2*d*a^-2)^6*d^-1*a^-2*d*a,
  b*a^-1*b^-1*c*b^-1*c^-1*a*(b^-1*c^-1)^3*d^-1*c^-1*d^2*c*d^-1*c^-1*d^2*b^-1*\
a^-1*c^-1*b*d^3*c^-1*b^-1*a*c^-1*b^2*c*a*b*a*d^-1*a^2*d*a,
  b*(d*c^-1*d^-2*c)^2*a*b^-1*c*b^-1*c^-1*b*(c^-1*b^-1)^2*a*b^-1*a^-1*b*c*b*a^\
2*c^2*d*c^-1*d^2*c*b*c^-1*d^-2*c*b^-1*d^-1*b*c*a^-1,
  a*c*b*(d*c^-1*d^-2*c)^2*a^-1*b^-1*c^-1*a*b^-1*c*a*b*c*(a^-1*b^-1)^2*c^-1*b^\
-1*c*a*c*b*c*a^-1*b^-1*c^-2*d*c^-1*d^-2*c*d*c^-1*d^-2,
  c*a*b*c*(a^-1*c^-1*b^-1)^2*c^-1*a^-1*d^-1*a^2*d*a^-1*c*a*d^-1*a^-2*d*a^-2*d\
^-1*a^-2*d*a^-1*(b*c)^2*a^-1*b*a*(c^-1*b^-1)^2*a*d^-1*a^-2*d*a,
  a^-1*(b*c)^2*(a^-1*b)^2*c*a^-1*(b^-1*c^-1)^2*b*c*a^-1*b^-1*(c*d*c^-1*d^-2)^\
2*a*(c^-1*b^-1)^2*a*(c*b)^2*c*a^-1*b^-1*a*b^-1*c^-1*b^-1*c*a^-1*c^-1,
  a^-1*d^-1*a^2*d*c^-2*b*a*b^-1*a*(b*c)^2*a^-1*(b^-1*d^-1)^2*d^-1*c^-1*a*c^2*\
a*c^-1*b^-1*d^2*a^-1*d^-1*a^-2*d*c^-1*b*c*b*d^-1*a^-2*d*a^-2*d^-1*a^-2*d*a^-1
    ,
  d*a*d^-1*a^2*d*b^-1*c^-1*b^-1*c*a*d^-1*a^-2*d*a^-1*(c^-1*b^-1)^2*a*d^-1*a^-\
1*(b*c)^2*a^-1*b*a*c*b*c^-1*b*a*d^-1*a^-2*d*(c^-1*b^-1)^2*a^-1*b^-1*a*(b*c)^2\
*a^-2,
  d*a^-1*b*d^2*c^-1*d^2*b*c^3*d^-1*(a^-2*d)^2*a*d^-1*a^-2*d*a*d*a^-1*c^-1*d^-\
2*c*(d^-2*b)^2*a*d^-1*a^-2*d*b^-2*d^-1*a^-2*d*c^-1*b*c*b*a,
  d*c*d^-3*c^-1*d^2*c^-1*a^-1*(b*c)^2*d^-1*a^2*d*a^-1*b*a*b^-1*c^-1*b^-1*c*a^\
-1*d^-1*a^-2*d*a^-1*b*a*c^-2*b^-1*d*b^4*d^-1*c^-1*d^2*c*b*d^-2*b*c*b^2,
  c^-1*a^-1*(c*b)^2*c*a*b^-1*a^-1*b^-1*c*b^-1*c^-1*a*c^-1*a^-1*b^-1*c^-1*b^-1\
*c*a^-1*d^-1*c^-1*d^-2*c*d*b^-1*a^-1*b*c^-1*d^-2*c*d^2*c*b*c*a^-1*c^-1*b*d^2*\
c*d^-1*c^-1*d^2*c*d^-1*c*a^-1*b^-1,
  d^-1*a*b*c*b*d^-2*c*d^-2*a*c^-1*d^-1*c^-1*(d^-2*c)^2*a^-1*d^-1*b*d^-2*b^-1*\
d^-1*a^-1*d*c^-1*a^-1*d^-1*a^-2*d*a*c*a^-1*c^-1*b*c*b^2*d^2*b^-1*a^-1*c^-1*d^\
-2*c*d*b^-4*d^-1,
  a^-1*c^-1*d^2*c*d^-1*c^-1*d^2*c*b^-1*c^2*a^-1*c^-1*d^-2*c*d^-2*b^-1*d^-1*c^\
-1*b*c*b*(a*b^-1)^2*c*b^-1*c^-1*d*b*c^-1*d^-2*c*d^-2*(a^-1*d*a^-1)^2*a^-1*d^-\
1*a^-2*d*a*b*(a^-1*d^-1)^2*a^-2*d ],
[ [ a, d*c, a^(b^-1), a^b, b^-2*c*b^-1, b^-1*c*b^-2, b^-1*d^-1*c^-1, a^d,
      d^-2*b^-2, (d^-1*c^-1)^(b^-2) ],
  [ a, b, c, d^-2, (d^-2)^(a^-1*d^-1), (a^-1*c^2*a^-1)^(d^-1),
      (a^-1*d*b*a^-1)^(d^-1), (a^-1*d^-1*b*a^-1)^(d^-1), (b*d*c)^(d^-1),
      (c*b^-1*d^-1*b)^(d^-1), (c*d*c*b^-1)^(d^-1) ] ]];
end,
[ 24, 49 ]],
"PG1975680.1",0,2,[ 2, 1 ],[ 24, 49 ]]];

PERFGRP[453]:=[# 1980000.1
[[1,"abcdefg",
function(a,b,c,d,e,f,g)
return [[ c^2, f^4, e^-2*f^2, b*d^-1*b^-1*d, c*f^-1*c*f, a^-1*f^-1*a*f,
  c*g*c*g^-1, a*d^-1*a^-1*d, (c*a)^2, b*f^-1*b^-1*f, d^-1*f^-1*d^-1*f,
  b^-1*g*b*g^-1, a^-1*e^-1*a*e, b^-1*e^-1*b*e, c*e^-1*c*e, c*d^-1*c*d,
  a^-1*g*a*g^-1, f*d^-3*f, g^5, a^5, f^-1*g*f*g^2, f*g*f^-1*g^-2,
  e^-1*f*(e^-1*f^-1)^2, d*e^-1*(d*e)^2, b*a*b^-3*a^-1, b^-1*a*b*a^-1*b^-3,
  e^-1*g*e*g*d*g*d^-1, d^-1*g*d*g^-1*d*g*d^-1, d^-1*g^-1*d^-1*g*d^2*g,
  e^-1*g*e*d*g*d^-1*g, c*a*(b^-1*a^-1*c)^2*b^-1, (c*b^-2)^3,
  f^-1*g*d^-1*g*f*(d^-1*g^-1)^2*g^-1*d, a*(b^-1*c)^2*a^-2*b^2*c*a*b^-1,
  e^-1*d^-1*g*d*g*e*g^2*d^-1*g^2*d ],
[ [ d, e, f, g, a^2*c^-1, a^-2*b ], [ a, b, c, d, e, f ] ]];
end,
[ 11, 25 ]],
"PG1980000.1",0,1,[ 5, 1 ],[ 11, 25 ]]];

[ Dauer der Verarbeitung: 0.25 Sekunden  (vorverarbeitet)  ]