Font Size: 

Aljabar abstrak merupakan suatu metode penyelesaian masalah dalam matematika bersifat abstrak yang sulit diuji dan direpresentasikan melalui operasi aljabar biasa. Sehubungan dengan hal di atas maka untuk membantu pembelajaran dan pembuktiannya dikembangkan suatu suatu model perangkat lunak komputer berbasis open source. Adapun bentuk grup yang dapat dibuktikan meliputi jenis Subgrup Normal dan Grup Faktor. Hasil pengembangan model menunjukkan bahwa pembuktian terhadap jenis grup yang diuraikan di atas dapat dilakukan dengan baik dengan membutuhkan waktu yang relatif singkat jika diselesaikan secara manual. Dalam model perangkat lunak ini, digunakan bahasa pemrograman Java dengan tujuan selain dapat dijalankan pada beberapa platform sistem operasi berbeda, juga dapat dipublikasikan secara bebas/gratis sehingga memungkinkan programmer atau peneliti lain mengembangkan model ini dengan menambahkan fitur yang lebih bermanfaat.
Kata kunci: Aljabar abstrak,Subgrup normal, Grup faktor