hasQuotient

P77178 predicate

Indicates that one quantity or entity is the result of dividing another quantity or entity by a specified divisor.

Sample triples (2)

Subject Object
modular group PSL(2,Z)
surface form: PSL(2,ℤ)
PSL(2,ℤ/Nℤ)
special linear group SL(n,C)
surface form: SL(n,ℂ)
GL(n,ℂ)/SL(n,ℂ) ≅ ℂ×