Generators - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Mozilla Firefox.

Online Help

All Products    Maple    MapleSim


GroupTheory

  

Generators

  

obtain the generators of a group

  

NonRedundantGenerators

  

obtain the generators of a group, with redundant ones filtered out

  

Labels

  

obtain labels for the generators of a group

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

Generators(g)

NonRedundantGenerators(g)

Labels(g)

Parameters

g

-

group data structure

Description

• 

The Generators command returns a list of generators of a group.

• 

The NonRedundantGenerators command returns a list of generators of a group, with redundant generators removed (no proper subset of the generators will generate the full group). This is typically a bit more time-consuming to compute than Generators.

• 

The Labels command returns a list of labels for the generators of a group, or undefined if no labels are defined. In the first case, the labels are in the same order as the list that Generators returns.

Examples

> 

with⁡GroupTheory:

> 

g1≔Group⁡a=Perm⁡1,2,b=Perm⁡2,3,Perm⁡3,4

g1≔1,2,2,3,3,4

(1)
> 

Generators⁡g1

1,2,2,3,3,4

(2)

Maple selects a label for the generator missing one.

> 

Labels⁡g1

a,b,_G

(3)

In this case, none of the generators are labeled, so Maple does not select any labels.

> 

g2≔Group⁡1,2,2,3,3,4

g2≔1,2,2,3,3,4

(4)
> 

Labels⁡g2

undefined

(5)

Finitely presented groups use the names of the generators as labels.

> 

g3≔Group⁡a,b,a,a,b,b,a,b,a,b

g3≔⁢a,b⁢∣⁢a2,b2,a⁢b⁢a⁢b⁢

(6)
> 

Labels⁡g3

a,b

(7)

A Cayley table groups returns all its elements as its list of generators.

> 

g4≔Group⁡1|2|3,2|3|1,3|1|2

g4≔ < a Cayley table group with 3 elements >

(8)
> 

Generators⁡g4

1&comma;2&comma;3

(9)
> 

NonRedundantGenerators⁡g4

2

(10)

Compatibility

• 

The GroupTheory[Generators], GroupTheory[NonRedundantGenerators] and GroupTheory[Labels] commands were introduced in Maple 17.

• 

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

See Also

GroupTheory

GroupTheory[Group]