9

Suppose we have a finite quiver with relations, possibly with oriented cycles. Is it known when the path algebra of this quiver (with relations) is hereditary?

O. Straser
  • 487

1 Answers1

7

Let $A = kQ/I$ where $Q$ is a quiver and $I$ are the relations. Then $A$ is hereditary if and only if $Q$ is finite, connected, and acyclic, and $I = (0)$. This is essentially Theorem 1.7 in Chapter VII of Assem, Simson, Skowronski - Elements of the Representation Theory of Associative Algebras.

Jim
  • 31,547
  • 5
    That's under the assumption that $A$ is finite dimensional. For the infinite-dimensional case a counterexample is the first Weyl algebra $A=\mathbb{C}\langle x,y\rangle/(xy-yx-1)$, which is hereditary, see e.g. [Lam: Lectures on Modules and Rings (2.32 (h))]. – Julian Kuelshammer Aug 20 '13 at 21:34
  • Ok thanks. Are there any general results for infinite dimensional path algebras? (Sorry, i do not have acces to a math libary at the moment) – O. Straser Aug 21 '13 at 15:56
  • Sadly I know nothing about the infinite dimensional case. – Jim Aug 21 '13 at 17:02