[xgap] 5.9 GraphicSubgroupLattice, Subgroups Menu

[Up] [Previous] [Next] [Index]

# 5.9 GraphicSubgroupLattice, Subgroups Menu

The `Subgroups` menu will be pulled down if you place the pointer inside the `Subgroups` button and press the left mouse button. Keep the button down and choose an entry by moving the pointer on top of this entry. Release the mouse button to select an entry.

Note that you can also get the `Subgroups` menu as a popup menu by clicking with the right mouse button into the graphic sheet of the subgroup lattice, but not on a vertex.

The result of a computation from any of the following entries is colored green, if your screen supports color. There will also be a short information message in the GAP window about the result.

In the following descriptions we use ``vertices'' as abbreviation for ``subgroups associated with vertices''.

The following descriptions do not apply to the case of finitely presented groups. See GraphicSubgroupLattice for FpGroups, Subgroups Menu for this case.

- `All Subgroups`

  For each selected vertex `All Subgroups` computes and displays all its subgroups. Requires at least one selected vertex. Use with care! This can cause huge computations! See also LatticeSubgroups in the GAP reference manual.

- `Centralizers`

  For each selected vertex `Centralizers` computes and displays its centralizer with respect to the whole group. Requires at least one selected vertex. See also Centralizer in the GAP reference manual.

- `Centres`

  For each selected vertex `Centres` computes and displays its centre. Requires at least one selected vertex. See also Centre in the GAP reference manual.

- `Closure`

  computes and displays the common closure of the selected vertices. Requires at least one selected vertex. See also ClosureGroup in the GAP reference manual.

- `Closures`

  computes and displays the closure of each pair of selected vertices. Requires at least two selected vertices. See also ClosureGroup in the GAP reference manual.

- `Commutator Subgroups`

  computes and displays the commutator subgroup of each pair of selected vertices. Requires at least two selected vertices. See also CommutatorSubgroup in the GAP reference manual.

- `Conjugate Subgroups`

  computes and displays the conjugacy class (with respect to the whole group) of each selected vertex. Requires at least one selected vertex. See also ConjugacyClass in the GAP reference manual.

- `Cores`

  For each selected vertex `Cores` computes and displays its core with respect to the whole group. Requires at least one selected vertex. See also Core in the GAP reference manual.

- `Derived Series`

  For each selected vertex `Derived Series` computes and displays its derived series. Requires at least one selected vertex. See also DerivedSeriesOfGroup in the GAP reference manual.

- `Derived Subgroups`

  For each selected vertex `Derived Subgroups` computes and displays its derived subgroup. Requires at least one selected vertex. See also DerivedSubgroup in the GAP reference manual.

- `Fitting Subgroups`

  For each selected vertex `Fitting Subgroups` computes and displays its Fitting subgroup. Requires at least one selected vertex. See also FittingSubgroup in the GAP reference manual.

- `Intermediate Subgroups`

  computes and displays all intermediate subgroups between two selected groups. Requires exactly two selected vertices. See also IntermediateSubgroups in the GAP reference manual.

- `Intersection`

  computes and displays the common intersection of the selected vertices. Requires at least one selected vertex. See also Intersection in the GAP reference manual.

- `Intersections`

  For each pair of selected vertices `Intersections` computes and displays the intersection of the two vertices. Requires at least two selected vertices. See also Intersection in the GAP reference manual.

- `Normalizers`

  For each selected vertex `Normalizers` computes and displays its normalizer with respect to the whole group. Requires at least one selected vertex. See also Normalizer in the GAP reference manual.

- `Normal Closures`

  For each selected vertex `Normal Closure` computes and displays its normal closure with respect to the whole group. Requires at least one selected vertex. See also NormalClosure in the GAP reference manual.

- `Normal Subgroups`

  For each selected vertex `Normal Subgroups` computes and displays the normal subgroups of the subgroup associated with this vertex. These new subgroups are not necessarily normal in the whole group. Requires at least one selected vertex. See also NormalSubgroups in the GAP reference manual.

- `Sylow Subgroups`

  pops up a dialog box asking for a prime. After entering a prime p and pressing return or clicking OK it computes and displays a Sylow p-subgroup for each selected vertex. Requires at least one selected vertex. See also SylowSubgroup in the GAP reference manual.

- `SelectedGroups to GAP`

  If the user selects this menu entry, the subgroups belonging to the selected vertices are put into a list which is stored into the variable `last`. This is equivalent to the statement `SelectedGroups(sheet);;` if `sheet` contains the graphic sheet object. If XGAP logging is on, then the normal GAP logging via `LogTo` is also directed to the XGAP log file.

- `InsertVertices from GAP`

  If the user selects this menu entry, the value of the variable `last` is used to insert new vertices into the graphic sheet. If `last` is equal to one subgroup, it is inserted via `InsertVertex`. If `last` is a list of subgroups, `InsertVertex` is called for all those subgroups. There is no error issued if one of the entries of `last` is no subgroup. If XGAP logging is on, then the normal GAP logging via `LogTo` is switched off! The idea of this is to switch the logging temporarily from XGAP logging to normal GAP logging between two clicks to `SelectedGroups to GAP` and `InsertVertices from GAP` respectively.

- `Start Logging`

  After clicking on this menu entry the user is prompted for a filename. From this point on all commands issued via mouse clicks in the subgroup menu are logged into that file, such that one can afterwards see ``what happened'' in the XGAP session. The information displayed is the same as in the info displays in the GAP window.

- `Stop Logging`

  A click onto this menu entry stops the XGAP logging.

  These menu entries represent only a small selection of the functions of GAP which the authors of XGAP considered most frequently used. You can calculate other subgroups like for example prefrattini subgroups from the GAP command window. See sections gapxgap and xgapgap for examples how to transfer information from the graphical lattice of XGAP to GAP (via `SelectedGroups`, see GraphicSubgroupLattice, Selecting Vertices) and vice versa (via `SelectGroups`, see GraphicSubgroupLattice, Selecting Vertices, and `InsertVertex`, see GraphicSubgroupLattice, Inserting Vertices).

  [Up] [Previous] [Next] [Index]