GroupTheory
AlternatingGroup
Calling Sequence
Parameters
Description
Examples
Compatibility
AlternatingGroup( n, formopt )
Alt( n, formopt )
n
-
algebraic; understood to be a positive integer
formopt
(optional) equation of the form form = F, where F is either "permgroup" (the default) or "fpgroup"
The alternating group An on n elements is the set of all even permutations of1,2,…,n for a positive integer n. The order of An is equal to n!2, for 1<n. The alternating group of degree n is simple if n is at least 5.
The AlternatingGroup( n ) command returns an alternating permutation group of degree n. You can also use Alt( n ) as an abbreviation of AlternatingGroup( n ).
The form = F option controls the form of the group returned. By default, a permutation group is returned; this is equivalent to passing the option form = "permgroup". A finitely presented group can be obtained by passing the option form = "fpgroup".
If the argument n is not an integer constant, then a symbolic group is returned. In this case, the form option is ignored.
In the Standard Worksheet interface, you can insert this group into a document or worksheet by using the Group Constructors palette.
withGroupTheory:
G≔AlternatingGroup7
G≔A7
GroupOrderG
2520
IsTransitiveG
true
IsPrimitiveG
IsSimpleG
G≔Alt4
G≔A4
false
DrawSubgroupLatticeG
G≔Alt5,form=fpgroup
G≔s,t∣s3,t3,ts-1tsts-1ts,ststststst
If the argument to the constructor is not a literal integer, then a symbolic group is returned.
G≔Alt3n+7
G≔A3n+7
IsSimpleGassumingn::posint
3n+7!2
The GroupTheory[AlternatingGroup] command was introduced in Maple 17.
For more information on Maple 17 changes, see Updates in Maple 17.
See Also
GroupTheory[DrawSubgroupLattice]
GroupTheory[GroupOrder]
GroupTheory[IsPrimitive]
GroupTheory[IsSimple]
GroupTheory[IsTransitive]
GroupTheory[SymmetricGroup]
Download Help Document