زیرگروه

در نظریه گروه‌ها، اگر زیر مجموعه‌ای از گروه G مانند H تحت عمل دوتایی تعریف شده بر G بسته بوده و خود H با آن عمل تعریف شده بر گروه G، گروه باشد آنگاه گوییم H زیرگروه G است.