Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $G$ be a group. A set $S \subseteq G$ is called a generating set for $G$ if every element of $G$ can be written as a product of elements of $S\cup S^{-1}$. Call $S$ a minimal generating set for $G$ if there is no proper subset of $S$ which is a generating set for $G$. Different minimal generating sets can have different cardinalities. For example, $\{1\}$ and $\{2, 3\}$ are both minimal generating sets for $\mathbb{Z}$.

Is there an example of a finite group $G$ with two minimal generating sets with different cardinalities?

share|cite|improve this question
up vote 5 down vote accepted

Recall that the symmetric group $S_n$ is generated by an order $2$ element and an order $n$ element. But also $\{(12),(13),\dots,(1n)\}$ generates all of the order $2$ elements, and any element of $S_n$ can be represented as a product of order $2$ elements.

For an abelian example, consider $\mathbb Z/15\mathbb Z$; both $\{1+15\mathbb Z\}$ and $\{3+15\mathbb Z,5+15\mathbb Z\}$ are minimal generating sets.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.