# Minimal generating set

From Groupprops

## Contents |

This article is about a standard (though not very rudimentary) definition in group theory. The article text may, however, contain more than just the basic definitionVIEW: Definitions built on this | Facts about this: (factscloselyrelated to Minimal generating set, all facts related to Minimal generating set) |Survey articles about this | Survey articles about definitions built on this

VIEW RELATED: Analogues of this | Variations of this | Opposites of this |

View a complete list of semi-basic definitions on this wiki

## Definition

A generating set of a group is termed *minimal* or *irredundant* if any proper subset of the generating set, generates a strictly smaller (i.e. proper) subgroup. In other words, no generator can be *dropped* from the generating set.

## Facts

- Not every group may possess a minimal generating set. A group which possesses a minimal generating set is termed a minimally generated group
- It is not in general necessary that two different minimal generating sets of a group, have the same cardinality. This
*is*true for -groups, viz., finite groups of prime power order. This follows from Burnside's basis theorem.`Further information: Group with fixed size of minimal generating set` - Any generating set of
*minimum*cardinality (if finite) is a minimal generating set; the converse is not necessarily true.