kernelOfProjectionFrom
P77179
predicate
Indicates the subset of elements that are mapped to zero (or the identity element) by a given projection map from one structure to another.
Observed surface forms (4)
- kernelOf ×2
- kernelOfDeterminant ×2
- kernelOfDegreeMap ×1
- kernelOfSignHomomorphism ×1
Sample triples (7)
| Subject | Object |
|---|---|
|
general linear group GL(n,C)
surface form:
GL(n,ℂ)
|
SL(n,ℂ) via predicate surface "kernelOfDeterminant" NERFINISHED ⓘ |
|
general linear group GL(n,R)
surface form:
GL(n,ℝ)
|
SL(n,ℝ) via predicate surface "kernelOfDeterminant" ⓘ |
|
modular group PSL(2,Z)
surface form:
PSL(2,ℤ)
|
{±I} in SL(2,ℤ) ⓘ |
| Picard group | Pic^0(C) for a smooth projective curve C via predicate surface "kernelOfDegreeMap" ⓘ |
| S5 | A5 via predicate surface "kernelOfSignHomomorphism" ⓘ |
|
special linear group SL(n,R)
surface form:
SL(n,ℝ)
|
det : GL(n,ℝ) → ℝ^× via predicate surface "kernelOf" ⓘ |
| Witt group of quadratic forms | rank and discriminant invariants in some cases via predicate surface "kernelOf" ⓘ |