שינויים

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