an ai tutor for understanding the isomorphism theorems in group theory