relations in quiver
Let be a quiver and a field.
Definition. A relation in is a linear combination (over ) of paths of length at least such that all paths have the same source and target. Thus a relation is an element of the path algebra of the form
such that there exist with and for all , all are of length at least and not all are zero.
If a relation is of the form for some path , then it is called a zero relation and if for some paths , then is called a commutativity relation.