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