Finitely presented simple group

Definition

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