Finitely generated conjugacy-separable group

Definition

A finitely generated conjugacy-separable group is a group that is both a finitely generated group and a conjugacy-separable 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 generated group and conjugacy-separable group
View other group property conjunctions OR view all group properties

Relation with other properties

Stronger properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
finitely generated abelian group				Finitely presented conjugacy-separable group|FULL LIST, MORE INFO
finitely presented conjugacy-separable group				|FULL LIST, MORE INFO

Weaker properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
finitely generated residually finite group		conjugacy-separable implies residually finite		|FULL LIST, MORE INFO
Hopfian group		via finitely generated residually finite		Finitely generated residually finite group|FULL LIST, MORE INFO
finitely generated Hopfian group				Finitely generated residually finite group|FULL LIST, MORE INFO
finitely generated group				Finitely generated residually finite group|FULL LIST, MORE INFO
residually finite group				Finitely generated residually finite group|FULL LIST, MORE INFO
conjugacy-separable group				|FULL LIST, MORE INFO