isResiduallyFinite
P160550
predicate
Indicates that a group has the property that every non-identity element remains nontrivial in some finite quotient, i.e., it can be distinguished from the identity via a homomorphism to a finite group.