hasHomomorphism
P69858
predicate
Indicates that there exists a structure-preserving map (homomorphism) from one mathematical structure to another.
Observed surface forms (6)
| Surface form | Occurrences |
|---|---|
| isHomomorphismOf | 2 |
| hasDeterminantSignHomomorphismTo | 1 |
| hasHomomorphismTo | 1 |
| hasSignHomomorphism | 1 |
| hasSignHomomorphismTo | 1 |
| isConnectingHomomorphismOf | 1 |
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" ⓘ |