Group Theory - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : System : Information : Updates : Maple 2015 : updates/Maple2015/GroupTheory

Group Theory

 

Expanded Small Groups Database and Database Search Commands

New Cayley Graph Visualization

Other New Commands

Expanded Small Groups Database and Database Search Commands

The database of small groups included in the GroupTheory package has been expanded to include all groups of order less than 512. Previously, only groups up to order 200 were included.

Searching of the small groups database and the database of transitive groups are implemented in the new SearchSmallGroups and SearchTransitiveGroups commands, respectively.

withGroupTheory:

Find the non-Abelian simple groups in the database; a sequence of small group IDs is returned.

SearchSmallGroupssimple,abelian=false

60,5,168,42,360,118,504,156

(1)

Find groups in the database of order less than 30 with Sylow 2-subgroup of order 4, and an unique Sylow 3-subgroup, and output them as finitely presented groups.

SearchSmallGroupsorder<30&comma;sylow2&equals;4&comma;nsylow3&equals;1&comma;form&equals;fpgroup

a1&comma;a2&comma;a3a22&comma;a12a2-1&comma;a33&comma;a2-1a1-1a2a1&comma;a3-1a2-1a3a2&comma;a3-1a1-1a3a1a3-1&comma;a1a112&comma;a1&comma;a2&comma;a3a12&comma;a22&comma;a33&comma;a2-1a1-1a2a1&comma;a3-1a2-1a3a2&comma;a3-1a1-1a3a1a3-1&comma;a1&comma;a2&comma;a3a12&comma;a22&comma;a33&comma;a1-1a2-1a1a2&comma;a1-1a3-1a1a3&comma;a2-1a1-1a2a1&comma;a2-1a3-1a2a3&comma;a3-1a1-1a3a1&comma;a3-1a2-1a3a2

(2)

Find how many non-nilpotent groups in the database have derived subgroup isomorphic to the quaternion group of order 8.

SearchSmallGroupsderivedsubgroup&equals;8&comma;4&comma;nilpotent&equals;false&comma;form&equals;count

101

(3)

Output the transitive group IDs of the regular permutation groups of degree 6.

SearchTransitiveGroupsdegree&equals;6&comma;isregular

6&comma;1&comma;6&comma;2

(4)

G:=TransitiveGroup6&comma;2

G:=1&comma;3&comma;52&comma;4&comma;6&comma;1&comma;42&comma;35&comma;6

(5)

DegreeG

6

(6)

IsRegularG

true

(7)

New Cayley Graph Visualization

A new command for computing and visualizing Cayley graphs of small groups is included in the GroupTheory package.

withGraphTheory&colon;

C:=CayleyGraphElementaryGroup2&comma;3

C:=Graph 1: a directed unweighted graph with 8 vertices and 24 arc(s)

(8)

DrawGraphC&comma;&apos;style&apos;&equals;&apos;spring&apos;

DrawGraphCayleyGraphSymm4&comma;&apos;style&apos;&equals;&apos;spring&apos;

DrawGraphCayleyGraphAlt5&comma;&apos;style&apos;&equals;&apos;spring&apos;

DrawGraphCayleyGraphPSL2&comma;5&comma;&apos;style&apos;&equals;&apos;spring&apos;

seqDrawGraphCayleyGraphSmallGroup12&comma;i&comma;&apos;style&apos;&equals;&apos;spring&apos;&comma;i&equals;1..NumGroups12

PLOT...&comma;PLOT...&comma;PLOT...&comma;PLOT...&comma;PLOT...

(9)

ExploreDrawGraphCayleyGraphDihedralGroupn&comma;&apos;style&apos;&equals;&apos;spring&apos;&comma;&apos;parameters&apos;&equals;&apos;n&apos;&equals;3..20&comma;&apos;placement&apos;&equals;&apos;right&apos;

n

ExploreDrawGraphCayleyGraphMetacyclicGroupm&comma;n&comma;k&comma;&apos;style&apos;&equals;&apos;spring&apos;&comma;&apos;parameters&apos;&equals;&apos;m&apos;&equals;3..20&comma;&apos;n&apos;&equals;2..20&comma;&apos;k&apos;&equals;2..20&comma;&apos;initialvalues&apos;&equals;&apos;m&apos;&equals;7&comma;&apos;n&apos;&equals;6&comma;&apos;k&apos;&equals;4&comma;&apos;placement&apos;&equals;&apos;right&apos;

m

n

k

Other New Commands

The following additional commands are new in this release: ComplexProduct, ElementOrder, Exponent, FreeGroup, IsCyclic,

A complex in a group is just a subset of a group. The ComplexProduct command computes the product of two complexes A and B in a group G, which is defined to be the set of products of the form a&period;b, for a in A and b in B.

G:=Alt6

G:=A6

(10)

S:=SylowSubgroup5&comma;G&colon;

g:=RandomElementG&colon;

g:=RandomElementG&colon;

A:=ElementsLeftCosetg&comma;S&colon;

g:=RandomElementG&colon;

B:=ElementsLeftCosetg&comma;S&colon;

ComplexProductA&comma;B&comma;G

2&comma;4&comma;6&comma;1&comma;2&comma;3&comma;6&comma;4&comma;1&comma;3&comma;4&comma;2&comma;6&comma;1&comma;4&comma;2&comma;5&comma;3&comma;1&comma;4&comma;3&comma;6&comma;2&comma;1&comma;5&comma;3&comma;2&comma;4&comma;1&comma;5&comma;4&comma;6&comma;3&comma;1&comma;5&comma;6&comma;4&comma;2&comma;1&comma;6&comma;4&comma;5&comma;3&comma;2&comma;3&comma;4&comma;5&comma;6&comma;2&comma;3&comma;6&comma;5&comma;4&comma;2&comma;6&comma;4&comma;3&comma;5&comma;1&comma;24&comma;5&comma;1&comma;23&comma;4&comma;6&comma;5&comma;1&comma;45&comma;6&comma;1&comma;53&comma;4&comma;1&comma;62&comma;5&comma;4&comma;3&comma;1&comma;3&comma;62&comma;4&comma;5&comma;1&comma;4&comma;52&comma;6&comma;3&comma;1&comma;4&comma;62&comma;3&comma;5&comma;1&comma;2&comma;4&comma;35&comma;6&comma;1&comma;3&comma;2&comma;54&comma;6&comma;1&comma;3&comma;5&comma;42&comma;6&comma;1&comma;6&comma;3&comma;42&comma;5&comma;1&comma;6&comma;3&comma;52&comma;4

(11)

g:=RandomElementG&colon;

B:=ElementsRightCosetS&comma;g&colon;

ComplexProductB&comma;A&comma;G

1&comma;2&comma;4&comma;1&comma;4&comma;3&comma;2&comma;5&comma;4&comma;3&comma;4&comma;6&comma;4&comma;5&comma;6&comma;1&comma;3&comma;4&comma;5&comma;2&comma;1&comma;3&comma;6&comma;4&comma;2&comma;1&comma;3&comma;6&comma;5&comma;4&comma;1&comma;4&comma;6&comma;5&comma;2&comma;2&comma;4&comma;3&comma;6&comma;5&comma;1&comma;42&comma;5&comma;6&comma;3&comma;1&comma;52&comma;6&comma;4&comma;3&comma;1&comma;62&comma;4&comma;5&comma;3&comma;1&comma;3&comma;52&comma;4&comma;6&comma;1&comma;4&comma;52&comma;3&comma;6&comma;1&comma;6&comma;23&comma;5&comma;4&comma;1&comma;6&comma;42&comma;3&comma;5&comma;1&comma;6&comma;52&comma;3&comma;4&comma;1&comma;2&comma;5&comma;34&comma;6&comma;1&comma;2&comma;5&comma;63&comma;4&comma;1&comma;2&comma;6&comma;34&comma;5&comma;1&comma;4&comma;2&comma;63&comma;5&comma;1&comma;5&comma;3&comma;42&comma;6&comma;1&comma;5&comma;4&comma;62&comma;3&comma;1&comma;5&comma;6&comma;32&comma;4

(12)

The new ElementOrder command computes the order of an element of a finite group, represented as either a permutation group or a Cayley table group.

G:=Symm4&colon;

p:=Perm1&comma;3&comma;2&comma;4

p:=1&comma;32&comma;4

(13)

ElementOrderp&comma;G&equals;PermOrderp

2&equals;2

(14)

C:=CayleyTableGroupDihedralGroup4

C:= < a Cayley table group with 8 elements >

(15)

ElementOrder5&comma;C

2

(16)

The Exponent command computes the exponent of a finite group represented as either a permutation group or a Cayley table group.

G:=ElementaryGroup3&comma;4

G:=C34

(17)

ExponentG

3

(18)

ExponentDihedralGroup6

6

(19)

ExponentGroupPerm1&comma;2&comma;3&comma;4&comma;Perm1&comma;3&comma;2&comma;4

2

(20)

To construct a free group as a finitely presented group, use the new FreeGroup command.

F:=FreeGroup3

F:=_x1&comma;_x2&comma;_x3

(21)

typeF&comma;&apos;FPGroup&apos;

true

(22)

IsAbelianF

false

(23)

The IsCyclic command attempts to determine whether a group is cyclic.

IsCyclicGroupPerm1&comma;2&comma;3&comma;4&comma;Perm1&comma;3&comma;2&comma;4

false

(24)

G:=DirectProductCyclicGroup2&comma;CyclicGroup3

G:=C2×C3

(25)

IsCyclicG

true

(26)

G:=DirectProductCyclicGroup2&comma;CyclicGroup4

G:=C2×C4

(27)

IsCyclicG

false

(28)

See Also

GroupTheory