MathDB1 problem
A group is simple if it has no nontrivial proper normal subgroups, and finitely presented if it admits a presentation with finitely many generators and finitely many defining relat…
A group is simple if it has no nontrivial proper normal subgroups, and finitely presented if it admits a presentation with finitely many generators and finitely many defining relat…