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