Ciro Santilli
🔗

Simple group | 🗖 nosplit | ↑ parent "Normal subgroup" | 46

🔗
Does not have any non-trivial normal subgroup.
🔗
And therefore, going back to our intuition that due to the fundamental theorem on homomorphisms there is one normal group per homomorphism, a simple group is one that has no non-trivial homomorphisms.
🔗
🔗