If an arrow map failed to have maximal matrix rank, it would have both a nonzero kernel of a linear map and a nonzero cokernel. Apply the preceding obstruction with . It would give , contrary to the assumption. Therefore every arrow map is injective or surjective, equivalently its rank is the minimum of the two vertex dimensions. This is a necessary property of a rigid quiver representation.

Articles by others on the same topic (0)

There are currently no matching articles.