GroupTheory - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Group Theory : GroupTheory/DrawSubgroupLattice

GroupTheory

  

DrawSubgroupLattice

  

draw the subgroup lattice of a finite group

 

Calling Sequence

Parameters

Options

Description

Examples

Compatibility

Calling Sequence

DrawSubgroupLattice(G, opts)

DrawSubgroupLattice(sgl, opts)

Parameters

G

-

group data structure

opts

-

(optional) equations of the form keyword or keyword=value, explained below

sgl

-

subgroup lattice data structure

Options

• 

assignlattice = name

  

Specifying assignlattice = x causes Maple to assign the subgroup lattice of G to the name x. If x already has an assigned value, it will typically be necessary to use quotes to prevent evaluation of x: one can do so by specifying assignelements = 'x'.

• 

vertexcolor = color and edgecolor = color

  

These two options control the color for subgroups not specified by any of the following options, and the color with which the edges are colored, respectively. The default is white for the vertex color and gray for the edge color. The colors need to be specified in a way that is recognized by ColorTools[Color]. Maple also accepts the alternative spellings vertexcolour and edgecolour.

• 

highlight = subgroup, or list of subgroups, or list of equations

  

The highlight option can be used to visually highlight one or a few subgroups by drawing the vertices that correspond to them in a particular color. The highlight option can be specified in multiple ways; in the following explanation, H1, H2, H3, H4 are subgroups of G and color1, color2 are colors recognized by ColorTools[Color]:

– 

it can be a single subgroup H1,

– 

it can be an equation H1 = color1,

– 

it can be an equation [H1, H2, H3] = color1,

– 

it can be a list of multiple entries of the previous three forms, such as [H1, [H2, H3] = color1, H4 = color2]

  

In all these cases, each subgroup Hi can be replaced by a subgroup series object consisting of subgroups of G (such as a LowerCentralSeries object).

  

Subgroups can be specified as group data structures for which the parent group is G, or as sets of generators.

  

Subgroups specified in the highlight option with an associated color will have the corresponding vertices highlighted in that color. Any subgroup that is specified in the highlight option, but has no associated color (such as H1 in the last example), will be highlighted in red. Subgroups not mentioned in the highlight option will be colored according to the vertexcolor option.

  

Colors of vertices can also be specified by the normal, center, or derived options described below. If multiple options specify the color for a single subgroup, then the priorities are as follows: highlight overrules center, center overrules derived, and derived overrules vertexcolor.

  

If you wish to supply an equation as the value of the option, then be aware that highlight = H1 = color1 will not be parsed correctly; the easiest way around that is to parenthesize the equation, as highlight = (H1 = color1).

• 

center or center = color or center = true or center = false

  

Specifying this option is the same as including Center(G) = "LightBlue" or Center(G) = color in the highlight option. Specifying center = false colors the center in the same way as other subgroups. The default is center = true, if the group supports the Center operation.

• 

normal or normal = color or normal = true or normal = false

  

Specifying this option is the same as including H = "LightGreen" or H = color in the highlight option, for every normal subgroup H of G. (Normal subgroups can be recognized visually as being the only ones in their conjugacy class.) Specifying normal = false colors the normal subgroups in the same way as other subgroups. The default is normal = true.

• 

derived or derived = color or derived = true or derived = false

  

Specifying this option is the same as including H = "red" or H = color in the highlight option, for every group H in the derived series of G.  Specifying derived = false colors these subgroups in the same way as other subgroups. The default is derived = false.

• 

indices or indices = true or indices = false

  

If the option indices = true or indices is specified, then every edge in the subgroup lattice graph, corresponding, say, to an inclusion of a subgroup H1 into a subgroup H2, is labeled with the index of H1 in H2. If indices = false is specified (the default) there are no labels on edges.

• 

directed = true or false

  

If the option directed = true or directed is specified, then every edge in the subgroup lattice graph is directed from the smaller to the larger subgroup. If directed = false is specified (the default) then this is not the case.

• 

labels = integers or labels = zuppos or labels = none or labels = ids

  

By default, each vertex is labeled with a single integer: the position of the corresponding subgroup in the list of subgroups obtained by calling convert(sgl, list) (see the SubgroupLattice help page for details). This behavior is explicitly specified by including the option labels = integers.

  

If you specify the option labels = none, the vertices will not be labeled. This option has no effect when combined with the output = graph option.

  

Alternatively, each vertex can be labeled with multiple integers. These integers correspond to the zuppos generating the corresponding subgroup H (the zuppos are ordered in a certain way and the integers correspond to the positions of the zuppos that generate H in the list of all zuppos). This allows for easy visual verification of the inclusion relations. This behavior is specified by including the option labels = zuppos. For more details about zuppos, see the SubgroupLattice help page.

  

The last alternative is that each vertex is labeled with its subgroup identity as determined by IdentifySmallGroup, with the size and number of the group separated by a slash (`/`). For example, the cyclic group with six elements is the second group of that order; it would get label 6/2. This is obtained by using the option labels = ids.

• 

output = graph or output = plot

  

By default, this command returns a graphical representation of the subgroup lattice: a plot data structure for the corresponding graph. This behavior is explicitly specified by including the option output = plot.

  

Alternatively, if the option output = graph is specified, then this command returns the corresponding graph data structure itself, generated using the GraphTheory package. Its structure can then be examined or the display fine-tuned. In order to display the resulting graph, call the GraphTheory[DrawGraph] command.

• 

title = expr

  

The given expression is typeset as the title above the subgroup lattice. This option is ignored if output = graph is specified.

• 

titlefont = list

  

The title is printed with this font.  The font is specified as explained in plot/options.  This option is ignored if output = graph is specified.

Description

• 

The command DrawSubgroupLattice accepts a finite group G, calls the SubgroupLattice command in order to compute the subgroup lattice of G, and returns a plot of that subgroup lattice. Alternatively, you can pass it a subgroup lattice data structure you had computed before.

• 

The subgroup lattice is displayed as a graph with a vertex for each subgroup of G and an edge between two subgroups H1 and H2 if H1 is a subgroup of H2 and there are no subgroups in between.  The vertices are drawn in horizontal layers corresponding to the layer structure described on the SubgroupLattice help page. Furthermore, in each layer, conjugacy classes of subgroups have their vertices spaced closer together than subgroups that are not conjugate.

Examples

withGroupTheory:

Consider a group of order 48.

g1SmallGroup48,8

g11,2,8,34,12,22,185,11,21,176,14,7,139,16,31,2010,15,32,1923,36,47,4424,35,48,4325,34,45,4226,33,46,4127,40,29,3828,39,30,37,1,4,7,21,8,22,6,52,11,14,18,3,17,13,129,23,29,45,31,47,27,2510,24,30,46,32,48,28,2615,33,39,43,19,41,37,3516,34,40,44,20,42,38,36,1,6,8,72,13,3,144,5,22,219,27,31,2910,28,32,3011,12,17,1815,37,19,3916,38,20,4023,25,47,4524,26,48,4633,35,41,4334,36,42,44,1,82,34,225,216,79,3110,3211,1712,1813,1415,1916,2023,4724,4825,4526,4627,2928,3033,4134,4235,4336,4437,3938,40,1,9,102,15,163,19,204,23,245,25,266,27,287,29,308,31,3211,33,3412,35,3613,37,3814,39,4017,41,4218,43,4421,45,4622,47,48

(1)

We view its subgroup lattice.

DrawSubgroupLatticeg1

Alternatively, we can highlight the subgroups given by each of the generators of the group. We see that some of the generators are redundant: they are contained in supergroups that are generated by other generators.

DrawSubgroupLatticeg1,'highlight'=map`{}`,Generatorsg1

Let's take a look at the lower central series of g1. The two invocations of DrawSubgroupLattice are equivalent.

lcsLowerCentralSeriesg1

lcs1,2,8,34,12,22,185,11,21,176,14,7,139,16,31,2010,15,32,1923,36,47,4424,35,48,4325,34,45,4226,33,46,4127,40,29,3828,39,30,37,1,4,7,21,8,22,6,52,11,14,18,3,17,13,129,23,29,45,31,47,27,2510,24,30,46,32,48,28,2615,33,39,43,19,41,37,3516,34,40,44,20,42,38,36,1,6,8,72,13,3,144,5,22,219,27,31,2910,28,32,3011,12,17,1815,37,19,3916,38,20,4023,25,47,4524,26,48,4633,35,41,4334,36,42,44,1,82,34,225,216,79,3110,3211,1712,1813,1415,1916,2023,4724,4825,4526,4627,2928,3033,4134,4235,4336,4437,3938,40,1,9,102,15,163,19,204,23,245,25,266,27,287,29,308,31,3211,33,3412,35,3613,37,3814,39,4017,41,4218,43,4421,45,4622,47,481,7,8,62,14,3,134,21,22,59,29,31,2710,30,32,2811,18,17,1215,39,19,3716,40,20,3823,45,47,2524,46,48,2633,43,41,3534,44,42,36,1,10,92,16,153,20,194,24,235,26,256,28,277,30,298,32,3111,34,3312,36,3513,38,3714,40,3917,42,4118,44,4321,46,4522,48,471,9,102,15,163,19,204,23,245,25,266,27,287,29,308,31,3211,33,3412,35,3613,37,3814,39,4017,41,4218,43,4421,45,4622,47,48,1,82,34,225,216,79,3110,3211,1712,1813,1415,1916,2023,4724,4825,4526,4627,2928,3033,4134,4235,4336,4437,3938,401,10,92,16,153,20,194,24,235,26,256,28,277,30,298,32,3111,34,3312,36,3513,38,3714,40,3917,42,4118,44,4321,46,4522,48,47

(2)

DrawSubgroupLatticeg1,'highlight'=seqi,i=lcs

DrawSubgroupLatticeg1,'highlight'=lcs

Try a different group, of order 24. We represent it as a Cayley table group.

g2GroupCayleyTableSmallGroup24,1

g2 < a Cayley table group with 24 elements >

(3)

DrawSubgroupLatticeg2

We can highlight the derived series members instead of the center and the other normal subgroups, and assign the subgroup lattice data structure to a variable l.

DrawSubgroupLatticeg2&comma;&apos;derived&apos;&comma;&apos;center&equals;false&apos;&comma;&apos;normal&equals;false&apos;&comma;&apos;assignlattice&equals;l&apos;&comma;&apos;title&apos;&equals;Derived subgroup&comma;&apos;titlefont&apos;&equals;HELVETICA&comma;10

l

subgroup lattice8 conjugacy classes10 subgroups

(4)

With the labels option, we can show the zuppos in each subgroup. With the indices option, we can show the index of each subgroup in each of its direct supergroups.

DrawSubgroupLatticeg2&comma;&apos;labels&equals;zuppos&apos;&comma;&apos;indices&apos;

Alternatively, we can use the labels option to show the small group identity of each subgroup.

DrawSubgroupLatticeg2&comma;&apos;labels&equals;ids&apos;

Finally, by requesting the output as a graph data structure, we can enable display in 3-D.

g3SmallGroup60&comma;9

g31&comma;2&comma;34&comma;8&comma;125&comma;9&comma;136&comma;11&comma;227&comma;24&comma;1410&comma;15&comma;2316&comma;25&comma;3117&comma;27&comma;3918&comma;41&comma;3219&comma;28&comma;3420&comma;30&comma;4421&comma;46&comma;3526&comma;33&comma;4029&comma;36&comma;4537&comma;48&comma;5538&comma;57&comma;5142&comma;50&comma;5843&comma;60&comma;5347&comma;52&comma;5649&comma;54&comma;59&comma;1&comma;4&comma;16&comma;19&comma;52&comma;8&comma;25&comma;28&comma;93&comma;12&comma;31&comma;34&comma;136&comma;17&comma;37&comma;42&comma;207&comma;18&comma;38&comma;43&comma;2110&comma;26&comma;47&comma;49&comma;2911&comma;27&comma;48&comma;50&comma;3014&comma;32&comma;51&comma;53&comma;3515&comma;33&comma;52&comma;54&comma;3622&comma;39&comma;55&comma;58&comma;4423&comma;40&comma;56&comma;59&comma;4524&comma;41&comma;57&comma;60&comma;46&comma;1&comma;62&comma;103&comma;144&comma;175&comma;207&comma;238&comma;269&comma;2911&comma;2412&comma;3213&comma;3515&comma;2216&comma;3718&comma;4019&comma;4221&comma;4525&comma;4727&comma;4128&comma;4930&comma;4631&comma;5133&comma;3934&comma;5336&comma;4438&comma;5643&comma;5948&comma;5750&comma;6052&comma;5554&comma;58&comma;1&comma;72&comma;113&comma;154&comma;185&comma;216&comma;238&comma;279&comma;3010&comma;2412&comma;3313&comma;3614&comma;2216&comma;3817&comma;4019&comma;4320&comma;4525&comma;4826&comma;4128&comma;5029&comma;4631&comma;5232&comma;3934&comma;5435&comma;4437&comma;5642&comma;5947&comma;5749&comma;6051&comma;5553&comma;58

(5)

graph3DrawSubgroupLatticeg3&comma;&apos;labels&equals;zuppos&apos;&comma;&apos;directed&apos;&comma;&apos;highlight&apos;&equals;g3&comma;&comma;&apos;vertexcolor&equals;DarkGrey&apos;&comma;&apos;edgecolor&equals;DarkGrey&apos;&comma;&apos;output&equals;graph&apos;

graph3Graph 1: a directed unweighted graph with 20 vertices and 40 arc(s)

(6)

GraphTheory:-DrawGraphgraph3&comma;&apos;dimension&equals;3&apos;&comma;&apos;style&equals;spring&apos;

Compatibility

• 

The GroupTheory[DrawSubgroupLattice] command was introduced in Maple 17.

• 

For more information on Maple 17 changes, see Updates in Maple 17.

See Also

GroupTheory

GroupTheory[DirectProduct]

GroupTheory[DrawCayleyTable]

GroupTheory[Group]

GroupTheory[IdentifySmallGroup]

GroupTheory[SubgroupLattice]