துணைக்குழு சோதனை
ஒரு குழு G யின் துணைக்குழு H ஒரு துணைக்குழுவாக இருப்பதற்கு துணைக்குழு சோதனை ஒரு தேவையான மற்றும் போதுமான நிபந்தனையாகும்.
ஒரு குழுவின் உட்பிரிவு ஒரு துணைக்குழுவாக இருப்பதற்கு என்ன இன்றியமையாத நிபந்தனை பூர்த்தி செய்யப்பட வேண்டும்?