subquiver and image of a quiver
Let be a quiver.
Definition. A quiver is said to be a subquiver of , if
are such that if , then . Furthermore
In this case we write .
A subquiver is called full if for any and any such that and we have that . In other words a subquiver is full if it ,,inherits” all arrows between points.
If is a subquiver of , then the mapping
If is any morphism of quivers and , then the quadruple
where are the restrictions of to is called the image of . It can be easily shown, that is a subquiver of .
|Title||subquiver and image of a quiver|
|Date of creation||2013-03-22 19:17:19|
|Last modified on||2013-03-22 19:17:19|
|Last modified by||joking (16130)|