Expanded Small Groups Database and Database Search Commands
New Cayley Graph Visualization
Other New 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.
Find the non-Abelian simple groups in the database; a sequence of small group IDs is returned.
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.
Find how many non-nilpotent groups in the database have derived subgroup isomorphic to the quaternion group of order 8.
Output the transitive group IDs of the regular permutation groups of degree 6.
A new command for computing and visualizing Cayley graphs of small groups is included in the GroupTheory package.
C:=Graph 1: a directed unweighted graph with 8 vertices and 24 arc(s)
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.b, for a in A and b in B.
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.
C:= < a Cayley table group with 8 elements >
The Exponent command computes the exponent of a finite group represented as either a permutation group or a Cayley table group.
To construct a free group as a finitely presented group, use the new FreeGroup command.
The IsCyclic command attempts to determine whether a group is cyclic.
Download Help Document
What kind of issue would you like to report? (Optional)