אממממ,
החלק של הסופי באמת מיותר, אבל אם היא מסדר 2 אז אין לה בכלל תת חבורות אמיתיות (שהן לא החבורה עצמה) אז לכן אין לה גם תת חבורות נורמליות, ולכן היא לא יכולה להיות פשוטה, אבל מה הקשר לאיזומרפיות? אולי לא הגענו לזה. אגב, מבנים אלגבריים אצלכם כולל חבורות, חוגים ושדות במידה שווה? אצלנו זה כמעט רק על חבורות.