Metamath Proof Explorer

Table of Contents - 10.2.15. Simple groups

1. Definition and basic properties
   1. csimpg
   2. df-simpg
   3. issimpg
   4. issimpgd
   5. simpggrp
   6. simpggrpd
   7. simpg2nsg
   8. trivnsimpgd
   9. simpgntrivd
   10. simpgnideld
   11. simpgnsgd
   12. simpgnsgeqd
   13. 2nsgsimpgd
   14. simpgnsgbid
2. Classification of abelian simple groups
   1. ablsimpnosubgd
   2. ablsimpg1gend
   3. ablsimpgcygd
   4. ablsimpgfindlem1
   5. ablsimpgfindlem2
   6. cycsubggenodd
   7. ablsimpgfind
   8. fincygsubgd
   9. fincygsubgodd
   10. fincygsubgodexd
   11. prmgrpsimpgd
   12. ablsimpgprmd
   13. ablsimpgd