quotientByLinearEquivalenceGives
P93933
predicate
Indicates that forming a quotient under a specified linear equivalence relation produces or yields a particular resulting object or structure.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| quotientBySL(n,ℝ) | 1 |
Sample triples (2)
| Subject | Object |
|---|---|
| Weil divisor | divisor class group Cl(X) ⓘ |
|
general linear group GL(n,R)
surface form:
GL(n,ℝ)
|
ℝ\{0} via determinant via predicate surface "quotientBySL(n,ℝ)" ⓘ |