Mata kuliah ini mempelajari konsep-konsep yang membangun sistem Aljabar yang telah dipelajari sejak sekolah dasar. Kebenaran-kebenaran matematis yang digunakan dalam sistem tersebut dibuktikan dalam mata kuliah ini. Konsep tersebut adalah grup dan subgrup.