Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/hecke/lib/e5/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 29.7.2024 mit Größe 7 kB image not shown  

Quelle  p5sym.15   Sprache: unbekannt

 
## This is a GAP library file generated by 
## SPECHT version 2.0, (C) Andrew Mathas 1996.

## This file contains the decomposition matrix
## of the symmetric group Sym(15) over a field
## of characteristic 5.

A_Specht_Decomposition_Matrix:=rec(
d:=[[1,13],[1,1,1,1,1,1,6,7,12,14,18,19],[1,1,17,20],[1,1,1,5,8,22],[1,1,1,1,
11,15,21,23],[1,1,16,24],[1,1,4,25],[1,1,1,1,10,11,23,26],[1,1,31,32],[1,36],[
1,1,1,1,1,1,1,1,12,14,18,19,30,33,35,37],[1,1,34,38],[1,1,1,22,39,40],[1,1,29,
41],[1,1,1,1,1,3,5,22,40,42],[1,1,1,1,1,1,1,1,9,12,19,27,28,30,37,43],[1,1,1,
1,1,1,18,19,35,37,45,46],[1,1,44,47],[1,1,1,21,23,48],[1,1,41,49],[1,1,47,
50],[1,1,1,1,1,1,1,1,1,1,2,6,9,12,18,19,37,43,46,51],[1,1,24,52],[1,1,38,53],[
1,1,1,1,1,1,1,1,1,2,12,18,33,37,51,54],[1,58],[1,1,57,59],[1,1,62,63],[1,1,1,
1,1,1,1,1,30,33,35,37,56,60,61,64],[1,1,25,65],[1,1,1,40,42,66],[1,1,1,1,1,1,
1,1,28,30,37,43,55,56,64,67],[1,1,63,68],[1,70],[1,1,1,1,1,1,1,1,35,37,45,46,
61,64,69,71],[1,72],[1,1,1,1,23,26,48,73],[1,1,1,1,1,1,1,1,37,43,46,51,64,67,
71,74],[1,1,59,75],[1,1,20,76],[1,1,1,1,1,1,1,1,33,37,51,54,60,64,74,77],[1,1,
1,1,1,1,45,46,69,71,78,79],[1,80],[1,1,1,1,1,1,1,1,1,1,19,27,37,43,45,46,71,
74,79,81],[1,1,32,82],[1,1,1,1,1,1,1,1,14,19,33,37,74,77,81,83],[1,1,1,1,1,1,
1,1,1,1,7,14,18,19,37,46,67,74,83,84],[1,1,87,88],[1,1,86,89],[1,1,65,91],[1,
1,1,1,1,39,40,66,90,92],[1,1,1,1,1,1,55,56,64,67,85,93],[1,94],[1,1,1,66,92,
95],[1,1,88,96],[1,1,1,1,48,73,97,98],[1,1,1,1,1,1,64,67,71,74,93,99],[1,1,1,
73,98,100],[1,1,89,101],[1,1,1,1,1,15,23,73,100,102],[1,1,49,103],[1,1,1,1,1,
1,71,74,79,81,99,104],[1,1,82,105],[1,1,101,106],[1,1,1,1,1,1,8,22,40,66,95,
107],[1,1,1,1,1,1,1,1,46,51,71,74,78,79,104,108],[1,1,75,109],[1,1,96,110],[1,
1,91,113],[1,1,1,1,90,92,112,114],[1,1,1,1,1,1,1,1,56,60,61,64,85,93,111,
115],[1,1,116,117],[1,118],[1,1,117,119],[1,1,1,1,92,95,114,120],[1,1,52,
121],[1,1,76,122],[1,1,1,1,1,1,1,1,60,64,74,77,93,99,115,123],[1,1,1,100,102,
124],[1,1,119,125],[1,1,53,126],[1,1,1,1,1,1,1,1,74,77,81,83,99,104,123,127],[
1,1,1,1,95,107,120,128],[1,1,1,1,1,1,1,1,51,54,74,77,104,108,127,129],[1,1,68,
130],[1,1,1,1,1,42,66,95,128,131],[1,1,1,1,97,98,133,134],[1,1,1,1,1,1,1,1,1,
1,61,64,69,71,93,99,111,115,132,135],[1,1,121,136],[1,1,122,137],[1,1,1,1,1,1,
93,99,115,123,135,138],[1,1,1,1,1,98,100,124,134,139],[1,140],[1,141],[1,1,1,
124,139,142],[1,1,50,143],[1,1,1,1,1,1,1,1,1,1,67,74,83,84,93,99,123,127,138,
144],[1,1,1,1,1,1,1,1,43,51,67,74,127,129,144,145],[1,1,1,1,1,1,26,73,100,124,
142,146],[1,1,103,148],[1,1,1,1,1,1,1,1,1,1,69,71,78,79,99,104,132,135,147,
149],[1,1,105,150],[1,1,126,151],[1,1,1,1,1,1,1,1,99,104,123,127,135,138,149,
152],[1,1,1,120,128,153],[1,1,143,154],[1,1,1,1,1,1,123,127,138,144,152,155],[
1,156],[1,1,1,1,1,1,1,1,1,1,27,43,74,81,123,127,144,145,155,157],[1,1,1,1,1,1,
1,1,78,79,104,108,147,149,158,159],[1,1,109,160],[1,1,1,1,1,1,1,1,104,108,127,
129,149,152,159,161],[1,1,130,162],[1,1,1,1,1,1,1,1,127,129,144,145,152,155,
161,163],[1,1,1,1,1,1,144,145,155,157,163,164],[1,1,1,1,1,1,79,81,104,158,159,
165],[1,1,106,166],[1,1,110,167],[1,1,1,1,128,131,153,168],[1,1,1,142,146,
169],[1,1,1,1,1,1,1,1,81,83,104,127,159,161,165,170],[1,1,1,1,107,128,168,
171],[1,1,125,172],[1,1,1,1,1,1,1,1,83,84,127,144,161,163,170,173],[1,1,1,1,1,
102,124,142,169,174],[1,1,1,1,1,1,1,1,1,1,77,83,123,127,144,155,163,164,173,
175],[1,1,1,1,1,1,1,1,54,77,127,129,155,163,175,176]],rows:=[[1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1],[2,1,1,1,1,1,1,1,1,1,1,1,1,1],[2,2,1,1,1,1,1,1,1,1,1,1,1],[2,2,
2,1,1,1,1,1,1,1,1,1],[2,2,2,2,1,1,1,1,1,1,1],[2,2,2,2,2,1,1,1,1,1],[2,2,2,2,2,
2,1,1,1],[2,2,2,2,2,2,2,1],[3,1,1,1,1,1,1,1,1,1,1,1,1],[3,2,1,1,1,1,1,1,1,1,1,
1],[3,2,2,1,1,1,1,1,1,1,1],[3,2,2,2,1,1,1,1,1,1],[3,2,2,2,2,1,1,1,1],[3,2,2,2,
2,2,1,1],[3,2,2,2,2,2,2],[3,3,1,1,1,1,1,1,1,1,1],[3,3,2,1,1,1,1,1,1,1],[3,3,2,
2,1,1,1,1,1],[3,3,2,2,2,1,1,1],[3,3,2,2,2,2,1],[3,3,3,1,1,1,1,1,1],[3,3,3,2,1,
1,1,1],[3,3,3,2,2,1,1],[3,3,3,2,2,2],[3,3,3,3,1,1,1],[3,3,3,3,2,1],[3,3,3,3,
3],[4,1,1,1,1,1,1,1,1,1,1,1],[4,2,1,1,1,1,1,1,1,1,1],[4,2,2,1,1,1,1,1,1,1],[4,
2,2,2,1,1,1,1,1],[4,2,2,2,2,1,1,1],[4,2,2,2,2,2,1],[4,3,1,1,1,1,1,1,1,1],[4,3,
2,1,1,1,1,1,1],[4,3,2,2,1,1,1,1],[4,3,2,2,2,1,1],[4,3,2,2,2,2],[4,3,3,1,1,1,1,
1],[4,3,3,2,1,1,1],[4,3,3,2,2,1],[4,3,3,3,1,1],[4,3,3,3,2],[4,4,1,1,1,1,1,1,
1],[4,4,2,1,1,1,1,1],[4,4,2,2,1,1,1],[4,4,2,2,2,1],[4,4,3,1,1,1,1],[4,4,3,2,1,
1],[4,4,3,2,2],[4,4,3,3,1],[4,4,4,1,1,1],[4,4,4,2,1],[4,4,4,3],[5,1,1,1,1,1,1,
1,1,1,1],[5,2,1,1,1,1,1,1,1,1],[5,2,2,1,1,1,1,1,1],[5,2,2,2,1,1,1,1],[5,2,2,2,
2,1,1],[5,2,2,2,2,2],[5,3,1,1,1,1,1,1,1],[5,3,2,1,1,1,1,1],[5,3,2,2,1,1,1],[5,
3,2,2,2,1],[5,3,3,1,1,1,1],[5,3,3,2,1,1],[5,3,3,2,2],[5,3,3,3,1],[5,4,1,1,1,1,
1,1],[5,4,2,1,1,1,1],[5,4,2,2,1,1],[5,4,2,2,2],[5,4,3,1,1,1],[5,4,3,2,1],[5,4,
3,3],[5,4,4,1,1],[5,4,4,2],[5,5,1,1,1,1,1],[5,5,2,1,1,1],[5,5,2,2,1],[5,5,3,1,
1],[5,5,3,2],[5,5,4,1],[5,5,5],[6,1,1,1,1,1,1,1,1,1],[6,2,1,1,1,1,1,1,1],[6,2,
2,1,1,1,1,1],[6,2,2,2,1,1,1],[6,2,2,2,2,1],[6,3,1,1,1,1,1,1],[6,3,2,1,1,1,1],[
6,3,2,2,1,1],[6,3,2,2,2],[6,3,3,1,1,1],[6,3,3,2,1],[6,3,3,3],[6,4,1,1,1,1,1],[
6,4,2,1,1,1],[6,4,2,2,1],[6,4,3,1,1],[6,4,3,2],[6,4,4,1],[6,5,1,1,1,1],[6,5,2,
1,1],[6,5,2,2],[6,5,3,1],[6,5,4],[6,6,1,1,1],[6,6,2,1],[6,6,3],[7,1,1,1,1,1,1,
1,1],[7,2,1,1,1,1,1,1],[7,2,2,1,1,1,1],[7,2,2,2,1,1],[7,2,2,2,2],[7,3,1,1,1,1,
1],[7,3,2,1,1,1],[7,3,2,2,1],[7,3,3,1,1],[7,3,3,2],[7,4,1,1,1,1],[7,4,2,1,1],[
7,4,2,2],[7,4,3,1],[7,4,4],[7,5,1,1,1],[7,5,2,1],[7,5,3],[7,6,1,1],[7,6,2],[7,
7,1],[8,1,1,1,1,1,1,1],[8,2,1,1,1,1,1],[8,2,2,1,1,1],[8,2,2,2,1],[8,3,1,1,1,
1],[8,3,2,1,1],[8,3,2,2],[8,3,3,1],[8,4,1,1,1],[8,4,2,1],[8,4,3],[8,5,1,1],[8,
5,2],[8,6,1],[8,7],[9,1,1,1,1,1,1],[9,2,1,1,1,1],[9,2,2,1,1],[9,2,2,2],[9,3,1,
1,1],[9,3,2,1],[9,3,3],[9,4,1,1],[9,4,2],[9,5,1],[9,6],[10,1,1,1,1,1],[10,2,1,
1,1],[10,2,2,1],[10,3,1,1],[10,3,2],[10,4,1],[10,5],[11,1,1,1,1],[11,2,1,1],[
11,2,2],[11,3,1],[11,4],[12,1,1,1],[12,2,1],[12,3],[13,1,1],[13,2],[14,1],[
15]],cols:=[[3,2,2,2,2,1,1,1,1],[3,3,2,2,2,1,1,1],[3,3,2,2,2,2,1],[3,3,3,2,1,
1,1,1],[3,3,3,2,2,1,1],[3,3,3,2,2,2],[3,3,3,3,1,1,1],[3,3,3,3,2,1],[4,2,2,2,2,
1,1,1],[4,3,2,2,1,1,1,1],[4,3,2,2,2,1,1],[4,3,2,2,2,2],[4,3,3,2,1,1,1],[4,3,3,
2,2,1],[4,3,3,3,1,1],[4,3,3,3,2],[4,4,2,2,1,1,1],[4,4,2,2,2,1],[4,4,3,1,1,1,
1],[4,4,3,2,1,1],[4,4,3,2,2],[4,4,3,3,1],[4,4,4,1,1,1],[4,4,4,2,1],[4,4,4,3],[
5,2,2,2,1,1,1,1],[5,2,2,2,2,1,1],[5,3,2,2,1,1,1],[5,3,2,2,2,1],[5,3,3,1,1,1,
1],[5,3,3,2,1,1],[5,3,3,2,2],[5,3,3,3,1],[5,4,2,1,1,1,1],[5,4,2,2,1,1],[5,4,2,
2,2],[5,4,3,1,1,1],[5,4,3,2,1],[5,4,3,3],[5,4,4,1,1],[5,4,4,2],[5,5,2,1,1,1],[
5,5,2,2,1],[5,5,3,1,1],[5,5,3,2],[5,5,4,1],[5,5,5],[6,2,2,2,1,1,1],[6,2,2,2,2,
1],[6,3,2,1,1,1,1],[6,3,2,2,1,1],[6,3,2,2,2],[6,3,3,1,1,1],[6,3,3,2,1],[6,3,3,
3],[6,4,2,1,1,1],[6,4,2,2,1],[6,4,3,1,1],[6,4,3,2],[6,4,4,1],[6,5,1,1,1,1],[6,
5,2,1,1],[6,5,2,2],[6,5,3,1],[6,5,4],[6,6,1,1,1],[6,6,2,1],[6,6,3],[7,2,2,1,1,
1,1],[7,2,2,2,1,1],[7,2,2,2,2],[7,3,2,1,1,1],[7,3,2,2,1],[7,3,3,1,1],[7,3,3,
2],[7,4,1,1,1,1],[7,4,2,1,1],[7,4,2,2],[7,4,3,1],[7,4,4],[7,5,1,1,1],[7,5,2,
1],[7,5,3],[7,6,1,1],[7,6,2],[7,7,1],[8,2,2,1,1,1],[8,2,2,2,1],[8,3,1,1,1,1],[
8,3,2,1,1],[8,3,2,2],[8,3,3,1],[8,4,1,1,1],[8,4,2,1],[8,4,3],[8,5,1,1],[8,5,
2],[8,6,1],[8,7],[9,2,1,1,1,1],[9,2,2,1,1],[9,2,2,2],[9,3,1,1,1],[9,3,2,1],[9,
3,3],[9,4,1,1],[9,4,2],[9,5,1],[9,6],[10,2,1,1,1],[10,2,2,1],[10,3,1,1],[10,3,
2],[10,4,1],[10,5],[11,1,1,1,1],[11,2,1,1],[11,2,2],[11,3,1],[11,4],[12,1,1,
1],[12,2,1],[12,3],[13,1,1],[13,2],[14,1],[15]]);

[ Dauer der Verarbeitung: 0.13 Sekunden  (vorverarbeitet)  ]