To learn how to update the categories for this article, see here. To update categories, edit the metadata template.
Definition: Group whose elements are permutations of some set of symbols where the product of two permutations is the permutation arising from successive application of the two. [d] [e]
