hasHomomorphism

P69858
predicate

Indicates that there exists a structure-preserving map (homomorphism) from one mathematical structure to another.

Try in SPARQL

All labels observed (7)

Label Occurrences
isHomomorphismOf 2
hasDeterminantSignHomomorphismTo 1
hasHomomorphism canonical 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: hasHomomorphism
Generated description
Indicates that there exists a structure-preserving map (homomorphism) from one mathematical structure to another.

Sample triples (8)

Subject Object
Lie ring Lie ring homomorphism ⓘ
Chern character rings via predicate surface "isHomomorphismOf" ⓘ
Chern character graded rings via predicate surface "isHomomorphismOf" ⓘ
general linear group GL(n,R)
surface form: GL(n,ℝ)
{−1,1} via predicate surface "hasDeterminantSignHomomorphismTo" ⓘ
Witt group of quadratic forms Grothendieck–Witt group via predicate surface "hasHomomorphismTo" NERFINISHED ⓘ
S5 C2 via predicate surface "hasSignHomomorphismTo" ⓘ
symmetric group S5 onto cyclic group of order 2 via predicate surface "hasSignHomomorphism" ⓘ
Bockstein homomorphism long exact sequence in cohomology via predicate surface "isConnectingHomomorphismOf" ⓘ