To learn how to update the categories for this article, see here. To update categories, edit the metadata template.
Definition: A group in which there is a generating set such that every element of the group can be written uniquely as the product of generators. [d] [e]
