Advertisement
szabozoltan69

gap

Mar 1st, 2012
173
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. kiscica:= Group(
  2. (120,15)(20,55)(30,92)(1,14)(21,54)(31,93)(2,13)(22,53)(32,94)(3,12)(23,52)(33,95)(4,11)(24,51)(34,96)(5,10)(25,50)(47,106)(6,19)(26,59)(48,105)(7,18)(27,58)(49,104)(8,17)(28,57)(40,103)(9,16)(29,56)(41,102)
  3. ,(120,26)(10,39)(105,46)(1,27)(11,38)(104,47)(2,28)(12,37)(103,48)(3,29)(13,36)(102,49)(4,20)(14,35)(101,40)(5,21)(15,34)(112,58)(6,22)(16,33)(111,57)(7,23)(17,32)(110,56)(8,24)(18,31)(119,55)(9,25)(19,30)(118,54)
  4. ,(120,30)(20,46)(59,111)(1,31)(21,47)(58,110)(2,32)(22,48)(57,119)(3,33)(23,49)(56,118)(4,34)(24,40)(55,117)(5,35)(25,41)(10,74)(6,36)(26,42)(19,73)(7,37)(27,43)(18,72)(8,38)(28,44)(17,71)(9,39)(29,45)(16,70)
  5. );
  6.  
  7. f := FreeGroup("a","b","c");
  8.  
  9. hom := GroupHomomorphismByImages( f, kiscica, GeneratorsOfGroup(f), GeneratorsOfGroup(kiscica) );
  10.  
  11. #(1,3)(2,4) in kiscica;
  12. # true
  13.  
  14. PreImagesRepresentative( hom, (1,3)(2,4) );
Advertisement
Advertisement
Advertisement
RAW Paste Data Copied
Advertisement