Statements (27)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:automorphism |
bijective endomorphism
|
| gptkbp:codomain |
gptkb:model
|
| gptkbp:composition |
gptkb:module_homomorphism
|
| gptkbp:defined_between |
modules
|
| gptkbp:domain |
gptkb:model
|
| gptkbp:endomorphism |
homomorphism from module to itself
|
| gptkbp:field |
abstract algebra
module theory ring theory |
| gptkbp:generalizes |
group homomorphism
vector space homomorphism |
| gptkbp:heldBy |
R-linear map
structure-preserving map |
| https://www.w3.org/2000/01/rdf-schema#label |
module homomorphism
|
| gptkbp:injective_if |
kernel is zero
|
| gptkbp:isomorphism_if |
bijective
|
| gptkbp:kernelType |
submodule
|
| gptkbp:notation |
Hom_R(M,N)
|
| gptkbp:preserves |
addition
scalar multiplication |
| gptkbp:set_of_all |
forms a module (if R is commutative)
forms an abelian group |
| gptkbp:signature |
submodule
|
| gptkbp:surjective_if |
image equals codomain
|
| gptkbp:bfsParent |
gptkb:Ring_theory
|
| gptkbp:bfsLayer |
7
|