isFiniteSimpleGroupFor
P160153
predicate
Indicates that the subject is a finite simple group associated with, or serving as the finite simple group corresponding to, the given object.
Sample triples (1)
| Subject | Object |
|---|---|
| PSL(2,ℤ/Nℤ) | N = p prime, p ≥ 5 ⓘ |