isResiduallyFiniteImageOf
P160152
predicate
Indicates that one structure is the image of another under a homomorphism such that, for every nontrivial element in the source, some finite quotient of the image distinguishes its image from the identity (i.e., the image is residually finite relative to the source).
All labels observed (1)
| Label | Occurrences |
|---|---|
| isResiduallyFiniteImageOf canonical | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: isResiduallyFiniteImageOf
Generated description
Indicates that one structure is the image of another under a homomorphism such that, for every nontrivial element in the source, some finite quotient of the image distinguishes its image from the identity (i.e., the image is residually finite relative to the source).
Sample triples (1)
| Subject | Object |
|---|---|
| PSL(2,ℤ/Nℤ) | PSL(2,ℤ) NERFINISHED ⓘ |