Testing matrix groups for primitivity

被引:19
作者
Holt, DF
LeedhamGreen, CR
OBrien, EA
Rees, S
机构
[1] UNIV LONDON QUEEN MARY & WESTFIELD COLL,SCH MATH SCI,LONDON E1 4NS,ENGLAND
[2] RHEIN WESTFAL TH AACHEN,LEHRSTUHL MATH D,D-52062 AACHEN,GERMANY
[3] UNIV NEWCASTLE UPON TYNE,DEPT MATH & STAT,NEWCASTLE TYNE NE1 7RU,TYNE & WEAR,ENGLAND
关键词
FINITE;
D O I
10.1006/jabr.1996.0285
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We describe an algorithm which seeks to decide whether or not a matrix group defined over a finite field acts to preserve blocks of imprimitivity and, if so, to find a block system. Implementations of the algorithm are publicly available. (C) 1996 Academic Press, Inc.
引用
收藏
页码:795 / 817
页数:23
相关论文
共 13 条
[1]   ON THE MAXIMAL-SUBGROUPS OF THE FINITE CLASSICAL-GROUPS [J].
ASCHBACHER, M .
INVENTIONES MATHEMATICAE, 1984, 76 (03) :469-514
[2]  
Bosma W., 1994, Handbook of Magma Functions
[3]   GENERATING RANDOM ELEMENTS OF A FINITE-GROUP [J].
CELLER, F ;
LEEDHAMGREEN, CR ;
MURRAY, SH ;
NIEMEYER, AC ;
OBRIEN, EA .
COMMUNICATIONS IN ALGEBRA, 1995, 23 (13) :4931-4948
[4]   Representations induced in an invariant subgroup [J].
Clifford, AH .
ANNALS OF MATHEMATICS, 1937, 38 :533-550
[5]  
Conway J. H., 1985, Maximal Subgroups and Ordinary Characters for Simple Groups
[6]   TESTING MODULES FOR IRREDUCIBILITY [J].
HOLT, DF ;
REES, S .
JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY SERIES A-PURE MATHEMATICS AND STATISTICS, 1994, 57 :1-16
[7]   Computing matrix group decompositions with respect to a normal subgroup [J].
Holt, DF ;
LeedhamGreen, CR ;
OBrien, EA ;
Rees, S .
JOURNAL OF ALGEBRA, 1996, 184 (03) :818-838
[8]  
HuPPERT B., 1967, Endliche Gruppen. I. Die Grundlehren der mathematischen Wissenschaften, V134
[9]   PEAKWORD CONDENSATION AND SUBMODULE LATTICES - AN APPLICATION OF THE MEAT-AXE [J].
LUX, K ;
MULLER, J ;
RINGE, M .
JOURNAL OF SYMBOLIC COMPUTATION, 1994, 17 (06) :529-544
[10]  
NEUMANN PM, 1992, P LOND MATH SOC, V65, P555