New Features in Maple 2018 - Group Theory- Maplesoft

What's New in Maple 2018

Group Theory




The Group Theory package includes an extensive collection of routines for constructing, computing with, and visualizing finitely generated groups, including permutation groups, finitely presented groups, Cayley table groups, “black-box” user defined groups, and abstract groups depending on symbolic parameters. Several new commands have been added to the Group Theory package in Maple 2018 for performing new tests and calculating more properties. 


New Subgroup Tests

  • You can test whether a subgroup of a finite group is subnormal or permutable (quasi-normal) by using the new IsSubnormal and IsPermutable commands. These are generalizations of normal subgroups.
>  with( GroupTheory ):
>  G := Symm( 4 );
G := Typesetting:-msub(Typesetting:-mo(
 
>  H := Subgroup( { Perm( [[1,2],[3,4]] ) }, G );
H := Typesetting:-mfenced(Typesetting:-mrow(Typesetting:-mfenced(Typesetting:-mn(
 
>  IsSubnormal( H, G );
true
 
>  IsPermutable( H, G );
false
 
>  IsNormal( H, G );
false
 
>  G := Symm( 3 );
G := Typesetting:-msub(Typesetting:-mo(
 
>  N := Subgroup( { Perm( [[1,2,3]] ) }, G );
N := Typesetting:-mfenced(Typesetting:-mrow(Typesetting:-mfenced(Typesetting:-mn(
 
>  IsNormal( N, G );
true
 
>  IsPermutable( N, G );
true
 
>  IsSubnormal( N, G );
true
 

Groups of Prime Power Order

  • To check whether a finite group is ap-group, for a prime numberp, use the new IsPGroup command. The PGroupPrime command can be used to return the prime numberp for which a group is a finitep-group.
>  IsPGroup( Symm( 3 ) );
false
 
>  IsPGroup( DihedralGroup( 4 ) );
true
 
>  PGroupPrime( DihedralGroup( 4 ) );
2
 
>  IsPGroup( DirectProduct( CyclicGroup( 128 ), QuaternionGroup() ) );
true
 

Other New and Updated Commands 

  • The ElementOrder command has been extended to work on elements of finite finitely presented groups.
>  G := < a, b | a^2, b^3, (a.b)^5 = 1 >:
>  ElementOrder( a.b^2 .a, G );
3
 
  • The new ElementPower command computes powers of elements of a permutation group or a Cayley table group.
  • The new ClassNumber command returns the number of conjugacy classes of a finite group. In some cases, this can be faster than actually computing the conjugacy classes themselves and counting them.
>  ClassNumber( Symm( 3 ) );
3
 
>  ClassNumber( DirectProduct( Monster(), DihedralGroup( 4 * n ) ) ) assuming n :: posint;
`+`(`*`(388, `*`(n)), 582)
 
  • The number of Abelian groups of a given order can be computed by using the new NumAbelianGroups command.
>  NumAbelianGroups( 1000 );
9
 

Prêt(e) pour l'étape suivante ?

Discutez aujourd'hui avec nos spécialistes produits pour évaluation gratuite de Maple.

*Ce programme d'évaluation n'est proposé actuellement ni aux étudiants ni aux particuliers.