Minimal generating set of a group
= Minimal generating set of a group
= Irredundant generating set
{synonym}
A <generating set of a group> from which no element can be deleted. This is inclusion-minimal, rather than necessarily having least cardinality. For finite p-groups, the <Burnside basis theorem> makes all such sets have the same size.