Proof Of Normal Subgroups and Factor Groups Based on Java Programming Language

This research succeeded in developing an application program based on Java programming language. The software is able to prove abstract algebra, especially Normal Subgroups and Factor Groups. The result from the software program developed indicated that the proof of Normal Subgroups and Factor Groups could be done properly and correctly and relatively faster than if done manually.