mksub - Find Submodules

Command Line

mksub Options [-Gb] [-o Format] [-n Format] Name 

Options

Standard options, see Standard Command Line Options

-G

Produce output in GAP format.

-b

Find blocks (see description).

-o Format

Include the selected parts in the output (see description).

-n Format

Exclude the selected parts from the output (see description).

Name

Name of the representation.

Input Files

Name.cfinfo

Constituent info file.

Name.inc

Incidence matrix generated by mkinc.

Name.dot

Dotted-lines generated by mkdotl.

Name.mnt

Mountain dimensions.

Output Files

Name.cfinfo

Constituent info file.

Name.out

Submodule lattice.

Name.lat

Incidence matrix of the submodules (GAP).

Name.gra

Submodule lattice for mkgraph.

Description

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.

Blocks

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

Changing the Output Format

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:

m

Mountains.

d

Dotted lines.

i

Incidence matrix.

e

".lat" and ".gra" files.

s

Submodules.

r

Radical series.

o

Socle series.