Assertion: abelian group's element | /r/HasProperty | removed
Facets:
value: always
type: DEGREE
value: from a generating set
type: OTHER
Source sentences:
text: A non-generating element of G is an element that can always be removed from a generating set; that is, an element a of G such that whenever X is a generating set of G containing a, X −{a} is also a generating set of G .