Makalah ini membahas topik subgrup dan subgrup siklik dalam struktur aljabar, dengan fokus pada pembuktian dan teorema yang relevan. Tujuan penulisan adalah untuk memahami cara membuktikan suatu himpunan bagian merupakan subgrup menggunakan definisi dan teorema yang ada. Beberapa teorema penting yang dibahas termasuk definisi subgrup, teorema mengenai karakteristik grup siklik, dan sifat-sifat yang harus dipenuhi agar suatu himpunan bagian menjadi subgrup.