נניח נתון לי שהחבורה G נוצרת ע"י האיברים <math>a_1, a_2, ... , a_n</math> ונניח גם ש - rank(G) = k עבור k<n כלשהו, כלומר <math>a_1, a_2, ... , a_n</math> יוצרים את החבורה אולם זו אינה קבוצה יוצרת מינימלית בגודלה. האם אני יכול להסיק מכך שיש איבר <math>a_i</math> בקבוצה הפורשת שלי שהוא מכפלה כלשהי של האיברים האחרים בקבוצה הפורשת (כמו באלגברה ליניארית)?
== אשמח לעזרה בשאלה הבאה ==
נתונה פעולה G טרנזיטיבית לא טריוויאלית הוכח ש בG קיימת נקודה חסרת נקודות שבת.