Skip to content

GroupGenerators ​

The generating permutations a PermutationGroup was built from, in Cycles notation — or, for AlternatingGroup, the fixed pair Wolfram itself uses.

✓ checked against that system · ! checked, with disagreements (hover a chip)Wolfram LanguageGroupGenerators✓
GroupGenerators(group)the generators passed to PermutationGroup, unchanged; or AlternatingGroup(n)'s canonical pair
Typed signatures
TypePackageApplies
(expression<AlternatingGroup> | expression<PermutationGroup>) -> list<expression<Cycles>>groupalgebraalways

Domain: Permutations

Examples

Basic #
live ↗
InGroupGenerators(PermutationGroup([Cycles([[1,9,6],[3,7]])]))\mathrm{GroupGenerators}(\mathrm{PermutationGroup}(\bigl\lbrack\mathrm{Cycles}(\bigl\lbrack\bigl\lbrack1, 9, 6\bigr\rbrack, \bigl\lbrack3, 7\bigr\rbrack\bigr\rbrack)\bigr\rbrack))Out[Cycles([[1,9,6],[3,7]])]\bigl\lbrack\mathrm{Cycles}(\bigl\lbrack\bigl\lbrack1, 9, 6\bigr\rbrack, \bigl\lbrack3, 7\bigr\rbrack\bigr\rbrack)\bigr\rbrack

A group built from generators returns them as given

live ↗
InGroupGenerators(PermutationGroup([Cycles([[1,2]]),Cycles([[1,3],[2,4]])]))\mathrm{GroupGenerators}(\mathrm{PermutationGroup}(\bigl\lbrack\mathrm{Cycles}(\bigl\lbrack\bigl\lbrack1, 2\bigr\rbrack\bigr\rbrack), \mathrm{Cycles}(\bigl\lbrack\bigl\lbrack1, 3\bigr\rbrack, \bigl\lbrack2, 4\bigr\rbrack\bigr\rbrack)\bigr\rbrack))Out[Cycles([[1,2]]),Cycles([[1,3],[2,4]])]\bigl\lbrack\mathrm{Cycles}(\bigl\lbrack\bigl\lbrack1, 2\bigr\rbrack\bigr\rbrack), \mathrm{Cycles}(\bigl\lbrack\bigl\lbrack1, 3\bigr\rbrack, \bigl\lbrack2, 4\bigr\rbrack\bigr\rbrack)\bigr\rbrack
Scope #

Generators of the Klein four-group, kept in order

live ↗
InGroupGenerators(PermutationGroup([Cycles([[1,2],[3,4]]),Cycles([[1,3],[2,4]])]))\mathrm{GroupGenerators}(\mathrm{PermutationGroup}(\bigl\lbrack\mathrm{Cycles}(\bigl\lbrack\bigl\lbrack1, 2\bigr\rbrack, \bigl\lbrack3, 4\bigr\rbrack\bigr\rbrack), \mathrm{Cycles}(\bigl\lbrack\bigl\lbrack1, 3\bigr\rbrack, \bigl\lbrack2, 4\bigr\rbrack\bigr\rbrack)\bigr\rbrack))Out[Cycles([[1,2],[3,4]]),Cycles([[1,3],[2,4]])]\bigl\lbrack\mathrm{Cycles}(\bigl\lbrack\bigl\lbrack1, 2\bigr\rbrack, \bigl\lbrack3, 4\bigr\rbrack\bigr\rbrack), \mathrm{Cycles}(\bigl\lbrack\bigl\lbrack1, 3\bigr\rbrack, \bigl\lbrack2, 4\bigr\rbrack\bigr\rbrack)\bigr\rbrack
About
Examples3
Checked againstWolfram Language 3 agree
CrosswalkWolfram Language

See also: PermutationGroup, AlternatingGroup, GroupOrder, GroupElements