# number of random conjugate elements # list of wreath products 'rec(K := SymmetricGroup(4), H := SymmetricGroup(8))' ,'rec(K := SymmetricGroup(10), H := MathieuGroup(24))' ,'rec(K := SymmetricGroup(25), H := SymmetricGroup(100))' ,'rec(K := SL(2, 2), H := Group([ (1,10)(2,11)(3,12)(4,16)(5,17)(6,18)(7,13)(8,14)(9,15)(19,24)(20,22)(21,23), (1,17,7,6,25,13,8,5,26)(2,16,20,23,15,21,14,11,19)(3,18,10,12,9,4,27,22,24) ]))' , # H := PSp(4,3) 'rec(K := SL(2, 2), H := Group([(1, 2, 4, 8, 15, 29, 54, 95, 156, 71, 125, 203, 282, 188, 211)(3, 6, 11, 21, 40, 74, 129,208, 88, 154, 235, 290, 318, 158, 240)(5, 9, 17, 33, 16, 31, 58, 102, 173, 256, 219,55, 96, 164, 202)(7, 13, 25, 41, 66, 10, 19, 37, 62, 110, 184, 192, 276, 168, 109)(12,23, 44, 79, 105, 18, 35, 65, 114, 190, 57, 100, 170, 251, 300)(14, 27, 50, 89, 84,147, 75, 131, 186, 145, 214, 120, 195, 116, 20)(22, 42, 76, 133, 213, 34, 63, 111, 82,144, 99, 169, 250, 302, 97)(24, 45, 81, 142, 103, 174, 252, 165, 61, 108, 143, 227,234, 296, 209)(26, 48, 38, 70, 123, 199, 69, 121, 134, 43, 78, 137, 220, 183, 269)(28,52, 92, 90, 86, 150, 39, 72, 113, 132, 138, 222, 244, 291, 314)(30, 56, 98, 167, 126,204, 163, 247, 238, 279, 281, 153, 233, 232, 246)(32, 60, 106)(36, 67, 117, 193, 175,118, 177, 261, 310, 80, 140, 225, 293, 307, 323)(46, 83, 146, 229, 107, 180, 265, 311,178, 263, 141, 226, 268, 68, 119)(47, 85, 148, 77, 135, 216, 289, 166, 249, 301, 64,112, 187, 264, 270)(49, 87, 152, 197, 217, 230, 200, 280, 278, 122, 198, 228, 215,288, 196)(51, 91, 157, 239, 162, 245, 287, 285, 149, 161, 221, 136, 218, 124, 201)(53,94, 127, 206, 212)(59, 104, 176, 259, 155, 205, 283, 179, 237, 257, 130, 210, 254,304, 299)(73, 128, 207, 286, 151)(93, 160, 243, 189, 274)(101, 172, 255, 306, 248,262, 305, 182, 267, 295, 297, 321, 115, 191, 241)(139, 223, 224, 292, 319, 325, 275,316, 236, 284, 258, 194, 277, 308, 317)(171, 253, 303)(181, 185, 271)(231, 294,273)(260, 309, 320)(266, 312, 272)(313, 324, 315), (1, 3, 7, 14, 28, 53)(2, 5, 10, 20, 39, 73)(4, 6, 12, 24, 46, 84)(8, 16, 32, 61, 109,183)(9, 18, 36, 68, 120, 196)(11, 22, 43, 52, 93, 161)(13, 26, 49, 88, 155, 237)(15,30, 57, 101, 25, 47)(17, 34, 64, 113, 189, 203)(19, 38, 71, 126, 205, 284)(21, 41, 75,132, 212, 54)(27, 51, 58, 103, 175, 63)(29, 55, 97, 166, 222, 274)(31, 59, 105, 178,264, 198)(33, 62, 50, 90, 128, 125)(35, 66, 116, 152, 232, 293)(37, 69, 122, 74, 130,210)(40, 60, 107, 181, 266, 313)(42, 77, 136, 219, 191, 114)(44, 80, 141, 147, 230,102)(45, 82, 145, 228, 129, 209)(48, 86, 151, 157, 56, 99)(65, 115, 192, 187, 95,163)(67, 118, 194, 104, 177, 262)(70, 124, 202, 261, 303, 263)(72, 127)(76, 134, 215,256, 308, 321)(78, 138, 207, 201, 281, 213)(79, 139, 224, 225, 174, 258)(81, 143, 169,195, 278, 318)(83, 121, 197, 279, 306, 316)(85, 149, 231, 112, 188, 273)(87, 153, 234,297, 265, 148)(89, 156, 238, 292, 320, 119)(91, 158, 241, 283, 226, 199)(92, 159, 242,298, 322, 286)(94, 162, 246, 184, 270, 314)(96, 165, 140, 133, 214, 287)(98, 168, 249,150, 206, 285)(100, 171, 254, 305, 309, 142)(106, 179, 111, 186, 239, 167)(108, 182,268, 216, 288, 204)(110, 185, 272, 315, 240, 117)(123, 200, 233, 295, 319, 311)(131,211, 208, 170, 252, 229)(135, 217, 173, 257, 251, 180)(137, 221, 235, 267, 259,146)(144, 220, 291, 243, 218, 290)(154, 236, 250, 271, 312, 324)(160, 244)(164, 248,300, 302, 301, 245)(176, 260)(190, 275, 317, 310, 227, 223)(193, 255, 307, 323, 325,304)(247, 299, 277, 276, 269, 282)(253, 296)(280, 294, 289)]))' , # H := PSU(4, 4) 'rec(K := PSL(5, 3), H := Group([(1, 2, 4)(3, 6, 11)(5, 9, 17)(7, 13, 24)(8, 15, 28)(10, 19, 35)(12, 22, 41)(14, 26, 25)(16, 30, 52)(18, 33, 58)(20, 37, 65)(21, 39, 68)(23, 43, 73)(27, 48, 82)(29, 50, 86)(31, 54, 93)(32, 56, 97)(34, 60, 103)(36, 63, 109)(38, 67, 114)(40, 42, 71)(44, 75, 121)(46, 78, 125)(47, 80, 74)(49, 84, 92)(51, 88, 137)(53, 91, 141)(55, 95, 146)(57, 99, 152)(59, 101, 156)(61, 105, 163)(62, 107, 167)(64, 111, 174)(66, 113, 177)(70, 118, 182)(72, 77, 119)(76, 122, 184)(79, 83, 120)(81, 128, 188)(85, 132, 197)(87, 135, 202)(89, 102, 158)(90, 140, 209)(94, 144, 126)(96, 148, 221)(98, 151, 191)(100, 154, 227)(104, 161, 238)(106, 165, 245)(108, 169, 176)(110, 172, 255)(112, 175, 258)(115, 178, 262)(116, 180, 263)(123, 186, 271)(124, 127, 130)(129, 192, 279)(131, 195, 284)(133, 199, 288)(134, 200, 289)(136, 204, 296)(138, 207, 230)(139, 193, 281)(142, 212, 304)(143, 214, 308)(145, 216, 312)(147, 219, 317)(149, 223, 324)(150, 224, 326)(153, 225, 328)(155, 228, 332)(157, 231, 336)(159, 234, 342)(160, 236, 345)(162, 240, 351)(164, 243, 356)(166, 247, 361)(168, 250, 363)(170, 253, 367)(171, 196, 194)(173, 210, 301)(179, 249, 259)(181, 264, 205)(183, 266, 380)(185, 269, 385)(187, 273, 392)(189, 274, 339)(190, 276, 327)(198, 286, 401)(201, 291, 407)(203, 294, 413)(206, 298, 420)(208, 299, 421)(211, 302, 424)(213, 306, 428)(215, 310, 434)(217, 270, 387)(218, 315, 439)(220, 319, 386)(222, 322, 275)(226, 330, 452)(229, 333, 455)(232, 338, 460)(233, 340, 462)(235, 344, 248)(237, 260, 374)(239, 349, 474)(241, 353, 480)(242, 354, 481)(244, 358, 477)(246, 360, 486)(251, 365, 491)(252, 346, 468)(254, 368, 493)(256, 370, 496)(257, 335, 261)(265, 378, 507)(267, 382, 494)(268, 383, 512)(272, 390, 520)(277, 394, 525)(278, 325, 283)(280, 396, 528)(282, 398, 530)(285, 400, 533)(287, 388, 517)(290, 406, 541)(292, 409, 441)(293, 411, 492)(295, 415, 549)(297, 418, 416)(300, 423, 453)(303, 341, 464)(305, 337, 454)(307, 430, 369)(309, 432, 427)(311, 435, 563)(313, 437, 514)(314, 402, 535)(316, 389, 519)(318, 436, 564)(320, 442, 447)(321, 444, 561)(323, 446, 572)(329, 450, 445)(331, 395, 527)(334, 457, 410)(343, 466, 451)(347, 470, 590)(348, 472, 500)(350, 476, 502)(352, 478, 593)(355, 475, 592)(357, 482, 586)(359, 469, 588)(362, 488, 465)(364, 490, 598)(366, 473, 587)(371, 498, 524)(372, 499, 376)(373, 426, 557)(375, 503, 604)(377, 505, 607)(379, 509, 612)(381, 511, 429)(384, 513, 614)(391, 522, 619)(393, 523, 521)(397, 529, 544)(399, 531, 622)(403, 536, 443)(404, 537, 552)(405, 539, 576)(408, 543, 629)(412, 414, 532)(419, 508, 611)(422, 483, 526)(425, 556, 585)(431, 559, 495)(433, 562, 461)(438, 456, 579)(440, 567, 463)(448, 575, 645)(449, 554, 635)(458, 581, 574)(459, 471, 591)(467, 560, 638)(479, 580, 518)(484, 595, 625)(485, 596, 618)(487, 571, 566)(489, 568, 640)(497, 602, 589)(501, 558, 636)(504, 605, 655)(506, 609, 550)(510, 600, 643)(515, 573, 542)(516, 616, 660)(534, 626, 662)(538, 627, 639)(540, 628, 663)(545, 631, 578)(546, 551, 548)(547, 603, 654)(553, 577, 646)(555, 620, 565)(569, 615, 659)(570, 642, 617)(582, 647, 583)(584, 594, 651)(597, 641, 666)(599, 623, 637)(601, 621, 644)(606, 656, 671)(608, 610, 634)(613, 658, 630)(632, 633, 653)(648, 668, 649)(650, 652, 669)(657, 667, 672)(664, 665, 670), (1, 3, 7, 14, 27)(2, 5, 10, 20, 38, 56, 98, 41, 70, 78)(4, 8, 16, 31, 55, 96, 149, 22, 42, 72)(6, 12, 23, 44, 76, 123, 187, 52, 90, 113)(9, 18, 34, 61, 106, 166, 248, 97, 150, 111)(11, 21, 40, 69, 117, 181, 265, 379, 88, 138)(13, 25, 46, 79, 126, 189, 275,330, 453, 151)(15, 29, 51, 89, 139, 208, 300, 192, 280, 207)(17, 32, 57, 37, 66)(19, 36, 64, 28, 49, 85, 133, 163, 242, 355)(24, 45, 77, 124, 172, 177, 261, 152, 109, 171)(26, 47, 81, 129, 193, 282, 399, 532, 624, 661)(30, 53, 92, 142, 213, 307, 431, 560, 358, 484)(33, 59, 102, 159, 235)(35, 62, 108, 170, 254, 369, 495, 374, 502, 114)(39, 43, 74, 120, 183, 267, 273, 84, 131, 196)(48, 83, 95, 147, 220, 320, 443, 512, 614, 73)(50, 87, 136, 205, 297, 419, 552, 365, 486, 91)(54, 94, 145, 217, 314)(58, 100, 155, 229, 334, 458, 582, 648, 490, 592)(60, 104, 162, 241, 298)(63, 110, 173, 256, 371)(65, 112, 176, 260, 375)(67, 115, 179, 245, 359, 485, 525, 423, 326, 255)(68, 116, 80, 127, 190, 277, 395, 306, 429, 324)(71, 119, 128, 191, 278)(75,122, 185, 270, 388, 518, 274, 223, 325, 180)(82, 130, 194, 283, 182)(86, 134, 201, 292, 410, 536, 432, 561, 533, 625)(93, 143, 186, 272, 391, 464, 165, 246, 332, 154)(99, 153, 226, 331, 454, 383, 513, 263, 125, 188)(101, 157, 232, 339, 461)(103, 160, 237, 347, 471, 221, 321, 286, 402, 228)(105, 164, 244, 212, 305, 427, 322, 445, 571, 635)(107, 168, 251, 366, 492, 599, 653, 670, 481, 503)(118, 121, 184, 268, 384)(132, 198, 287, 403, 269, 386, 515, 596, 575, 406)(135, 203, 295, 416, 550, 628, 659, 660, 409, 545)(137, 206, 156, 230, 335, 279, 342, 465, 281, 397)(140, 210, 288, 404, 538, 593, 642, 511, 562, 227)(141, 211, 303, 426, 558, 637, 418, 509, 613, 535)(144, 215, 311, 169, 252, 361, 487, 446, 573, 644)(146, 218, 316, 234, 343)(148, 222, 323, 447, 574)(158, 233, 341, 356, 480)(161, 239, 350, 175, 259, 373, 501, 603, 607, 611)(167, 249, 354, 476, 301, 400, 195, 276, 393, 524)(174, 257, 224, 327, 448, 576, 529, 200, 290, 284)(178, 250, 364, 470, 428, 382, 435, 499, 349, 475)(197, 285, 304, 338, 310, 392, 302, 425, 351, 477)(199, 236, 346, 469, 589)(202, 293, 412, 546, 612)(204, 264, 377, 506, 530)(209, 258, 372, 500, 360)(214, 309, 433, 455, 578, 289, 405, 540, 579, 466)(216, 313, 438, 566, 450, 344, 262, 376, 504, 606)(219, 318, 440, 568, 641)(225, 329, 451, 380, 510, 564, 556, 472, 588, 498)(231, 337, 271, 389, 396)(238, 348, 473, 294, 414, 548, 609, 299, 422, 554)(240, 352, 479, 594, 652)(243, 357, 483, 572, 543, 398, 413, 547, 632, 664)(247, 362, 340, 463, 491)(253, 368, 494, 520, 394, 526, 452, 577, 522, 620)(266, 381, 444, 496, 601)(291, 408, 544, 630, 662, 672, 296, 417, 551, 634)(308, 385, 514, 615, 626, 539, 421, 553, 523, 621)(312, 436, 565, 638, 478, 581, 317, 437, 457, 580)(315, 390, 521, 618, 619, 567, 639, 482, 527, 591)(319, 441, 569, 517, 617, 430, 559, 367, 493, 600)(328, 449, 537, 598, 604)(333, 456, 488, 528, 420)(336, 459, 583, 649, 640, 666, 647, 668, 627, 353)(345, 467, 586, 646, 645, 667, 622, 654, 378, 508)(363, 489, 597, 439, 563)(370, 497)(387, 516, 442, 570, 643)(401, 534, 407, 542, 602)(411, 415, 505, 608, 657)(424, 555, 468, 587, 531, 623, 507, 610, 541, 595)(434, 519, 462, 585, 605, 656, 651, 669, 655, 671)(460, 584, 650, 474, 590)(549, 633, 665, 557, 636)(616, 629, 663, 631, 658) ]))' # H := PSU(6,2) # maximal duration for a GAP session in seconds # maximal memory for a GAP session '8G' quality 90%
¤ Dauer der Verarbeitung: 0.10 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
