اثبات گروه های عادی و گروه های فاکتور بر اساس زبان برنامه نویسی جاوا

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.