A basic implementation of verifying a group of certain order is simple (ie no nontrivial normal subgroups). Most of the techniques can be found in Dummit Foote or Rotman.
XuXo/SimpleGroups
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|