GroupTheory - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

GroupTheory

  

Series

  

description of the subgroup series data structure

 

Description

Examples

Description

• 

This document describes the subgroup series data structure, and the operations that can be applied to them.

• 

For information about the (unrelated) power series data structure, see series.

• 

A series of subgroups of a group G is a nested sequence of subgroups of G of either of the forms

G=G1>G2>>Gm

or

1=G1<G2<<Gm

The former is called a descending series while the latter is called an ascending series.  The subgroups

Gk

are called terms of the series, and the integer m is called its length.

• 

Several commands in the GroupTheory package return series data structures representing subgroup series.  You can query the data structure for information about it by using any of the methods described below.  Particular series may support additional operations not described here.  (See the corresponding help for the particular type of series.)

• 

The number of terms in a series S is returned by the numelems command with the series as argument.

• 

If k is a valid index into a series, then the k-th term of the series S is gotten by the expression S[k].

• 

The lowerbound( S ) command returns the least valid index into a series data structure S, and the upperbound( S ) command returns the largest valid index into S.

• 

You can iterate over a series S by using either the seq command, or in a loop as shown below in the examples.

Examples

withGroupTheory&colon;

GDihedralGroup32

GD32

(1)

LLowerCentralSeriesG

LD321&comma;31&comma;29&comma;27&comma;25&comma;23&comma;21&comma;19&comma;17&comma;15&comma;13&comma;11&comma;9&comma;7&comma;5&comma;32&comma;32&comma;30&comma;28&comma;26&comma;24&comma;22&comma;20&comma;18&comma;16&comma;14&comma;12&comma;10&comma;8&comma;6&comma;41&comma;172&comma;183&comma;194&comma;205&comma;216&comma;227&comma;238&comma;249&comma;2510&comma;2611&comma;2712&comma;2813&comma;2914&comma;3015&comma;3116&comma;32

(2)

numelemsL

6

(3)

IdentifySmallGroupL3

8,1

(4)

seqGroupOrderH&comma;H=L

64,16,8,4,2,1

(5)

forHinLdoprintIdentifySmallGroupHenddo&colon;

64,52

16,1

8,1

4,1

2,1

1,1

(6)

See Also

GroupTheory[DerivedSeries]

GroupTheory[LowerCentralSeries]

GroupTheory[UpperCentralSeries]