Minimal generating set of a group

ID: minimal-generating-set-of-a-group

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.

New to topics? Read the docs here!