Path Algebra
If Γ is a quiver, then a path in Γ is a sequence of arrows an an-1 ... a3 a2 a1 such that the head of ai+1 = tail of ai, using the convention of concatenating paths from right to left.
If K is a field then the quiver algebra or path algebra KΓ is defined as a vector space having all the paths (of length ≥ 0) in the quiver as basis (including, for each vertex i of the quiver Γ, a trivial path of length 0; these paths are not assumed to be equal for different i), and multiplication given by concatenation of paths. If two paths cannot be concatenated because the end vertex of the first is not equal to the starting vertex of the second, their product is defined to be zero. This defines an associative algebra over K. This algebra has a unit element if and only if the quiver has only finitely many vertices. In this case, the modules over KΓ are naturally identified with the representations of Γ.
If the quiver has finitely many vertices and arrows, and the end vertex and starting vertex of any path are always distinct (i.e. Q has no oriented cycles), then KΓ is a finite-dimensional hereditary algebra over K.
Read more about this topic: Quiver (mathematics)
Famous quotes containing the words path and/or algebra:
“Often on bare rocky carries the trail was so indistinct that I repeatedly lost it, but when I walked behind him I observed that he could keep it almost like a hound, and rarely hesitated, or, if he paused a moment on a bare rock, his eye immediately detected some sign which would have escaped me. Frequently we found no path at all at these places, and were to him unaccountably delayed. He would only say it was ver strange.”
—Henry David Thoreau (18171862)
“Poetry has become the higher algebra of metaphors.”
—José Ortega Y Gasset (18831955)