Path algebra (source code)

= Path algebra
{wiki}

The path algebra $kQ$ has the directed paths in a quiver $Q$ as a basis; multiplication concatenates composable paths and is zero otherwise. Representations of $Q$ are naturally modules over $kQ$.