SharedMeatAxe
1.0
|
mksub Options [-Gb] [-o Format] [-n Format] Name
This program calculates the submodule lattice using the output generated by mkinc and mkdotl. In this final step no matrix operations are involved. Instead the program works with bit strings representing the incidences and dotted-lines. The lattice may be decomposed into blocks using the "-b" option (see below).
Submodules are calculated generation by generation, the first generation consisting of all submodules generated by one local submodule. In the n-th generation all submodules generated by a submodule of generation n plus one local submodule are calculated. If no more submodules appear, the algorithm terminates.
Output is written to three text files and one binary file. The first file, Name.out, contains a list of irreducible constituents, the incidence matrix, the dimensions of all local submodules, a list of dotted lines, a list of all submodules, the radical and socle series, and a list of all mountains, i.e., local submodules. The second output file is Name.lat. It contains the lattice as a list in GAP format. This list contains, for each submodule, its dimension, maximal submodules and isomorphism types of simple factors are given (see the example below). The third output file, Name.gra, contains a description of the submodule lattice together with some additional information. This file is read by the mkgraph program to produce a graphical representation of the lattice. A further output file, Name.sub contains the submodule lattice in binary format. This file is read by the genmod program.
If the "-b" option is used, mksub tries to decompose the lattice into blocks. By definition, a block is a set of one or more composition factors which is closed under incidences of local submodules. For a decomposition into blocks to be possible, there must be direct summands with no common irreducible constituent. If a decomposition exists, the whole lattice can be reconstructed from its blocks by forming direct sums.
Output files are created separately for each block, and a number is appended to the name. For example, if the representation is called "psl277" and the lattice decomposes into 3 blocks, mksub creates 9 output files:
psl211.out.1 psl211.lat.1 psl211.gra.1 psl211.out.2 psl211.lat.2 psl211.gra.2 psl211.out.3 psl211.lat.3 psl211.gra.3
The default output as shown above may be changed by using the "-o" option. Format is any combination of "m", "d", "i", "e", "s", "r", "s". Each letter corresponds to a certain piece of output: