Subgrup

Di teori grup, cabang matematika, diberi grup G di bawah operasi biner ∗, himpunan bagian H dari G disebut subgrup dari G jika H juga membentuk grup di bawah operasi ∗. Lebih tepatnya, H adalah subgrup dari G jika restriksi dari ∗ ke H × H adalah operasi grup di H. Ini biasanya dilambangkan H ≤ G, dibaca sebagai "H adalah subgrup dari G".