1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
|
#############################################################################
##
#W grppccom.gd GAP Library Frank Celler
#W Alexander Hulpke
##
#H @(#)$Id: grppccom.gd,v 4.10 2002/09/03 15:23:48 gap Exp $
##
#Y Copyright (C) 1997, Lehrstuhl D fuer Mathematik, RWTH Aachen, Germany
#Y (C) 1998 School Math and Comp. Sci., University of St. Andrews, Scotland
#Y Copyright (C) 2002 The GAP Group
##
## This file contains the operations for the computation of complements in
## pc groups
##
Revision.grppccom_gd :=
"@(#)$Id: grppccom.gd,v 4.10 2002/09/03 15:23:48 gap Exp $";
#############################################################################
##
#V InfoComplement
##
## Info class for the complement routines.
DeclareInfoClass("InfoComplement");
#############################################################################
##
#O COAffineBlocks( <S>, <mats> ) . . . . . . . . . . . . . . . . . . . local
##
DeclareGlobalFunction("COAffineBlocks");
#############################################################################
##
#O CONextCentralizer( <ocr>, <S>, <H> ) . . . . . . . . . . . . . . . local
##
DeclareGlobalFunction("CONextCentralizer");
#############################################################################
##
#O CONextCocycles( <cor>, <ocr>, <S> ) . . . . . . . . . . . . . . . . local
##
DeclareGlobalFunction("CONextCocycles");
#############################################################################
##
#O CONextCentral( <cor>, <ocr>, <S> ) . . . . . . . . . . . . . . . . local
##
DeclareGlobalFunction("CONextCentral");
#############################################################################
##
#O CONextComplements( <cor>, <S>, <K>, <M> ) . . . . . . . . . . . . . local
##
DeclareGlobalFunction("CONextComplements");
#############################################################################
##
#O COComplements( <cor>, <G>, <N>, <all> ) . . . . . . . . . . . . . . local
##
DeclareGlobalFunction("COComplements");
#############################################################################
##
#O COComplementsMain( <G>, <N>, <all>, <fun> ) . . . . . . . . . . . . . local
##
DeclareGlobalFunction("COComplementsMain");
#############################################################################
##
#O ComplementclassesSolvableNC( <G>, <N> )
##
## computes a set of representatives of the complement classes of <N> in
## <G> by cohomological methods. <N> must be a solvable normal subgroup
## of <G>.
DeclareOperation("ComplementclassesSolvableNC",
[IsGroup,IsGroup]);
#############################################################################
##
#O Complementclasses( <G>, <N> ) . . . . . . . . . . . . find all complement
##
## Let <N> be a normal subgroup of <G>. This command returns a set of
## representatives for the conjugacy classes of complements of <N> in <G>.
## Complements are subgroups <U> of <G> which intersect trivially with <N>
## and together with <N> generate <G>.
##
## At the moment only methods for a solvable <N> are available.
DeclareOperation("Complementclasses",[IsGroup,IsGroup]);
#############################################################################
##
#E grppccom.gd . . . . . . . . . . . . . . . . . . . . . . . . . . ends here
##
|
