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.

Try in SPARQL

All labels observed (5)

Label Occurrences
kernelOf 2
kernelOfDeterminant 2
kernelOfDegreeMap 1

Description generation (PDg)

The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.

Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning.  
# Instructions
Focus on describing the relationship, not the entities themselves. 
# Response Format
Begin the description with \' Indicates...\'
Input
Predicate: kernelOfProjectionFrom
Generated description
Indicates the subset of elements that are mapped to zero (or the identity element) by a given projection map from one structure to another.

Sample triples (7)

Subject Object
modular group PSL(2,Z)
surface form: PSL(2,ℤ)
{±I} in SL(2,ℤ) ⓘ
general linear group GL(n,R)
surface form: GL(n,ℝ)
SL(n,ℝ) via predicate surface "kernelOfDeterminant" ⓘ
special linear group SL(n,R)
surface form: SL(n,ℝ)
det : GL(n,ℝ) → ℝ^× via predicate surface "kernelOf" ⓘ
general linear group GL(n,C)
surface form: GL(n,ℂ)
SL(n,ℂ) via predicate surface "kernelOfDeterminant" NERFINISHED ⓘ
Witt group of quadratic forms rank and discriminant invariants in some cases via predicate surface "kernelOf" ⓘ
Picard group Pic^0(C) for a smooth projective curve C via predicate surface "kernelOfDegreeMap" ⓘ
S5 A5 via predicate surface "kernelOfSignHomomorphism" ⓘ