Finitely presented simple group

From Groupprops
Jump to: navigation, search


A finitely presented simple group is a group that is both a finitely presented group and a simple group.

This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism
View a complete list of group properties
VIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions
This page describes a group property obtained as a conjunction (AND) of two (or more) more fundamental group properties: finitely presented group and simple group
View other group property conjunctions OR view all group properties

Relation with other properties

Weaker properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
finitely generated simple group |FULL LIST, MORE INFO
group with solvable word problem |FULL LIST, MORE INFO