مجموعه مولد یک گروه

در جبر مجرد، مجموعه مولد یک گروه ، زیرمجموعه‌ای از یک گروه است، چنان‌که هر عنصر گروه را بتوان به صورت ترکیبی از ضرب (تحت عمل دوتایی گروه) تعداد متناهی از اعضای آن مجموعه و معکوس‌هایشان بدست آورد.

به بیان دیگر، اگر  زیرمجموعه‌ای از گروهی چون  باشد، آنگاه  را زیرگروه تولیدشده توسط  نامیده که کوچکترین زیرگروه شامل  از  است. به‌طور معادل، این گروه برابر با اشتراک تمام زیرگروه‌های شامل  می‌باشد.

منابع 

 
 

 

نظریه گروه‌ها